Правильно ли я понимаю этот термин – макросы это возможность вставить в код произвольный текст, меняющийся по каким-то настройкам или кейвордам?
Вот мне в Delphi очень не хватает чего-то такого. У меня есть, например, класс TIntArray: это динамический массив из интегеров, со всевозможными функциями типа поиска или сортировки. А если мне надо, чтобы этот массив поддерживал другой тип данных – например, double – мне приходится создавать ещё один такой класс, например TDoubleArray, и дублировать весь базовый код.
Очевидно, было бы очень полезно иметь возможность такой декларации:

Type
  TAnyArray[%Macr1]=class;
    FCount: integer;
    FCapacity: integer;
    FItems: array of %MacrVar1
...

И далее объявление:

  Var
    MyExtArray:TAnyArray[%’Extended’]

Ну в общем как-то так, я полагаю все поняли мою мысль. В других языках такое есть?