Т. Пратт, М. Зелковиц - Языки программирования - разработка и реализация (4-е издание_ 2002) (1160801), страница 175
Текст из файла (страница 175)
У нее имеются параметры ч типа Чесгог и и типа >п0е0ег, передаваемые по значению. Если бы требовалось передавать параметры по ссылке, то в объявлении функции надо было бы написать, например: »аг ч: честог. Функция зо>а возвращает значе»ие типа геа! (вещественное число). Строка 10. Комментарии в Рааса! задаются в фигурных скобках. Строка 13. Оператор гог, в котором переменная цикла 1 изменяется от ! до и. Если тело оператора гог состоит более чем из одного оператора, то всю последовательность операторов, составляющую тело цикла, требуется помещать между операторами Ье0>п и еп0 (см. строки 22 — 25).
Строка 14. Функция возвращает вычисленное значение простым его присваиванием имени функции. Строки 17. Оператор гезес открывает файл для ввода. В данном случае он связывает файл зап>р(е.оа(а с внутренним объекгом данных >0111е. Если данные вводятся стандартным образом с клавиатуры, то этот оператор не нужен. Оператор геищ се открывает файл для записи. Строка 20. Здесь считывается первое значение из файла >пП1е и сохраняется в переменной к. Если бы ввод осуществлялся с клавиатуры, то имя файла можно было опустить, Это — ввод в свободной форме. Рааса! считывает символы до запятой илп пробела и пытается перевести прочитанные данные в целочисленный формат. Если бы переменная ~ была символьного типа(с»аг), то был бы прочитан только один символ из файла ввода.
Строка 24. Значение элемента вектора записывается в стандартный файл вь>- вода (то есть отображается на экране монитора), так как в операторе чг(0е первым параметром не задано имя файла, в который следует записывать данные. Необязательные члены 10 2 предписывают печатать 1О десятичных цифр числа, причем две цифры отводятся под дробную часть. Если эти параметры не указаны, то Рааса! использует умалчиваемый формат представления десятичных чисел. Следующие операторы иг> ге записывают числа в ту же строку вывода до тех пор, пока не будет выполнен оператор нг>1е1п (строка 26). П.8. Рааса! 631 Строка 26.
Оператор игпе1 и добавляет к предыдущему выводу символ конца строки и завершает строку вывода (печать значений массива). Строка 27. Здесь печатается строка "зов = ", вызывается функция зок для вычисления суммы, а затем вычисленное значение выводится на экран в виде числа, состоящего из шести цифр с четырьмя знаками после десятичной точки. Поскольку для вывода используется оператор иг1 ге1 и, то после этого числа добавляется символ конца строки. Если не требуется печатать результат отдельной строкой, то можно использовать оператор иг1те, Строка 28.
Из файла 1пп1е читается следующая строка. Строка 30, Конец файла программы обозначается точкой после ключевого слова еаза. П.8.1. Объекты данных Рааса! является наиболее строго типизированным языком; границы массивов, например, объявляются как часть типа. Спецификации различных элементарных типов данных в Рааса! в основном достаточно очевидны, а некоторые простые ограничения имеют целью обеспечение эффективности реализации. Элементарные типы данных Переменные и константы. Каждое имя переменной (как и большинство других идентификаторов), используемое в программе на Рааса!, должно быть явным образом объявлено в начале программы или подпрограммы. Для любых локальных и нелокальных ссылок, используемых в каждой операции, выполняется полная статическая проверка типов. Синтаксис Рааса! требует, чтобы в первую очередь были объявлены константы, затем локальные переменные и подпрограммы. Тем не менее во многих компиляторах эти требования не столь жесткие и допускается объявлять различные программ н не объекты в произ вольном порядке.
Константы объявляются следующим образом: соомащ паве = сшнащ ы1ие Заметим, что в правой части этого объявления не должно стоять выражение, то есть константа не может быть определена через значение другой константы. Числовые типы даннг|х. В Рааса! предусмотрены целочисленные объекты данных типа 1п~еоег, для которых обычно используется аппаратное представление целых чисел. Арифметические операции и операции сравнения определены с помощью обычной инфикспой записи для бинарных операций; +, —, й т (деление), воо (остаток от деления), =, <> (неравенство), <, >, <= (меньше или равно) и >- (больше или равно). Наибольшее допустимое целое число равно значению стандартной константы взх1 ос (устанавливается разработчиком языка для отражения наибольшего целого значения, которое может быть представлено в компьютере).
Стандартный тип гез! соответствует аппаратной реализации вещественных чисел с плавающей точкой. Предусмотрен простой набор операций, также использующих инфиксную запись: +, —, =, <>, <, >, <=, >= и ~ (деление). Операция возведения в степень не определена, но встроены некоторые основные арифметические функции, например и п (синус), сох (косинус) и з0з (абсолютное значение). 638 Приложение.
Обзоры языков Перечисляемый тип определяется с использованием следующего синтаксиса: (УРе папе = (1т(ега1г 1т(ега), , 1ттега1,) где 1)(ега1, — выбранные пользователем идентификаторы. Эти идентификаторы представляют собой упорядоченную по возрастанию последовательность значений, так что 1 твега1, < 1! Вега1г Поддиапазон последовательности целых значений или значений из перечисляемого типа задается следующим образом: первое значение поспепнее значение (например, 2.
10 или 5орп .. 5епт ог). Перечисление или поддиапазон перечисления можно использовать для задания диапазона изменения индексов массива. Например,объявление 0.аггау (Онв) от тптепег; задает массив из четырех компонентов с индексами, принадлежащими типу 01ае и 0(ггев)т!.
0(5ор)т! и т.д. (см. раздел б15). Логический тип данных. Предопределенный логический (булев) тип данных задается как перечисление; Ьоо1оап = (Га!зе.тгне) Для этого типа данных определены элементарные операции ап0, ог и по(, так же как операции сравнения (и другие операции), определенные для любого перечисления.
Булевы значения реализованы как целые 0 и 1. Символьный тип данных. Стандартный тип с))аг определен как созданное при реализапии перечисление, представляющее упорядоченную последовательность допустимых в данной реализации символов. Помимо операций отношения впсс, рге0 и ог0, свойственных любому перечислению, для символьного типа данных определена операция с))г, операндом которой является целое число из промежутка от 0 до числа, равного количеству символов в данной последовательности, уменьшенному на единицу, а результатом — соответствующий этому числу символ.
Указатели. Объект данных может содержать указатель на другой объект данных, Тогда тип первого объекта данных объявляется как Т второй тип, где второй тип — это тип того объекта данных, указатель на который и может хранить цервый объект. Переменная-указатель может быть определена следующим образом: иип переиенной: Т тип и тогда значением этой переменной может быть либо пустой указательч обозначаемый как и ) 1, либо фактический указатель на какай-либо объект данных того типа, который задан в объявлении.
Для указателей определены только следующие операции: присваивание (которое сводится к копированию значения указателя), операции сравнения = и «> (не равно), предназначенттыс для сравнения значений указателей, а также операция пеи, которая создает объект данных указанного типа и возвращает указатель на этот объект. Структурированные типы данных Массивы. Ьазовая структура данных типа пассив в Рааса! имеет только одну размерность, а диапазон значений индексов может быть определен как произвольное упорядоченное подмножество целых чисел или перечисление. Диапазон индексов П.8.
Рааса! 639 должен быть определен во время компиляции, что позволяет компилятору произвести все вычисления, связанные с адресацией элементов массива, во время компиляции, и не использовать дескрипторы во время выполнения программы. Элементы массива могут быть любого типа, как элементарного, так и определенного программистом, Поэтому допустимыми являются такие конструкции, как массив записей, массив множеств или массив файлов. Массив объявляется следующим образом; аггау [диапазон инденсов] от тип ионпонентоа Многомерный массив конструируется из одномерного массива, элементами которого являются также одномерные массивы (то есть вектор, состоящий из векторов). Например, определить матрицу размером 3 х 6, состоящую из вещественных чисел, можно при помощи следующего объявления: аггау [1..3] от аггау П..б] от геат Для удобства записи допускается сокращение объявления многомерного массива с помощью перечисления всех диапазонов изменения индексов в одном месте: аггау П..3,1.
уз) от геа] Эта запись позволяет также использовать более простой синтаксис индексации пртл выборке элемента массива (например, А[3,4] вместо А[3] [4]). Строка символов в Рааса! (возможно, с необязательным указютием ее упаковки рвсиеб) представляется как массив, каждый элемент которого — это отдельный символ. Поскольку диапазон изменения индексов массива уже зафиксирован во время компиляции, такое представление строк соответствует представлению строк фиксированной длины, описанному в главе 5.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
