OberonCore

Здраствуйте.
Появилась необходимость создать динамический массив из произвольных записей. Т.е. тип записи не известен на момент написания кода.

Например:


Даже не представляю с чего начать, но почитал документацию к модулю MtMem, думаю, надо двигаться в этом направлении.

Может у кого то есть готовые решения, или что-то похожее. Гдавное - результат.

Вы совершенно правильно написали. Только вместо POINTER TO ANYREC можно использовать ANYPTR, что то же самое.

Т.е. Array = POINTER TO ARRAY OF ANYPTR.

Для динамической перемены длины можно использовать SetLength. Он есть не только в Mt, он продублирован в модуле Mem Service Pack 4.01.

Проверку типа можно осуществлять стандартными способами - через IS, WITH.
При необходимости можно и метапрограммирование задействовать (Meta, Services).

А как тогда выделить память под элемент массива?


Тип элемента массива определить можно, но что-то никак не соображу, как быть с запретом на NEW для ANYPTR.

А если так:


То есть, заводим указатель на запись, инициализируем его и потом просто присваиваем.

Так нельзя только потому, что тип Data объявлен как RECORD, а не POINTER TO RECORD.
А то понакатали исходников в ответ...

Гм. С передачей в произвольную очередь понятно. А вот как обратно, неужели придётся делать приведение типов?

Конечно! WITH и IS вам помогут. Можно делать и приведение без предварительной проверки, но в случае несоответствия типов получите trap, так что безопасность не пострадает: просто так что угодно к чему угодно не приведете.