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



         

Параметры-подпрограммы - часть 2


/p>

В результате, конкретизация настраиваемого модуля, с использованием подпрограммы заданной по-умолчанию, может иметь следующий вид:

package Things is new Stuff(Person, Text."=");

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

Для функции, реализующей действие знака проверки на равенство ("=") мы можем указать это следующим образом:

generic

type Element is limited private; with function "="(E1, E2 : Element ) return Boolean is <>; . . .

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

не будет представлена соответствующая функция, то будет использоваться функция проверки на равенство по-умолчанию, выбранная в соответствии с фактическим типом Element.

Например, если фактический тип Element - тип Integer, то будет использоваться обычная, для типа Integer, функция "=".




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