Использование нетипизированного указателя для передачи массива.

[frosich]

Здравствуйте уважаемые форумчане!
Никак не могу понять почему не работает конструкция вида:

procedure MakeArray(P: pointer);
var
  loc_a: array of integer;
  i,n: integer;
begin
  Pointer(loc_a):=P;
  n:=50+random(101);
  SetLength(loc_a,n);
  for i:=0 to n-1 do
    loc_a[i]:=random(101);
  Pointer(loc_a):=nil;
end;

var
  a: array of integer;

begin
  MakeArray(Pointer(a));
 {Длина массива по прежнему ноль}
  ...
end;

Данный пример написан на подобии используемого куска кода, где наблюдается проблема.

Объявления типа

type
  intarr = array of integer;

не использую, поскольку так и не нашёл как грамотно привести типы в данном случае intarr и array of integer.

[Аватар]

Можно, но не так. А лучше более безопасным способом MakeArray1

type TMyArray = array of Integer;
     PMyArray = ^TMyArray;

procedure MakeArray(P: pointer);
var p1: PMyArray;
    i,n: integer;
begin
  p1:=p;
  n:=50+random(101);
  SetLength(p1^,n);
  for i:=0 to n-1 do p1^[i]:=random(101);
end;

procedure MakeArray1(var MyArray: TMyArray);
var i,n: integer;
begin
  n:=50+random(101);
  SetLength(MyArray,n);
  for i:=0 to n-1 do MyArray[i]:=random(101);
end;

var a: array of integer;
    b: TMyArray;

procedure TForm1.Button1Click(Sender: TObject);
begin
  Randomize;
  MakeArray(Addr(a));
  Label1.Caption:=IntToStr(High(a));
  MakeArray1(b);
  Label2.Caption:=IntToStr(High(b));
end;

[frosich]

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

array of integer

на

TMyArray

[Slym]

array of - это magic конструкция дельфи аналогичная string... под "магичностью" подразумевается автоматическое управление временем жизни, контроль количества ссылок и куча кода которую компилятор добавляет скрытно для обеспечения этой автоматичности...
обращаясь к такому массиву как поинтеру в MakeArray ты нарушаешь подсчет ссылок (нехватает 1 ссылки), и по выходу из процедуры массив уничтожается так как считает что он никому не нужен. а далее ты работаешь с трупом

[frosich]

Я чего-то не понимаю, я же вызываю
Setlength()
я думал что при этом счётчик ссылок увеличивается на единицу, а перед завершением процедуры перевожу указатель локального массива на nil.
Мне казалось, что при завершении процедуры счётчик ссылок исходного массива не должен измениться, так как локальный массив уже не связан с глобальным.
То есть после работы MakeArray, как мне казалось должен был остаться кусок памяти от Pointer(a)-12 до Pointer(a)+length(a)-1. Который должен трактоваться программой как массив.
Вопрос: где теряется ссылки, и что не так в рассуждениях?

[Slym]

в первом посте не инициализированная а передается, и такой же остается после MakeArray т.к. параметр не var

[frosich]

в первом посте не инициализированная а передается, и такой же остается после MakeArray т.к. параметр не var

Передаётся не a, а указатель на первый элемент этого массива. Зачем его вообще менять? Он соответствует определённой ячейке памяти. Указатель локальной переменной подменяется указателем глобальной. Затем локальная переменная инициализируется. И перед завершением процедуры указатель опять подменяется на nil, чтобы выделенную память не очистил сборщик мусора. По логике вроде должно работать. Хочется понять что же всё-таки не так.

[frosich]

Всем спасибо! Разобрался в чём проблема. Процедура

SetLength()

меняет адрес локального массива, который при этом перестаёт быть связан с глобальным.
Кстати, по этой же причине работает только процедура

MakeArray1

из представленных Аватар-ом.
Видимо Slym как раз имел ввиду необходимость передать указатель с параметром var и изменить его.

[Аватар]

Кстати, по этой же причине работает только процедура MakeArray1

Не правильно. Работает и MakeArray из #2

[Slym]

вот так и появились поинтеры на поинтеры
int **i;