Почему функция `Assigned` считает переменную присвоенной до вызова `Create` и как это проверить

Delphi , Синтаксис , Память и Указатели

Почему функция Assigned считает переменную присвоенной до вызова Create и как это проверить

Вопрос о работе функции Assigned в языке программирования Delphi, использующем Object Pascal, касается особенностей инициализации указателей. Функция Assigned предназначена для проверки, присвоен ли указатель некоторому объекту, но, как выяснилось, она может возвращать True даже для неинициализированных переменных. Это может вводить в заблуждение разработчиков, особенно тех, кто не знаком с особенностями работы с указателями в Delphi.

Подтвержденный ответ

Пример кода, представленный в вопросе, показывает, что функция Assigned возвращает True для переменной Qry типа TADOQuery до вызова метода Create, который создает экземпляр объекта. Это связано с тем, что при объявлении переменной в памяти уже выделено место для хранения указателя, и оно может содержать случайное значение, которое не обязательно является нулевым.

procedure TForm1.FormCreate(Sender: TObject);
var
  Qry: TADOQuery;
begin
  if Assigned(Qry) then
    ShowMessage('Assigned')
  else
    ShowMessage('Unassigned');

  Qry := TADOQuery.Create(nil);

  if Assigned(Qry) then
    ShowMessage('Assigned')
  else
    ShowMessage('Unassigned');
end;

В этом коде, несмотря на то что объект Qry не был создан, функция Assigned возвращает True, так как указатель уже инициализирован некоторой, возможно, случайной, но не нулевой, величиной.

Альтернативный ответ

Если в начале процедуры присвоить переменной Qry значение nil, то есть Qry := nil;, то функция Assigned будет корректно отображать состояние переменной: сначала Unassigned, а затем Assigned после создания объекта.

Проверка состояния переменной

Чтобы безопасно проверить, был ли выполнен метод Create для переменной-класса, необходимо явно инициализировать указатель значением nil перед его использованием. Это гарантирует, что функция Assigned будет возвращать корректное значение.

Заключение

Функция Assigned в Delphi возвращает True для переменной сразу после ее объявления, так как в памяти уже выделено место для хранения указателя, которое может содержать случайное значение. Для корректной работы с указателями важно всегда явно инициализировать их значением nil перед использованием, чтобы избежать возможных ошибок в программе.

Создано по материалам из источника по ссылке.

Вопрос касается особенности функции `Assigned` в Delphi, которая может считать переменную присвоенной до её фактической инициализации, и как проверить это поведение.

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Память и Указатели ::