> Макрос это не часть языка это препроцессор компилятора и чем же макросы rust лучше чем си?

// Wrong!
#define SWAP(x, y) \
  tmp = x; \
  x = y; \
  y = tmp
// Correct!
#define SWAP(x, y) \
  do { \
    tmp = (x); \
    (x) = (y); \
    (y) = tmp; } \
  while (0)

И правда, чем же макросы, которые часть языка и "умеют" в AST, лучше примотанного на синюю изоленту независимого текстового препроцессора, которому неведомы ни имена переменных, ни области видимости, ни прочее "ненужно"?