Какие переменные инициализируются, когда в Delphi?

Я всегда получаю 0 из целых чисел и false из Booleans для всех элементов записи.

Я попытался включить и выключить различные параметры компилятора (отладка, оптимизация и т.д.), но не было никакой разницы. Все мои участники записи инициализируются.

Что мне не хватает?

Хорошо, помимо вашего теста, используя глобальные вместо локальных переменных: важно, чтобы вы отсутствовали, - это различие между переменными, которые случайно появляются для инициализации, а переменные, которые действуют. BTW. Именно поэтому программисты, которые не проверяют свои предупреждения, делают распространенную ошибку, предполагая, что их плохо написанный код ведет себя правильно, когда выполняется несколько тестов; имеют 0 и False значения по умолчанию.... Want To Buy: random initialisation of local variables for debug builds.

Рассмотрим следующий вариант тестового кода:

program LocalVarInit;

{$APPTYPE CONSOLE}

procedure DoTest;
var
  I, J, K, L, M, N: Integer;
  S: string;
begin
  Writeln('Test default values');
  Writeln('Numbers: ', I:10, J:10, K:10, L:10, M:10, N:10);
  Writeln('S: ', S);
  I := I + 1;
  J := J + 2;
  K := K + 3;
  L := L + 5;
  M := M + 8;
  N := N + 13;
  S := 'Hello';
  Writeln('Test modified values');
  Writeln('Numbers: ', I:10, J:10, K:10, L:10, M:10, N:10);
  Writeln('S: ', S);
  Writeln('');
  Writeln('');
end;

begin
  DoTest;
  DoTest;
  Readln;
end.

Со следующим выходом:

Test default values
Numbers:    4212344   1638280   4239640   4239632         0         0
S:
Test modified values
Numbers:    4212345   1638282   4239643   4239637         8        13 //Local vars on stack at end of first call to DoTest
S: Hello


Test default values
Numbers:    4212345   1638282   4239643   4239637         8        13 //And the values are still there on the next call
S:
Test modified values
Numbers:    4212346   1638284   4239646   4239642        16        26
S: Hello

Примечания

• Пример лучше всего подходит для компиляции с оптимизацией. В противном случае, если у вас есть оптимизация:
  • Некоторые локальные вары будут обрабатываться в регистре CPU.
  • И если вы просмотрите стек процессора, пройдя через код, вы заметите, например, что I := I + 1 даже не модифицирует стек. Поэтому очевидно, что изменение не может быть выполнено.
• Вы можете экспериментировать с различными соглашениями о вызовах, чтобы увидеть, как это влияет на вещи.
• Вы также можете проверить влияние установки локальных варов на ноль, а не увеличивать их.
• Это иллюстрирует, как вы полностью зависите от того, что нашло свой путь в стек до того, как был вызван ваш метод.

Обратите внимание, что в приведенном вами примере кода запись на самом деле является глобальной переменной, поэтому она будет полностью инициализирована. Если вы переместите весь этот код в функцию, это будет локальная переменная, и поэтому в соответствии с правилами, данными Барри Келли, будет инициализировано только его строковое поле (до '').

У меня такая же ситуация, и я думал то же самое, но когда я добавляю другие переменные, используемые до записи, значения становятся мусором, поэтому, прежде чем использовать свою запись, мне пришлось инициализировать с помощью

FillChar(MyRecord, SizeOf(MyRecord), #0)