Ада-95. Компилятор GNAT


         

Значения ссылочного типа не рассматриваются


Значения ссылочного типа не рассматриваются как целочисленные зачения, а значит, они не поддерживают адресную арифметику.

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

Из этого следует, что использование ссылочных типов Ады более безопасно и повышает общую надежность создаваемого программного обеспечения.

Примечательно, что в литературе не редко встречаются случаи когда официальная терминология нарушается и ссылочные типы Ады называют указателями.

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

Все описания ссылочных типов Ады можно условно разделить на три вида:

  • ссылочные типы для динамической памяти
  • обобщенные ссылочные типы
  • ссылочные типы для подпрограмм

    При этом, следует заметить, что последние два вида введены стандартом Ada-95.


    Содержание  Назад  Вперед