Неописанная переменная
begin S := 1; // Неизвестное имя S end.
Все используемые переменные должны быть предварительно описаны с помощью ключевого слова var (внутри блока begin/end или, что обычно хуже, в разделе описаний вначале программы).
Отсутствующая ;
begin var S: integer S := 1; // Компилятор здесь скажет: Ожидалась ; — имеется ввиду предыдущая строка! end.
begin var S := 1 S := S + 1 // Аналогично: проблема на предыдущей строке, а на текущей нет, потому что после неё идёт end. end.
Очень частая ошибка у начинающих. Курсор, как правило, позиционируется в начале следующей строки.
Несовместимость типов при присваивании
begin var S: integer := 1.3; // Нельзя преобразовать тип real к integer end.
Безболезненно можно присваивать только данные одного типа. Если данные — разных типов, то в редких случаях можно преобразовать данные одного типа в данные другого. Например, целое можно преобразовать в вещественное, а символ — в строку. Обратные преобразования не допускаются.
Чтобы не ошибаться в подобных простых случаях в Паскале есть следующая краткая форма объявления и инициализации переменной:
begin var S := 1.3; // Тип real будет выведен компилятором автоматически end.
Отсутствие закрывающего апострофа литеральной строки
begin var x := 2; // x получает тип integer var y := 3; // y получает тип integer writeln('Результат сложения равен =, x + y); // Не хватает закрывающего апострофа end.
Закрыть апостроф надо на той же строке, где расположен открывающий апостроф
Ошибки расстановки запятых и апострофов при выводе строк и выражений
begin var x := 2; // x получает тип integer var y := 3; // y получает тип integer writeln(x, '+,' y, '=', x+y); // Неверная расстановка запятых и апострофов end.
Слишком много запятых и апострофов рядом, потому начинающие часто путаются
Надо уяснить правила:
- запятые разделяют разные элементы вывода
- все, что находится в апострофах, будет выведено на экран без изменений
Ошибка ввода
begin var x: integer; read(x); // введите блаблабла и посмотрите, что получится end.
Это — ошибка во время выполнения. Программа пытается преобразовать введенную строку в число, не может это сделать и завершается с ошибкой.
Аналогичный фрагмент в более современном и предпочтительном синтаксисе:
begin var x := ReadInteger; end.
Ошибка неинициализированной переменной
begin var x: integer; // Забыли инициализировать или ввести x var r := x * x; // r получает тип integer writeln('Квадрат числа ', x, ' = ', r); end.
Перед использованием любую переменную надо ввести или присвоить ей начальное значение. Это действие называется инициализацией переменной.
Деление на 0
begin var x := 0; var c := 666 div x; // Здесь происходит деление на 0 end.
Если во время выполнения программа выполнит деление на 0, то она завершится с ошибкой.
Корень из отрицательного числа
begin writeln(sqrt(-1)); // Корень из отрицательного числа end.
В обычном Паскале возникает ошибка времени выполнения.
В PascalABC.NET выводится NaN — Not a Number
Ссылки
- Программы для начинающих
- Сайт PascalABC.NET: Программы и алгоритмы для начинающих
СООБЩЕНИЯ КОМПИЛЯТОРА ОБ ОШИБКАХ
§ Если в меню Options?Linker?Link Buffer, установлен параметр Memory, переключите его в значение Disk.
§ Возможно программа слишком велика, чтобы компилироваться в таком объеме памяти. Следует разбить ее на два или более модуля.
§ несоответствующее количество begin и end (не забудьте, что оператор case также заканчивается словом end);
§ включаемый файл заканчивается в середине раздела операторов. Каждый раздел операторов должен целиком помещаться в одном файле;
§ незаконченный комментарий.
§ несовместимые типы переменной и выражения в операторе присваивания;
§ несовместимые типы фактического и формального параметров в обращении к процедуре или функции;
§ тип выражения, несовместимый с типом индекса при индексировании массива;
§ несовместимые типы операндов в выражении.
§ Идентификатору функции можно присваивать значения только внутри раздела операторов данной функции.
§ Объектный файл .obj определяет идентификаторы PUBLIC, которые не находятся в сегменте CODE.
§ Идентификатор обозначает абсолютную переменную.
§ Идентификатор обозначает процедуру или функцию типа inline.
§ Файл .com содержит ссылки с размерами в байтах на перемещаемые идентификаторы. Такая ошибка происходит в случае, если вы используете операторы HIGH и DOWN с перемещаемыми идентификаторами или если вы ссылаетесь в директивах DB на перемещаемые идентификаторы.
§ Операнд ссылается на перемещаемый идентификатор, который не был определен в сегменте CODE или в сегменте DATA.
§ Операнд ссылается на процедуру EXTRN или функцию EXTRN со смещением, например CALL SortProc+8.
§ Процедуры или функции были описаны с помощью описания forward, но их определение не найдено.
§ Вы пытаетесь осуществить приведение типа выражения, когда разрешается только ссылка на переменную, процедуру или функцию.
§ Вы пытаетесь присвоить константу вне диапазона переменной.
§ Вы пытаетесь передать константу вне диапазона в качестве параметра процедуре или функции.
Размер локальных переменных, описанных в программе или функции, не может превышать 64 Кбайт.
Сообщение компилятора об ошибках
Если
ошибка возникает при компиляции внутри
TP,
Турбо Паскаль активизирует окно
редактирования и помещает курсор на
место ошибки в исходной программе.
Если
ошибка возникает при использовании
командно-строчного компилятора, Турбо
Паскаль выдает сообщение об ошибке,
выводит на экран исходную строку
программы с ошибкой и ее номер; символ
^ в выдаваемой исходной строке указывает
местоположение ошибки. Ошибки
подразделяются на:
-
ошибки
при компилировании программы; -
ошибки
на уровне DOS; -
ошибки
ввода-вывода.
Ошибки при компилировании
1
Out of memory (Выход за пределы памяти)
Данная
ошибка появляется, если компилятор
израсходовал всю доступную ему память.
Возможно, ваша программа или программный
модуль слишком велики, чтобы компилировать
их в таком объеме памяти. В этом случае
программу или программный модуль
необходимо разбить на два или более
программных модуля.
2
Identifier expected (Ожидается идентификатор)
В этом месте должен
находиться идентификатор.
3
Unknown Identifier (Неизвестный идентификатор)
Этот идентификатор
не был описан.
4
Duplicate Identifier (Повторение идентификатора)
5
Syntax error (Синтаксическая ошибка)
В исходном тексте
найден недопустимый символ. Возможно,
не заключена в кавычки строковая
константа.
6
Error in real constant (Ошибка в константе
вещественного типа)
Ошибка в синтаксисе
константы вещественного типа.
7
Error In Integer constant (Ошибка
в
константе
целого
типа)
Ошибка
в синтаксисе константы целого типа
(Учтите, что после чисел, превышающих
диапазон представления целых чисел,
должны ставиться точка и нуль, например
12345678912.0.).
8
String constant exceeds line (Строковая константа
превышает размеры строки)
Вероятно, после
строковой константы отсутствует символ
кавычка.
9
Too many nested files (Слишком много вложенных
файлов)
Компилятор допускает
не более 15 вложенных исходных файлов и
не более 4 включаемых файлов.
10
Unexpected end of file (Неожиданный
конец
файла)
Данное сообщение
может появиться по одной из следующих
причин:
В Вашей программе,
вероятнее всего, неодинаковое количество
операторов BEGIN и END.
Включаемый
файл заканчивается в середине раздела
операторов (Каждый раздел операторов
должен целиком помещаться в одном
файле).
В Вашем файле не
закрыты скобки комментария.
11
Line too long (Строка слишком длинная)
Максимальная длина
строки не может превышать 127 символов.
12
Type Identifier expected (Ожидается идентификатор
типа)
В определенном
месте не указан тип идентификатора.
13
Too many open files (Слишком много открытых
файлов)
В
файле CONFIG.SYS не установлен параметр
FILES = N, где N — представляет собой целое
число без знака. Установите в файле
CONFIG.SYS значение параметра FILES = N >= 30.
14
Invalid file name (Недопустимое имя файла)
Имя файла неверно
или указан несуществующий путь.
15
File not found (Файл
не
найден)
Файл
не найден ни в одном из каталогов,
предназначенных для хранения файлов
данного типа.
16
Disk full (Диск заполнен)
Удалите
с диска ненужные Вам файлы (например
файлы с расширением .ВАК или .ТМР) или
попробуйте сохранить текст программы
на другом диске, который имеет достаточный
объем свободной памяти.
17
Invalid compiler directive (Недопустимая директива
компилятора)
Неверная
буква в директиве компилятора, один из
параметров директивы компилятора
неверный или Вы пользуетесь глобальной
директивой компилятора, когда компиляция
тела программы уже началась.
18
Too many files (Слишком много файлов)
В
компиляции программы или программного
модуля участвует слишком много файлов.
Попытайтесь не использовать так много
файлов, например, объединяя включаемые
файлы.
19
Undefined type la pointer definition (Неопределенный
тип в описании указателя)
Вы
пытаетесь объявить типизированный
указатель, связанный с ранее необъявленным
типом данных.
20
Variable Identifier expected (Ожидается идентификатор
переменной)
В указанном курсором
месте ожидается идентификатор переменной.
21
Error in type (Ошибка в определения типа)
Определение типа
не может начинаться с этого символа.
22
Structure too large (Слишком длинная структура)
Максимально
допустимый размер любого структурированного
типа — 65520 байтов.
23
Set base type of range (Количество элементов в
множестве превышает допустимое значение)
Базовый
тип множества должен представлять собой
интервальный или перечисляемый тип
данных с не более чем 256 значениями.
24
File components may not be files or objects (Компоненты
файла
не
могут
быть
файлами
или
объектами)
Тип
компонентов файла не может быть объектным
типом, файловым типом или любым другим
структурированным типом, содержащим
компоненты типа файла или объекта.
25Invalid
string length (Неверная длина строки)
Длина описываемой
строки должна находиться в пределах
от 1 до 255.
26
Type mismatch (Несоответствие типов)
Причины, вызвавшие
появление данного сообщения, могут быть
следующими:
Несовместимы типы
переменной и выражения в операторе
присваивания.
Несовместимые
типы фактического и формального
параметров в обращении к процедуре или
функции.
Тип выражения
несовместимый с типом индекса при
индексировании массива.
Несовместимые
типы операндов в выражении.
27
Invalid subrange base type (Неправильный базовый
тип для интервала)
28Lower
bound greater than upper bound (Нижний
граница
превышает
верхнюю)
При
описании интервального типа данных Вы
объявили нижнюю границу диапазона
больше верхней.
29
Ordinal type expected (Ожидается перечисляемый
тип)
Вещественные,
строковые, структурные и ссылочные типы
в данном случае не допускаются.
30
Integer constant expected (Ожидается константа
целого типа)
31
Constant expected (Ожидается константа)
32
Integer or real constant expected (Ожидается константа
целого или вещественного типа)
33Pointer
type Identifier expected (Ожидается идентификатор
типа указатель)
Указанный курсором
идентификатор не является указателем.
34
Invalid function result type (Недопустимый тип
результата функция)
Правильными типами
результата функции являются все простые,
строковые и ссылочные типы.
35
Label Identifier expected (Ожидается идентификатор
метки)
Обнаружена ссылка
на метку, не описанную в разделе LABEL.
36
BEGIN expected (Ожидается оператор BEGIN)
37
END expected (Ожидается оператор END)
38
Integer expression expected (Ожидается выражение
целого типа)
39
Ordinal expression expected (Ожидается выражение
перечисляемого типа)
40
Boolean expression expected (Ожидается выражение
логического типа)
41
Operand types do not match operator (Несоответствие
типов
операнду)
Данная
операция не может применяться к операндам
этого типа. Такое сообщение будет
вызвано, например, при попытке выполнить
следующую операцию:’ 9′ DIV ‘G’ .
42
Error in expression (Ошибка
в
выражении)
Данный
идентификатор не может участвовать в
выражении указанным образом.
Возможно, вы забыли
указать операцию между двумя операндами.
43
Illegal assignment (Запрещенное присваивание)
Это сообщение
может появиться по следующим причинам:
-
файлам
и нетипизированным переменным нельзя
присваивать значения; -
идентификатору
функции можно присваивать значения
только внутри раздела операторов данной
функции.
44
Field Identifier expected (Ожидается идентификатор
поля)
Данный идентификатор
не соответствует полю предшествующей
переменной типа RECORD или OBJECT.
45
Object file too large (Объектный файл слишком
большой)
Турбо Паскаль не
может компоновать OBJ-файлы размером
больше чем 64 Кбайта.
46
Undefined external (Не определена внешняя
процедура)
Внешняя процедура
или функция не имеет соответствующего
определения PUBLIC в объектном файле.
Убедитесь, что вы указали все объектные
файлы в директивах {$L <имя ОВJ-файла>),
и проверьте написание идентификаторов
процедуры или функции в файле .ASM.
47
Invalid object file record
(Недопустимая
запись объектного файла)
Файл .OBJ содержит
неверную объектную запись. Убедитесь
в том, что данный файл является
действительно OBJ-файлом.
48
Code segment too large (Сегмент кода слишком
большой)
Максимально
допустимый размер кода программы или
программного модуля ранен 65520 байтам.
Разбейте Вашу программу или программный
модуль на несколько частей.
49
Data segment too large (Сегмент данных слишком
большой)
Максимальный
размер сегмента данных программы равен
65520 байтам, включая данные, описываемые
используемыми программными модулями.
Если нужно большее количество глобальных
данных, опишите большие структуры с
помощью указателей и выделяйте для них
память динамически с помощью процедуры
New.
50
DO expected (Ожидается оператор DO)
51
Invalid PUBLIC definition (Недопустимое
определение
PUBLIC)
Появление этого
сообщения возможно но следующим причинам:
-
Данный
идентификатор получил тип PUBLIC с помощью
соответствующей директивы языка
ассемблер, но не соответствует описанию
EXTERNAL в программе или программном модуле. -
Две
или более директивы PUBLIC на языке
ассемблера определяют один и тот же
идентификатор. -
OBJ-файл
определяет идентификатор PUBLIC вне
сегмента CODE.
52
Invalid EXTRN definition (Неправильное определение
EXTRN)
Появление этого
сообщения возможно по следующим причинам:
Из Ассемблера была
осуществлена ссылка с помощью директивы
EXTRN на идентификатор, который не был
описан в тексте Паскаль-программы.
Идентификатор
обозначает абсолютную переменную.
Идентификатор
обозначает процедуру или функцию типа
INLINE.
53
Too many EXTRN definition (Слишком много определений
типа EXTRN)
Турбо
Паскаль не может обрабатывать файлы
.OBJ при более чем 256 определениях EXTRN.
54
OF expected (Ожидается
оператор
OF)
55
INTERFACE expected (Ожидается
оператор
INTERFACE)
56
Invalid relocatable reference (Недопустимая
перемещаемая
ссылка)
Появление этого
сообщения возможно по следующим причинам:
-
OBJ-файл
содержит данные и перемещаемые ссылки
в сегментах, отличных от CODE, например,
при попытке описать инициализированные
переменные в сегменте DATA. -
ORJ-файл
содержит ссылки с размерами в байтах
на перемещаемые символы. Такая ошибка
происходит в случае использования
операторов HIGH и DOWN с перемещаемыми
символами или, если Вы ссылаетесь в
директивах DB на перемещаемые символы. -
Операнд
ссылается на перемещаемый символ,
который не был определен в сегментах
CODE или DATA. -
Операнд
ссылается на процедуру EXTRN или функцию
EXTRN со смещением, например CALL SortProc+8.
Ошибки в программировании. Примеры ошибок в языке Паскаль
Ошибки в
программировании бывают двух типов:
синтаксические и логические. Синтаксические
ошибки это неправильное написание
ключевых слов и символов языка
программирования. Все виды синтаксических
ошибок могут быть найдены компьютером
в 99 % случаев.
Логические ошибки
связаны с неправильной программной
реализацией логики алгоритма. В 99 %
случаев компьютер будет выполнять
программу, но результат работы будет
неправильный.
Примеры синтаксических
ошибок в языке Паскаль и их исправление:
1)
Не поставлена точка с запятой. После
пуска программы, нажатием клавиш
<Ctrl>+<F9>, в верхней строке экрана
появится написанное красным цветом
сообщение:
Error 85: «;»
expected.
(Ошибка 85: «;»
отсутствует.)
Редактор
установит курсор на следующий символ
после пропущенного знака. После нажатия
любой клавиши, сообщение об ошибке
исчезает, и редактор переходит в режим
вставки. Надо подвести курсор к нужному
месту, поставить точку с запятой — “;”
и продолжить работу.
2)
В описании переменных не записана
переменная, а в программе она присутствует.
После пуска программы, будет выдано
сообщение:
Error 3: Unknown identifier.
(Ошибка 3: Неизвестный
идентификатор.)
Курсор
будет установлен на эту переменную.
Надо исправить ошибку, т.е. записать
переменную в раздел описаний переменных
и продолжить работу.
3)
Не поставлена точка после оператора
end в конце программы. Сообщение компилятора
будет таким:
Error 10: Unexpected end of
file.
(Ошибка 10: Неправильный
конец файла.),
Курсор
установится на букву «e» в слове
«end». Надо поставить точку и снова
выполнить программу.
Выполнение программы. Ключевые кнопки
После
того, как программа набрана, можно
попробовать ее выполнить.
Для
этого нажимаем клавиши <Ctrl>+<F9>
(удерживая клавишу <Ctrl>, нажать
клавишу <F9>). Эту же операцию можно
выполнить, перейдя в основное меню,
нажав клавишу <F10>, а затем перемещением
указателя выбрать опцию Run и нажать
клавишу <Ввода>.
Теперь надо найти
в новом меню опцию RUN (пуск) и нажать
клавишу <Ввод>.
Если
не было ошибки при вводе текста, то,
спустя несколько секунд, произойдет
смена изображения на экране. Турбо
Паскаль предоставляет экран в распоряжение
работающей программы пользователя.
Такой экран называется окном
программы.
После
завершения прогона (работа программы
часто называется ее прогоном) на экране
вновь появится окно редактора с
текстом программы. Если Вы не успели
разглядеть изображение окна программы,
то нажмите Alt-F5. При этом окно редактора
скроется
и вы сможете увидеть результаты работы
программы. Чтобы вернуть экран в режим
воспроизведения окна редактора, надо
нажать на любую клавишу.
Первые ошибки и их исправление
1.
Не поставлена точка с запятой, например,
после оператора readln(a). После пуска
программы, нажатием клавиш <Ctrl>+<F9>,
в верхней строке экрана появится
написанное красным цветом сообщение:
Error 85: «;»
expected.
(Ошибка 85: «;»
отсутствует.)
Редактор
установит курсор на следующий символ
после пропущенного знака, в нашем
примере на переменную b. После нажатия
любой клавиши, сообщение об ошибке
исчезает и редактор переходит в режим
вставки. Надо подвести курсор к нужному
месту, поставить точку с запятой — “;”
и продолжить работу.
2.
В описании переменных не записана
переменная, а в программе она присутствует,
например переменная c. После пуска
программы, будет выдано сообщение:
Error 3: Unknown identifier.
(Ошибка 3: Неизвестный
идентификатор.)
Курсор
будет установлен на эту переменную, в
нашем примере на переменную c. Надо
исправить ошибку, т.е. записать переменную
c в раздел описаний переменных и продолжить
работу.
3.
Не поставлена точка после оператора
end в конце программы. Сообщение компилятора
будет таким:
Error 10: Unexpected end of
file.
(Ошибка 10: Неправильный
конец файла.),
курсор
установится на букву «e» в слове
«end». Надо поставить точку и снова
выполнить программу.
Помощь
в “PASCAL”.
В Турбо Паскаль
имеется справочная служба, охватывающая
все возможные вопросы по написанию
программ. Главное – это подсказки по
ключевым словам языка.
Меню
опции HELP
CONTENTS.
Выводит на экран содержание справочной
службы.
INDEX.
Выводит на экран алфавитный список всех
ссылок справочной службы. Вызывается
из редактора командой Shift-F1.
TOPIC
SEARCH.
Осуществляет поиск в окрестности курсора
зарезервированного слова или имени
стандартной процедуры (функции) и дает
соответствующую справку. Вызывается
из редактора командой Ctrl-F1.
PREVIOUS
TOPIC.
Выводит на экран предыдущее справочное
сообщение. Вызывается из редактора
командой Alt-F1.
HELP
ON
HELP.
Дает справку о том, как пользоваться
справочной службой. Отметим, что в
сообщениях справочной службы все
перекрестные ссылки выделяются цветом.
Вы можете подвести к любой из них
указатель мыши и двойным нажатием на
ее левую кнопку вызвать на экран
соответствующее справочное сообщение
(или сместить к ней указатель с помощью
клавиш перевода курсора и нажать Enter).
FILES.
С помощью этой опции Вы можете установить
нужные файлы справочной службы.
COMPILER
DIRECTIVES.
Показывает справку о директивах
компилятора.
RESERVED
WORDS.
Показывает справку о зарезервированных
словах.
STANDARD
UNITS.
Показывает справку о стандартных
модулях.
TURBO
PASCAL
LANGUAGE.
Показывает справку о языке Турбо Паскаль.
ERROR
MESSAGES.
Показывает справку о сообщениях об
ошибках.
ABOUT.
Выводит информацию об авторских правах
и версии Турбо Паскаля.
Лекция №7
Процедуры. Программирование рекурсивных
алгоритмов.
Дедуктивный
метод программирования
Программист
должен видеть в целом программу, которая
решает какую-то задачу, а потом разбивает
ее на отдельные части, составляет на
выбранном языке программирования эти
части программы, объединяет их в единое
целое и получает программу.
Итак,
весь творческий процесс можно разбить
(разумеется, чисто условно) на следующие
этапы:
1) основная идея
решения задачи;
2) общая конструкция
программы;
3)
выделение отдельных, элементарных
частей программы;
4)
практическая реализация на языке
программирования этих частей программы;
5)
объединение их в единую программу.
Такой
процесс программирования называют
структурным или нисходящим. Более
подробно с этим процессом мы познакомимся
позже, когда изучим хотя бы основы языка
программирования, но об отдельных
частях, «кирпичиках», составляющих
программу узнаем на этом занятии.
Подпрограммой
называется группа операторов, к которой
обращаются из основной программы
несколько раз. Иногда это может быть 2,
3 раза, а очень часто, каждый раз из
выполняемого цикла основной программы.
Вполне
понятно, что писать несколько раз
одинаковые группы операторов трудно,
проделывается много «технической»
работы, а в некоторых случаях просто
невозможно (если обращаться приходиться
каждый раз при выполнении цикла).
Для
облегчения такой работы и созданы
подпрограммы.
Использование
подпрограмм позволяет:
1)
сделать основную программу более
наглядной и компактной;
2) уменьшить объем
используемой памяти ЭВМ;
3) сократить время
отладки программы.
На
языке Паскаль подпрограммы
бывают двух видов, — это процедуры и
функции.
Процедуры
Рассмотрим
следующий простой пример, с помощью
которого попробуем разобраться в
конструкции процедур на Паскале.
Пример.
Составить программу, которая бы проверяла,
являются ли три числа взаимно простыми.
Мы
знаем, что числа называются взаимно
простыми, если их наибольший общий
делитель (НОД) равен 1. Значит, для решения
этой задачи нам придется дважды находить
НОД чисел. Если заданы три числа: a, b, c,
то найти НОД(a, b), а затем найти НОД(НОД(a,
b), c).
Дважды
писать операторы для нахождения НОД
нам не хочется, поэтому оформим операторы
для НОД в виде процедуры.
Посмотрите,
как это будет выглядеть в программе:
Program Problem1;
var
a, b, c, k : integer;
{———————————————————————————}
Procedure nod(a, b :
integer; var n : integer);
var
r
: integer;
begin
repeat
r := a mod b;
a := b; b := r
until
b = 0;
n := a
end;
{———————————————————————————}
begin
write(‘Введите
три натуральных числа ‘); readln(a,
b,
c);
nod(a,
b,
k);
a
:= k;
b
:= c;
nod(a,
b,
k);
if
k
= 1 then
writeln(‘Числа
взаимно простые’)
else
writeln(‘Числа не взаимно простые’)
end.
В
разделе описаний, после описания
переменных, записывается заголовок
процедуры: Procedure
Это
слово является служебным и зарезервировано
в Паскале. В одной строке с ним, через
пробел, записывается имя процедуры,
которое должно удовлетворять всем
требованиям, предъявляемым к именам,
основными из которых являются: начинаться
с буквы и не иметь пробелов, т. е.,
требования такие же, как и к имени
программы (имя нашей процедуры — nod):
Procedure
nod(a,
b
: integer;
var
n
: integer);
Далее,
в скобках, записываются имена переменных
и их типы, значения которых будут
вводиться
в процедуру из основной программы, в
нашем случае, их две (a, b) и они имеют тип
integer.
Сразу
надо заметить, что имена этих переменных
могут не совпадать с именами переменных
в основной программе, скажем мы могли
их обозначить m, n или любыми другими
именами.
После
точки с запятой и зарезервированного
слова var, записываются переменные и их
типы, значения которых будет являться
результатом работы процедуры и выводятся
из нее в основную программу. Такая
переменная в нашем примере одна — n. Она
выведет значение НОД чисел a и b. Ее имя
также может иметь одноименное в основной
программе и это нисколько не отразится
на работе процедуры.
Обратите
внимание,
что перед переменными, значения которых
вводятся
из основной программы, не ставится слово
var, а перед переменной, значение которой
выводится
в основную программу, это слово записано.
Это очень важное обстоятельство!
Так,
если поставить var перед a и b, то компилятор
будет воспринимать эти переменные как
выходные и вводимые для них значения
воспринимать не будет, и, наоборот, если
var не будет записано перед выходной
переменной, то компилятор воспримет ее
как входную и выводить ее значение в
основную программу не будет.
Дальнейшее
построение процедуры строится также,
как и основная программа на Паскале.
Описываются
переменные, которые будут участвовать
в ее работе, но их имена не должны
повторять имена уже описанных входных
и выходных параметров в заголовке
программы. Далее описываются необходимые
для работы операторы.
В
нашем примере процедура
nod будет такой:
Procedure
nod(a, b : integer; var n : integer);
var
r
: integer;
begin
repeat
r := a mod b;
a := b; b := r
until
b = 0;
n := a
end;
Основная
программа строится обычным образом, но
там, где необходимо найти НОД чисел,
обращается к процедуре. Как?
Для
этого обращаются к ней по имени, а в
скобках записывают фактические значения
входных переменных (в нашем случае для
переменных a и b), а также имена выходных
переменных (в нашем случае k).
Из
приведенного ниже участка программы
видно, что при первом обращении к
процедуре nod определяется НОД чисел a и
b (nod(a, b, k)) и результат запоминается в
переменную k, далее, изменяются значения
переменных a и b
и снова вызывается процедура nod, которая
уже находит НОД чисел k и c и результат
присваивает переменной k.
Вы можете видеть
основную часть программы:
begin
write(‘Введите
три натуральных числа ‘); readln(a, b, c);
nod(a,
b,
k);
a
:= k;
b
:= c;
nod(a,
b,
k);
if
k
= 1 then
writeln(‘Числа
взаимно простые’)
else
writeln(‘Числа не взаимно простые’)
end.
Сделаем
общие выводы для построения и работы
процедур
Процедуры
помещаются в разделе описаний и начинается
зарезервированным (служебным) словом
Procedure
Процедуре
обязательно
дается имя, которое должно удовлетворять
тем же требованиям, что и имена переменных,
т.е. это может быть одна или несколько
букв, комбинация букв и целых чисел, но
без пробелов, начинаться с буквы и т.д.
После
имени, в скобках записываются переменные
— параметры и их тип: входные, значения
которых используются для вычисления в
качестве аргументов.
Выходные
параметры — это те переменные, в которых
получается результат выполнения
процедуры.
Входные
и выходные параметры процедуры называются
формальными
параметрами.
Фактические,
конкретные, значения формальные параметры
должны получить в основной программе
после обращения к ней (а пока в процедуре
они являются не чем иным, как «пустышками«).
После
формальных параметров, описываются
переменные, которые необходимы
непосредственно для работы процедуры.
Это
параметры
процедуры.
Они нужны в ней, как и в любой другой
программе и описываются также. Их имена
должны отличаться от имен входных и
выходных параметров.
Надо
заметить, что процедура может быть
такой, что в ней не будет вообще параметров,
достаточно тех, которые будут введены
из программы.
Описание процедуры
имеет вид:
Procedure <имя>
(<входные параметры> : <их тип>;
var
<выходные
параметры> : <их тип>);
(раздел
описаний)
begin
(раздел
операторов)
end;
Она
помещается в основной программе в
разделе описаний.
По
входным и выходным параметрам процедуры
могут быть следующих типов:
1)
иметь и
входные и выходные параметры:
Procedure <имя>(<входные
параметры> : <их тип>;
var <выходные
параметры> : <их тип>);
Мы только
познакомились с программой такого типа.
2)
иметь входные параметры, но не иметь
выходных:
Procedure <имя>(<входные
параметры> : <их тип>);
3)
иметь выходные
параметры, но не иметь входных:
Procedure <имя>(var
<выходные параметры> : <их тип>);
4)
не иметь ни
входных, ни выходных параметров:
Procedure <имя>;
В
зависимости от этого различаются
процедуры по своей конструкции и
выполняемым функциям.
Далее
следует раздел операторов, который
составляется по тем же правилам, как и
в других программах.
Процедура
описана и после этого начинается основная
программа.
Как происходит
вызов подпрограммы — процедуры?
Обязательно
указывается имя процедуры. В скобках
задаются фактические
значения входных параметров и те
переменные, в которые будут «запоминаться»
выходные значения.
Рассмотрим
пример, где может быть использована
процедура второго типа: имеет входные
параметры, но не имеет выходных.
Пример.
Составить программу, которая устанавливает,
какие числа из заданного промежутка
[a; b] можно представить в виде суммы двух
квадратов целых чисел?
В
этой программе, нам придется проверять
каждое из чисел промежутка [a; b] можно
ли его представить в виде суммы квадратов
двух чисел, поэтому было бы разумно
разработать процедуру, которая бы
проверяла одно число и затем обращаться
к ней из основной программы для проверки
каждого числа из промежутка.
Процедуру
составим по следующему способу. Пусть
задано число n. Нам необходимо найти
такие два числа a и b, чтобы сумма их
квадратов была равна n, т.е. решить в
целых числах уравнение:
Возникает
естественное желание испытывать
натуральные числа от 1 и до …? А вот до
какого значения неизвестно. Если их
брать до числа n, то это будет слишком
много лишней и бесполезной работы.
Чтобы
выяснить этот вопрос, можно организовать
цикл, в
котором проверять сколько чисел a надо,
чтобы выполнялось неравенство:
Здесь, в качестве b взято наименьшее
натуральное число 1. Организовав такой
цикл, и подсчитав, сколько чисел a
потребуется, мы узнаем сколько чисел
надо просматривать, чтобы найти решение
уравнения.
Этот цикл может
быть таким:
a
:= 1; k := 1;
while
a*a + 1<=n do
begin
k
:= k + 1;
a
:= a + 1
end;
Теперь ясно, что
для испытания чисел, следует устроить
цикл от 1 до k:
for a := 1 to k do
Второй
цикл должен
быть для значений b. Но если его организовать
тоже от 1 до k, тогда могут повторяться
дважды одинаковые значения, только на
разных местах, например, для числа 20
могут быть выданы следующие значения:
22
+ 42
= 20 и 42
+ 22
= 20.
Чтобы
избежать повторения чисел, цикл для
чисел b можно организовать либо от 1 до
a, либо от k до а.
Нами выбран первый
вариант.
Процедура
Procedure to_square(n :
integer);
label
1;
var
a, b, k : integer;
begin
a := 1; k := 1;
while a*a + 1<=n
do
begin
k := k + 1;
a := a + 1
end;
for a := 1 to k do
for b := 1 to a do
if a*a + b*b =
n
then
begin
writeln(n,
‘=’, a, ‘*’, a,’ +’, b, ‘*’, b); goto 1
end;
1: end;
Процедура
выполнена с досрочным прерыванием
цикла, так как нет необходимости выяснять
всевозможные значения пар чисел,
удовлетворяющих этому уравнению, а
достаточно просто выяснить возможность
такого представления.
Выполнив
такую процедуру, не составляет труда
решить полностью задачу. Для этого в
основной программе выполнить цикл для
всех чисел из промежутка, и каждое из
которых, с помощью процедуры проверять.
Кстати говоря, эта процедура имеет
только один формальный
параметр —
входной,
— значение проверяемого числа из
промежутка и не имеет выходных параметров.
Программа
Program Problem2;
var
a, b, i : integer;
{———————————————————————————}
Procedure to_square(n :
integer);
label 1;
var
a,
b, k : integer;
begin
a := 1; k := 1;
while a*a + 1 <=
n do
begin
k := k + 1;
a := a + 1
end;
for a := 1 to k do
for b := 1 to a
do
if a*a + b*b =
n
then
begin
writeln(n,
‘=’, a, ‘*’, a, ‘+’, b,’*’, b); goto 1
end;
1: end;
{———————————————————————————}
begin
write(‘Введите
начало
промежутка
‘); readln(a);
write(‘Введите конец
промежутка ‘); readln(b);
write(‘Числа,
которые можно представить в виде суммы
‘);
writeln(‘квадратов
следующих
чисел’);
for i := a to b do
to_square(i);
end.