Редактирование: Язык Ада, 03 лекция (от 10 марта)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
| Текущая версия | Ваш текст | ||
| Строка 1: | Строка 1: | ||
| + | =Лекция №3.= | ||
==Покомпонентное сложение двух неограниченных массивов== | ==Покомпонентное сложение двух неограниченных массивов== | ||
Рассмотрим удобство атрибутов при работе с массивами. Допустим для неограниченного массива нужно определить покомпонентное сложение. Если слагаемые разной длины, то это стоит трактовать как нарушение подтиповых ограничений. Однако одинаковая длина массивов не гарантирует совпадение индексных диапазонов. Для того, чтобы привести дискретное значение типа индекса к порядковому номеру, используется атрибут Pos, вычисляется необходимый сдвиг для порядкового номера и возвращение к соответствующему значению индексному значению происходит с помощью атрибута Val. Параметры функции «+» Left и Right объявлены как имеющие тип Arr, индексный диапазон которого не уточнен. Но Left и Right — это формальные параметры, на место которых при вызове функции «+» будут подставлены конкретные массивы с известными индексными диапазонами. В теле функции «+» можно пользоваться атрибутами массивов Range, First, Length, с помощью которых можно получить информацию о индексном диапазоне. | Рассмотрим удобство атрибутов при работе с массивами. Допустим для неограниченного массива нужно определить покомпонентное сложение. Если слагаемые разной длины, то это стоит трактовать как нарушение подтиповых ограничений. Однако одинаковая длина массивов не гарантирует совпадение индексных диапазонов. Для того, чтобы привести дискретное значение типа индекса к порядковому номеру, используется атрибут Pos, вычисляется необходимый сдвиг для порядкового номера и возвращение к соответствующему значению индексному значению происходит с помощью атрибута Val. Параметры функции «+» Left и Right объявлены как имеющие тип Arr, индексный диапазон которого не уточнен. Но Left и Right — это формальные параметры, на место которых при вызове функции «+» будут подставлены конкретные массивы с известными индексными диапазонами. В теле функции «+» можно пользоваться атрибутами массивов Range, First, Length, с помощью которых можно получить информацию о индексном диапазоне. | ||
