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



         

Ссылочные типы (указатели) - часть 2


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

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

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

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

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

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

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

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




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