Чи ініціалізовані змінні delphi зі значенням за замовчуванням?

Я новачок у Delphi, і я проводив кілька тестів, щоб побачити, до яких об’єктних змінних та стекових змінних ініціалізовано за замовчуванням:

TInstanceVariables = class
  fBoolean: boolean; // always starts off as false
  fInteger: integer; // always starts off as zero
  fObject: TObject; // always starts off as nil
end;

Це поведінка, до якої я звик з інших мов, але мені цікаво, чи безпечно на неї покладатися в Delphi? Наприклад, мені цікаво, чи це може залежати від налаштування компілятора, чи може працювати по-іншому на різних машинах. Чи нормально покладатися на ініціалізовані за замовчуванням значення для об'єктів, або ви чітко встановлюєте всі змінні екземпляра в конструкторі?

Що стосується змінних стеків (рівня процедури), то мої тести показують, що неітіалізовані булеві знаки є істинними, неіціалізовані цілі числа - 2129993264, а неініалізовані об'єкти - просто недійсні покажчики (тобто не нульові). Я здогадуюсь, норма - це завжди встановлювати змінні на рівні процедури, перш ніж звертатися до них?

Так, це документально підтверджена поведінка:

• Поля об’єкта завжди ініціалізуються на 0, 0.0, '', False, nil або все, що стосується.

• Глобальні змінні також завжди ініціалізуються на 0 тощо;

• Локальні перелічені * змінні завжди ініціалізуються до нуля або '';

• Локальні невідраховані * змінні * неініціалізовані, тому вам доведеться призначити значення, перш ніж ви зможете їх використовувати.

Я пам'ятаю, що Баррі Келлі десь написав визначення для "посилається на посилання", але більше не може його знайти, тому це слід робити тим часом:

reference-count ==, які самі посилаються, або прямо чи опосередковано містять поля (для записів) або елементи (для масивів), які посилаються на облік як: string, variant, interface або динамічний масив або статичний масив, що містить такі типи.

Примітки:

• record само по собі недостатньо, щоб стати посиланням
• Я ще не пробував цього з дженериками

Глобальні змінні, які не мають явного ініціалізатора, виділяються у розділі BSS у виконуваному файлі. Вони фактично не займають жодного місця в EXE; розділ BSS - це спеціальний розділ, який ОС виділяє і очищає до нуля. На інших операційних системах існують подібні механізми.

Ви можете залежати від ініціалізації глобальних змінних.

Поля класу за замовчуванням дорівнює нулю. Це документально підтверджено, щоб ви могли покластися на нього. Змінні змінних локальних стеків не визначені, якщо для рядка чи інтерфейсу вони не встановлені в нуль.

Так само як побічна примітка (як ви новачок у Delphi): глобальні змінні можуть бути ініціалізовані безпосередньо при їх оголошенні:

var myGlobal:integer=99;

Ось цитата Рея Лішнерса Дельфі в горішковій главі 2

"Коли Delphi вперше створює об'єкт, усі поля починаються порожніми, тобто вказівники ініціалізуються до нуля, рядки та динамічні масиви порожні, числа мають значення нуля, булеві поля - помилкові, а варіанти - непризначені. (Докладні відомості див. У розділі NewInstance та InitInstance у розділі 5.) "

Це правда, що мінливі локальні змінні потрібно ініціалізувати ... Я б вважав коментар вище, що "Глобальні змінні ініціалізуються" як сумнівні, поки не отримали посилання - я не вірю в це.

редагувати ... Баррі Келлі каже, що ви можете залежати від того, щоб вони були нульовими ініціалізованими, а оскільки він є в команді компілятора Delphi, я вважаю, що це стоїть :) Дякую Баррі.

Глобальні змінні та дані екземпляра об'єкта (поля) завжди ініціалізуються до нуля. Локальні змінні в процедурах і методах не ініціалізуються в Win32 Delphi; їх вміст не визначений, поки ви не призначите їм значення в коді.

Навіть якщо мова пропонує ініціалізації за замовчуванням, я не вважаю, що слід покладатися на них. Ініціалізація до значення робить його більш зрозумілим для інших розробників, які можуть не знати про ініціалізації за замовчуванням у мові та запобігає проблемам у компіляторах.

З довідкового файлу Delphi 2007:

ms-help: //borland.bds5/devcommon/variables_xml.html

"Якщо ви явно не ініціалізуєте глобальну змінну, компілятор ініціалізує її до 0."

У мене є одна маленька хватка з наданими відповідями. Delphi нулі виділяє простір пам’яті глобалів та новостворених об’єктів. Хоча це НОРМАЛЬНО означає, що вони ініціалізовані, є один випадок, коли їх немає: перелічені типи з конкретними значеннями. Що робити, якщо нуль не є юридичною цінністю ??

Щойно введені (починаючи з Delphi 10.3) вбудовані змінні полегшують управління початковими значеннями.

procedure TestInlineVariable;
begin
  var index: Integer := 345;
  ShowMessage(index.ToString);
end;