Страница:
285 из 357
Алтернативные категории записываются на разных строках. Необзательный терминальный или нетерминальный символ обозначается нижним индексом «opt», так что
(* выражение opt *)
указывает на необязательность выражения в фигурных скоках. Синтаксис кратко изложен в #14.
4. Имена и Типы
Имя обозначает(денотирует) объект, функцию, тип, значние или метку. Имя вводится в программе описанием (#8). Имя может использоваться только внутри области текста программы, называемой его областью видимости. Имя имеет тип, определящий его использование. Объект – это область памяти. Объект имеет класс памяти, определяющий его время жизни. Смысл знчения, обнаруженного в объекте, определяется типом имени, ипользованного для доступа к нему.
4.1 Область Видимости
Есть четыре вида областей видимости: локальная, файл, программа и класс.
Локальная: Имя, описанное в блоке (#9.2), локально в этом блоке и может использоваться только в нем после места описания и в охватываемых блоках. Исключение составляют метки (#9.12), которые могут использоваться в любом месте функции, в которой они описаны. Имена формальных параметров функции рассматриваются так, как если бы они были описаны в самом внешнем блоке этой функции.
Файл: Имя, описанное вне любого блока (#9.2) или класса (#8.5), может использоваться в файле, где оно описано, после места описания.
Класс: Имя члена класса локально для его класса и может использоваться только в функции члене этого класса (#8.5.
|< Пред. 283 284 285 286 287 След. >|