Различия между статическими и динамическими массивами в Delphi: работа с указателями и приведение типов

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

При работе с массивами в Delphi важно понимать различия между статическими и динамическими массивами, особенно когда речь идет о работе с указателями и приведении типов. Рассмотрим эти различия на примере.

Статические массивы

Статический массив в Delphi — это структура данных, размер которой фиксирован при объявлении. Элементы статического массива хранятся последовательно в памяти. Пример статического массива:

var
  MyArray1: array[0..0] of UInt64;

Здесь MyArray1 сам по себе является значением, содержащим данные элементов массива. Если мы попытаемся привести статический массив к указателю, используя оператор @, мы получим указатель на начало массива, то есть на первый элемент:

Value1 := PUInt64(@MyArray1[0])^;

Это приведение типов корректно, так как мы получаем указатель на значение, которое уже существует в памяти.

Динамические массивы

Динамический массив в Delphi — это структура, которая содержит указатель на динамически выделенную память. Размер такого массива может изменяться во время выполнения программы. Пример динамического массива:

var
  MyArray2: array of UInt64;

При объявлении MyArray2 сам по себе является указателем на блок памяти, который содержит значения. Приведение MyArray2 к указателю типа PUInt64 будет указывать на сам указатель, а не на данные, которые он указывает:

Value2 := PUInt64(@MyArray2)^;

Это приведение типов некорректно в 32-битных приложениях, так как размер указателя и размера данных не совпадают. Однако, если мы возьмем указатель на первый элемент динамического массива, то есть MyArray2[0], то приведение к PUInt64 будет корректным:

Value2 := PUInt64(@MyArray2[0])^;

Примеры кода

Рассмотрим примеры кода, которые демонстрируют различия в приведении типов для статических и динамических массивов:

procedure TForm1.Button2Click(Sender: TObject);
var
  MyArray1: array[0..0] of UInt64;
  MyArray2: array of UInt64;
  Value1, Value2: UInt64;
begin
  SetLength(MyArray2, 1); // Инициализация динамического массива

  MyArray1[0] := 100;
  MyArray2[0] := 100;

  // Для статического массива приведение @MyArray1[0] к PUInt64 корректно
  Value1 := PUInt64(@MyArray1[0])^;

  // Для динамического массива приведение @MyArray2 к PUInt64 некорректно в 32-битных приложениях
  Value2 := PUInt64(@MyArray2)^;

  // Приведение @MyArray2[0] к PUInt64 корректно для обоих типов массивов
  Value2 := PUInt64(@MyArray2[0])^;
end;

Выводы

• Статические массивы в Delphi хранят значения непосредственно, в то время как динамические массивы хранят указатель на блок данных.
• Приведение статического массива MyArray1 к указателю @MyArray1 некорректно, так как MyArray1 — это не указатель, а значение.
• Приведение динамического массива MyArray2 к указателю @MyArray2 корректно только в 64-битных приложениях, в 32-битных приложениях произойдет несоответствие размеров.
• Приведение к указателю элемента динамического массива MyArray2[0] корректно для обоих типов массивов.

При работе с массивами и приведении их к указателям важно понимать, что именно вы имеете дело: с указателем на массив или с самим значением элемента массива. Это ключевое для избежания ошибок, связанных с доступом к памяти и приведением типов.

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

Обсуждение различий между статическими и динамическими массивами в Delphi, включая работу с указателями и приведение типов.

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

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

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