Инстанцирование классов в Delphi: как работает за кулисами?

Delphi , Компоненты и Классы , Классы

Вопрос о том, как работает инстанцирование классов в Delphi, может быть довольно запутанным для начинающих разработчиков, особенно когда речь заходит об использовании переменных класса и вызовах методов без явного создания экземпляра класса. Давайте разберемся с этим вопросом на примере.

Проблема

На платформе Exercism, в треке по Delphi, был выполнен базовый вопрос, в котором определен класс TSYear для проверки, является ли год високосным. Код, представленный ниже, компилируется без ошибок и успешно выполняется:

unit uLeap;

interface

type
  TSYear = class
  public
    function isLeap(y: Integer): Boolean;
  end;

var
  TYear: TSYear;

implementation

function TSYear.isLeap(y: Integer): Boolean;
begin
  Result := ((y mod 4) = 0) and (((y mod 400) = 0) or ((y mod 100) <> 0));
end;

end.

Этот код вызывает функцию isLeap из другой единицы:

procedure YearTest.year_divisible_by_4_not_divisible_by_100_leap_year;
begin
  assert.IsTrue(TYear.IsLeap(1996), 'Expected ''true'', 1996 is a leap year.');
end;

Автор кода не создавал экземпляр класса явно, но, судя по всему, кажется, что Delphi делает это автоматически при объявлении переменной TYear. Однако, несмотря на успешное прохождение тестов, код был отклонен, так как он не соответствует традиционному подходу.

Почему это работает?

Ключевой момент здесь заключается в том, что переменная TYear является указателем на экземпляр класса TSYear. В Delphi, когда вы объявляете переменную класса, вы фактически создаете указатель, который может быть связан с действительным экземпляром класса. Однако, для работы с классом, необходимо явное создание экземпляра. В приведенном примере, так как метод isLeap не зависит от состояния объекта, он может быть вызван, несмотря на отсутствие связанного экземпляра.

Возможные проблемы

Если бы метод isLeap использовал поля класса, то при попытке доступа к ним произошел бы доступ к неинициализированной памяти, что могло бы привести к аварийному завершению программы или повреждению памяти.

Решение

Чтобы исправить код, можно создать экземпляр класса и использовать его:

var
  SYear: TSYear;
begin
  SYear := TSYear.Create;
  try
    // Использование объекта
  finally
    SYear.Free;
  end;
end;

Или, учитывая, что для определения високосного года не требуется использование полей класса, лучше сделать метод статическим:

type
  TSYear = class
  public
    class function IsLeap(AYear: Integer): Boolean; static;
  end;

Таким образом, метод можно вызывать без создания экземпляра класса: TSYear.IsLeap(2000).

Заключение

Важно понимать, что в Delphi переменные классов являются указателями, и для корректной работы с классами необходимо создавать экземпляры объектов. Статические методы классов позволяют избежать необходимости создания экземпляра, что может быть полезным в определенных ситуациях.

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

Инстанцирование классов в Delphi осуществляется через создание указателей, которые могут быть связаны с экземпляром класса, и для корректной работы с объектами класса необходимо их явное создание, за исключением случаев с использованием статических метод

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

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

:: Главная :: Классы ::