Динамическое выделение массива записи в Ada - PullRequest
Новая
       17

Динамическое выделение массива записи в Ada

2 голосов
/ 26 ноября 2010

Я пытаюсь динамически выделить большой массив в Аде (ну, массив массива). Например, я могу динамически распределять объект следующим образом: 

type Object;
type ObjPtr is access Object;
OP : ObjPtr;
-- sometime later
OP := new Object;
OP.Index := I;--OP.Ptr.all;
Free(OP);

Я пытаюсь эмулировать этот код теста: 

Object **objList = new Object*[500000];
int32_t *iList = new int32_t[500000];
for (int32_t i = 0; i < 500000; ++i)
{
  objList[i] = new Object;
  iList[i] = Object::getIndex(objList[i]);
  delete objList[i];
}
delete[] iList;
delete[] objList;

К сожалению, я даже не могу сделать что-то подобное этому эквиваленту c ++: 

Object *objList = new Object*[500000];

Я до сих пор придумал это: 

type objs is array (Positive range <>) of Object;
type objList is access objs;

Но я, вероятно, далеко.

1 Ответ

1 голос
/ 26 ноября 2010

В Ada ваш код C ++ будет примерно переводиться следующим образом: 

Alloc_Count : constant := 500_000;
type ObjPtr is access Object;
type ObjArray is array (1 .. Alloc_Count) of ObjPtr;
OA : ObjArray;
begin
   for I in OA'Range loop
   OA(I) := new Object;
   -- ... do the other things
end loop;

Если вы хотите использовать диспетчерские операции с вашими объектами (т. Е. Object определяется как маркированный тип ), используйте Object'class вместо Object в объявлении ObjPtr.

...