Каков синтаксис объявления индексной переменной в блоке инициализации Delphi 2007 Pascal?

Вы не можете.

Обычный способ сделать это - написать процедуру, которую вы затем вызываете из раздела initialization:

procedure InitLastStateArray;
var
  idx : Integer;
begin
  for idx := 0 to length(LastState)-1 do begin
    LastState[idx] := $FFFF;
  end;
end;

initialization
  IntLastStateArray;

end.

Я знаю, что могу объявить индексатор в объявлении основного модуля, но у этого есть несколько недостатков:

Оба упомянутых вами недостатка можно избежать, объявив их в разделе implementation в самом конце, прямо над разделом initialization. Нет необходимости или пользы ни в том, чтобы размещать его в вашем разделе interface, ни в том, что он находится в верхней части раздела implementation: вы правы в отношении упомянутых вами недостатков, он излишне увеличивает область действия переменной и перемещает свое объявление от того места, где он используется, и нет никаких преимуществ, чтобы противостоять этому. Вам нужно только поместить переменные в раздел interface, если вы хотите, чтобы другие устройства имели доступ к этим переменным.

var
  idx : Integer;
initialization
  for idx := 0 to length(LastState)-1 do
    LastState[idx] := $FFFF;
end.

Это лучшее, что вы можете получить, в D7 нет возможности получить объявление переменной внутри блока initialization, но для полноты в более поздних версиях Delphi вы должны иметь возможность использовать анонимную процедуру, которая может быть определена полностью (включая локальные переменные ) внутри выражения практически где угодно.

Хотя технически это делает idx глобальной переменной, Роб Кеннеди отмечает, что пока она используется только внутри блока initialization, компилятор будет рассматривать ее как локальную переменную для этого блока. Экспериментируя, я обнаружил, что это не совсем так, я смог найти контрпримеры, например, при взятии адреса переменной, но для практических целей он должен быть достаточно близким. Кроме того, для блока, который выполняется только один раз, существует небольшая разница между локальной переменной и глобальной, иначе недоступной переменной.