Всегда ли нужны "натуральные" указатели в структурах данных? (Натуральные - имеет ту же разрядность, что и шина адреса).

Большая часть ПО построена на использовании динамической памяти и структурах с указателями, и прикладным программам не требуется вся доступная память, а только какая-то часть (и вряд ли нужно больше 4Гб адресуемой памяти). Значит можно сэкономить память используя короткие указатели и немного магии при кодо-генерации или программировании.

Использовать два разных типа "указатель" и "ссылка"? Использовать пулы/сегменты памяти? И как подсчитать стоит ли "овчинка выделки"?

NB Кстати, новый тренд в игро-строении это реализация доступа к объекту, не столько по указателю, сколько через целочисленный идентификатор ресурса.

--
Ради интереса пролистал книжку по С++ - и там это реализуется довольно понятно. А вот в Оберонах - фигушки, нужен новый язык и компилятор