Cтраница 1
Тип формальных параметров может быть задан неявно или установлен операторами описания типа, следующими за оператором начальной строки подпрограммы-функции. Если формальным параметром является идентификатор массива, то он должен быть описан внутри подпрограммы-функции. [1]
Типы формальных параметров функций в общем случяе неизвестны и поэтому транслятор с языка Си никогда не осуществляет проверок, направленных на выявление соответствия между типами формальных и фактических параметров любой функции при каждом обращении к ней. [2]
Спецификация формальных параметров определяет идентификаторы и типы формальных параметров и способы их использования, по которым они подразделяются на параметры-переменные и параметры-значения. [3]
Типы, составляющие область определения функции, принято называть типами формальных параметров. Для каждой конкретной функции данного типа операция create задает имена формальных параметров и выражение ( терм), согласно которому вырабатывается результат функции. Для получения результата функции служит операция appl, операндами которой являются сама функция и список значений аргументов фактических параметров), типы которых соответствуют типам формальных параметров. [4]
Совокупность спецификаций служит для сообщения информации о классах и типах формальных параметров, используемых в теле процедуры. Классами, к которым могут быть отнесены отдельные формальные параметры, являются выражения, массивы, метки, переключатели, процедуры и строки. [5]
Совокупность спецификаций вводится в заголовок процедуры для характеристики классов и типов формальных параметров. При этом для спецификации используют символы real, integer, Boolean, array, switch, procedure и label, после которых перечисляются идентификаторы объектов, относящихся к данному спецификатору. [6]
Перечень действительных параметров и их типы должны соответствовать списку и типам формальных параметров. Поэтому программист, перед тем как написать вызов, должен ознакомиться с описанием вызываемой процедуры. [7]
Спецификации с помощью очевидных обозначений задают информацию о классах и типах формальных параметров. Для формальных параметров, включенных в список значений, спецификация обязательна, а для остальных - не обязательна. [8]
Объявление указателя на функцию всегда содержит тип возвращаемой переменной и заключенный в скобки список типов формальных параметров, если таковые имеются. [9]
В совокупности спецификаций заголовка процедуры с помощью описателей и спецификаторов задается информация о классах и типах формальных параметров. Эта информация, как отмечалось, позволяет упростить и ускорить работу транслятора при переводе тела процедуры на языке машины. Поясним сказанное на следующем простом примере. [10]
Для каждой СП должно быть составлено описание с указанием назначения и алгоритма СП, последовательности и типа формальных параметров программы, а также приведена вспомогательная информация. Основные сведения о СП включаются в каталог БСП. Программирование на входном языке ТАМ-2 ( 22) ведется с учетом конкретного состава БСП. [11]
Применительно к примеру на рис. 13.6 сработают правила 1 и 2, и будет выполнен метод, объявленный в типе формального параметра ( т.е. ObjPos. Для того чтобы процедура заработала правильно, необходимо объявить метод Print виртуальным. [12]
Из правил совместимости фактических и формальных параметров типа объект следует, что в качестве фактического параметра может выступать объект любого производного типа от типа формального параметра. В полной мере полиморфизм объектов и методов реализуется при помощи виртуальных методов. [13]
В языке Паскаль имеется два типа подпрограмм - функции, возвращающие некоторое значение, и процедуры, не возвращающие никакого значения. Типы формальных параметров и возвращаемого значения указываются в заголовке функции. Передача параметров может осуществляться и по ссылке и по значению. Функции могут возвращать значения любых скалярных типов или указатели. Возвращение функцией значения реализуется путем присваивания этого значения имени функции. Для использования в программе функций, описываемых позднее, чем они используются, необходимо фиктивное описание этих функций, сопровождаемое служебным словом forward, которое должно быть помещено до их использования. [14]
Формальные параметры служат только для указания типа и длины, количества и порядка записи фактических параметров, которые ставятся им в соответствие при каждом обращении н подпрограмме. Тип формальных параметров может быть задан неявно или установлен операторами описания типа, следую щими за оператором начальной строки подпрограммы-функции. Если формальным параметром является идентификатор массич ва, то он должен быть описан внутри подпрограммы-функции. [15]