Размер динамического массива не через Length

[Sibedir]

Я уже, кажется, спрашивал, но так и не разобрался, а проблема актуальна. Может чё нового скажите.

Как, не используя функции Length и High, узнать размер динамического массива или строки.

[BOBAH13]

Сообщение от Sibedir

Я уже, кажется, спрашивал, но так и не разобрался, а проблема актуальна. Может чё нового скажите.

Как, не используя функции Length и High, узнать размер динамического массива или строки.

Сохранить в допольнительной переменной (например integer) тот самый размер массива, в месте где Вы и выделяите место в памяти под массив. Разве не логично ? Или язые за вас все должен делать ?

[Sibedir]

Разве не логично?

Нет, если уж на то пошло, не логично.
Менеджер памяти (так вроди называется) выделяет память под любую переменну. Эта переменная - по сути указатель на адрес начала данных. Система сама запоминает начало и размер участка памяти выделенную под переменную. Этот размер она и проверяет при приведении типов. Зачем мне еще одну переменную вводить. Это ли не нарушение логиги.

С простыми типами все соответственно просто. Даже с классами нет ничего сложного. Отступил от указателя на объект 40 байт назад - вот вам и размер объекта.
Но с динамическими массивами дело обстоит иначе. Перебрал все доступное адресное пространство (ну или точнее - все доступное адресное пространство в моем понимании) и не нашел ни одного указателя, который можно было бы интерпритировать, как размер строки:
1. Создал строку S размером N
2. Перебрал все указатели от @S вниз и вверх до ошибки (я с памятью работаю весьма посредственно).
3. Сравнил все PInteger (@S+d)^ на равенство N
НЕ НАШЕЛ.
Не, ну были конечно, но это чистое совпадение. Ни какой закономерности.

ВОПРОС: Как, собственно, система узнает размер массива. Может быть она хранит размеры динамических массивов, как особо важную информацию, вне адресного пространства программы.

[BOBAH13]

Строка - в Windows это место в памяти которое является последовательностью символов до нулевого. Таким образом можно определить размер (длину) строки.

Что на счет массива, это место в куче, и то какого размера оно, к сожалению где то было у меня, как зная Pointer получить размер под выделеную память по этому указателю (имеется ввиду GetMem & FreeMem). Точно не скажу, но помниматься именно интепритируемый физический адресс в адрессное пространство приложения (0x00000000 - 0xffffffff в 32х) сам адресс уже хранит размер выделенного пространства (в этом я не уверен, т.к. найти доказательства не могу, а плюс к этому google не отменяли)

Собственно, с другой стороны, зачем надо выдумывать, если вам предложена Length и т.п. ?

[Sibedir]

Собственно, с другой стороны, зачем надо выдумывать, если вам предложена Length и т.п. ?

Собственно, затем, что у меня есть только Pointer.

Что на счет массива, это место в куче, и то какого размера оно, к сожалению где то было у меня, как зная Pointer получить размер под выделеную память по этому указателю (имеется ввиду GetMem & FreeMem).

Я был бы вам черезвычайно признателен...

P.S.: На счет

Строка - в Windows это место в памяти которое является последовательностью символов до нулевого. Таким образом можно определить размер (длину) строки.

Это вы про PChar, а со строкой в Delphi история интересная:

var
  s: String;
begin
  s := '01234567890';
  s [3] := #0;
  ShowMessage (IntToStr (Length (s)) + ' - ' + s);
end;

По запросу
как зная Pointer получить размер под выделенную память по этому указателю
нашел

function GetPointerSize(const P: Pointer): Integer;
begin
 if P = nil then
  Result := -1
 else
  Result := Integer(Pointer((Integer(p) - 4))^) and $7FFFFFFC - 4;
end;

Но это не то. Мне то нужно какраз в кучу из переменной данные загонять, а не из кучи их вытаскивать.

[alexBlack]

Сообщение от Sibedir

...
1. Создал строку S размером N
2. Перебрал все указатели от @S вниз и вверх до ошибки (я с памятью работаю весьма посредственно).
3. Сравнил все PInteger (@S+d)^ на равенство N
....

Немного не так. Не @S а pointer(S), т.к. строка - уже указатель.

type
  PStrRec = ^StrRec;
  StrRec = packed record
    refCnt: Longint;
    length: Longint;
  end;

var S:String;
    R:PStrRec;
begin
   S := 'test';
   R := PStrRec(pointer(integer(pointer(S))-sizeof(StrRec)));
   WriteLn(R.refCnt);    // 1
   WriteLn(R.length);    // 4

то-же самое для динамических массивов:

Dynamic array memory layout (Win32 only)
Offset Contents
-8 32-bit reference-count
-4 32-bit length indicator (number of elements)
0..Length * (size of element) -1 array elements

[Sibedir]

Спасибо, alexBlack и BOBAH13.
Какая же все-таки глупая ошибка. Совсем забыл, что строка - это и есть указатель. Теперь все работает:

type
  TMyType = Byte;
var
  a: array of TMyType;
  ValueLength: Pointer;

...

  ValueLength := Pointer (Integer (Pointer (a)) - 4);
  ShowMessage ('Length = ' + IntToStr (Integer (ValueLength^)));

Правда не совсем все. Что если мне не известен тип элементов массива, и мне нужно узнать не количество элементов массива, а его реальный размер (Length (a) * SizeOf (<Тип элемента>)).

[alexBlack]

Весь блок, выделенный под массив, получен вызовом GetMem (вызывается из SetLength). Следовательно, для ссылки (a-8) можно получить размер блока вызовом GetPointerSize, которую Вы приводили выше.

var A:array of integer;
    P:Pointer;
    PSize: integer;
begin
   SetLength(A, 10000);
   P := Pointer(Integer(Pointer(A)) - 4);
   WriteLn(PInteger(P)^);    // 10000

   P := Pointer(Integer(Pointer(A)) - 8);
   WriteLn(PInteger(P)^);    // 1

   P := Pointer(Integer(Pointer(A)) - 8);
   PSize := GetPointerSize(P);
   writeln(inttostr(PSize)); // 40236

// Есть одно "но".
Судя по всему был изменен менеджер памяти и приведенная выше функция GetPointerSize, например, в Delphi 10 работает только для больших блоков. Поэтому в примере взят такой размер. Для малых блоков по смещению -4 хранится ссылка на внутреннюю структуру и уже в ней, вероятно, размер.

[OCTAGRAM]

В Delphi можно подменить менеджер памяти, например, ShareMM и FastMM так делают. Можно подменить менеджер памяти на свою отладочную версию, и затем консультироваться с отладочной версией по поводу размеров блоков. Возможно, такой отладочный менеджер памяти уже идёт в комплекте.

[Sibedir]

А в каком модуле описана процедура GetPointerSize? У меня Delphi 7.

А-а-а. Нашел. Вы наверное имели в виду вот это:

function GetPointerSize(const P: Pointer): Integer;
begin
  if P = nil then
    Result := -1
  else
    Result := Integer(Pointer((Integer(p) - 4))^) and $7FFFFFFC - 4;
end;