Как работают `nil` указатели в Delphi: строки, динамические массивы и управление памятью

Delphi , Синтаксис , Массивы

Как работают nil указатели в Delphi: строки, динамические массивы и управление памятью

В языке программирования Delphi строки и динамические массивы используют указатели nil для обозначения пустого состояния. Это означает, что когда вы инициализируете переменную типа AnsiString пустой строкой, например:

var
  FAnsiString: AnsiString;

  FAnsiString := '';

За кулисами происходит следующее:

// FAnsiString := '';
if Pointer(FAnsiString) <> nil then
begin
  // декремент счета ссылок, если 0, тогда освобождение памяти ...
  Pointer(FAnsiString) := nil;
end;

Аналогично, при инициализации динамического массива значений типа Byte нулевым указателем:

var
  FByteArray: array of Byte;

  FByteArray := nil;
  // Альтернативный способ:
  // SetLength(FByteArray, 0);

Также происходит действие, аналогичное очистке переменной типа AnsiString:

// FByteArray := nil;
if Pointer(FByteArray) <> nil then
begin
  // декремент счета ссылок, если 0, тогда освобождение памяти ...
  Pointer(FByteArray) := nil;
end;

Оба типа, AnsiString и динамические массивы, являются управляемыми компилятором типами с подсчетом ссылок. Они оба автоматически инициализируются в nil.

Сравнение AnsiString на пустоту:

var
  FAnsiString: AnsiString;

  if FAnsiString = '' then
    ...
  if FAnsiString <> '' then
    ...

Эффективно проверяет наличие указателя nil:

if Pointer(FAnsiString) = nil then
  ...
if Pointer(FAnsiString) <> nil then
  ...

То же самое применимо и к динамическим массивам, но без необходимости приведения типов:

var
  FByteArray: array of byte;

  if FByteArray = nil then
    ...
  if FByteArray <> nil then
    ...

В качестве альтернативы, можно использовать функции Length() и SetLength(), которые работают как для строк, так и для динамических массивов:

var
  FAnsiString: AnsiString;

  if Length(FAnsiString) = 0 then
    ...
  if Length(FAnsiString) <> 0 then
    ...
  SetLength(FAnsiString, 0);

var
  FByteArray: array of byte;

  if Length(FByteArray) = 0 then
    ...
  if Length(FByteArray) <> 0 then
    ...
  SetLength(FByteArray, 0);

Кроме того, существует патч от Андреаса Хаузалдена, который позволяет использовать AnsiString в мобильных компиляторах:

• The Return of the Byte-Strings
• System.ByteStrings support for XE5 Update 2 (и XE6 и XE7)

Отметим, что использование nil указателей является частью механизма управления памятью в Delphi, и понимание этого механизма важно для эффективного программирования на этом языке.

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

В Delphi строки и динамические массивы используют nil указатели для представления пустых значений. Использование функций Length() и SetLength() является предпочтительным способом проверки и управления пустыми строками и массивами.

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

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

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

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

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

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

:: Главная :: Массивы ::