- •Глава 8. Интерфейс с системой unix
- •Приложение a. Справочное руководство
- •Приложение b. Стандартная библиотека
- •Приложение с. Перечень изменений
- •Предметный указатель
- •Предисловие
- •Предисловие к первому изданию
- •Введение
- •Глава 1. Обзор языка
- •1.1 Начнем, пожалуй
- •1.2 Переменные и арифметические выражения
- •1.3 Инструкция for
- •1.4 Именованные константы
- •1.5 Ввод-вывод символов
- •1.5.1 Копирование файла
- •1.5.2 Подсчет символов
- •1.5.3 Подсчет строк
- •1.5.4 Подсчет слов
- •1.6 Массивы
- •1.7 Функции
- •1.8 Аргументы. Вызов по значению
- •1.9 Символьные массивы
- •1.10 Внешние переменные и область видимости
- •Глава 2. Типы, операторы и выражения
- •2.1 Имена переменных
- •2.2 Типы и размеры данных
- •2.3 Константы
- •2.4 Объявления
- •2.5 Арифметические операторы
- •2.6 Операторы отношения и логические операторы
- •2.7 Преобразования типов
- •2.8 Операторы инкремента и декремента
- •2.9 Побитовые операторы
- •2.10 Операторы и выражения присваивания
- •2.11 Условные выражения
- •2.12 Приоритет и очередность вычислений
- •Глава 3. Управление
- •3.1 Инструкции и блоки
- •3.2 Конструкция if-else
- •3.3 Конструкция else-if
- •3.4 Переключатель switch
- •3.5 Циклы while и for
- •3.6 Цикл do-while
- •3.7 Инструкции break и continue
- •3.8 Инструкция goto и метки
- •Глава 4. Функции и структура программы
- •4.1 Основные сведения о функциях
- •4.2 Функции, возвращающие нецелые значения
- •4.3 Внешние переменные
- •4.4 Области видимости
- •4.5 Заголовочные файлы
- •4.6 Статические переменные
- •4.7 Регистровые переменные
- •4.8 Блочная структура
- •4.9 Инициализация
- •4.10 Рекурсия
- •4.11 Препроцессор языка Си
- •4.11.1 Включение файла
- •4.11.2 Макроподстановка
- •4.11.3 Условная компиляция
- •Глава 5. Указатели и массивы
- •5.1 Указатели и адреса
- •5.2 Указатели и аргументы функций
- •5.3 Указатели и массивы
- •5.4 Адресная арифметика
- •5.5 Символьные указатели функции
- •5.6 Массивы указателей, указатели на указатели
- •5.7 Многомерные массивы
- •5.8 Инициализация массивов указателей
- •5.9 Указатели против многомерных массивов
- •5.10 Аргументы командной строки
- •5.11 Указатели на функции
- •5.12 Сложные объявления
- •Глава 6. Структуры
- •6.2 Структуры и функции
- •6.3 Массивы структур
- •6.4 Указатели на структуры
- •6.5 Структуры со ссылками на себя
- •6.6 Просмотр таблиц
- •6.7 Средство typedef
- •6.8 Объединения
- •6.9 Битовые поля
- •Глава 7. Ввод и вывод
- •7.1 Стандартный ввод-вывод
- •7.2 Форматный вывод (printf)
- •7.3 Списки аргументов переменной длины
- •7.4 Форматный ввод (scanf)
- •7.5 Доступ к файлам
- •7.6 Управление ошибками (stderr и exit)
- •7.7 Ввод-вывод строк
- •7.8 Другие библиотечные функции
- •7.8.1 Операции со строками
- •7.8.2 Анализ класса символов и преобразование символов
- •7.8.3 Функция ungetc
- •7.8.4 Исполнение команд операционной системы
- •7.8.5 Управление памятью
- •7.8.6 Математические функции
- •7.8.7 Генератор случайных чисел
- •Глава 8. Интерфейс с системой unix
- •8.1 Дескрипторы файлов
- •8.2 Нижний уровень ввода-вывода (read и write)
- •8.3 Системные вызовы open, creat, close, unlink
- •8.4 Произвольный доступ (lseek)
- •8.5 Пример. Реализация функций fopen и getc
- •8.6 Пример. Печать каталогов
- •8.7 Пример. Распределитель памяти
- •Приложение a. Справочное руководство
- •A1. Введение
- •A2. Соглашения о лексике
- •A2.1. Лексемы (tokens)
- •A2.2. Комментарий
- •A2.3. Идентификаторы
- •A2.4. Ключевые слова
- •Volatile
- •A2.5. Константы
- •A2.5.1. Целые константы
- •A2.5.2. Символьные константы
- •А2.5.3. Константы с плавающей точкой
- •A2.5.4. Константы-перечисления
- •A2.6. Строковые литералы
- •A3. Нотация синтаксиса
- •A4. Что обозначают идентификаторы
- •A4.1. Класс памяти
- •A4.2. Базовые типы
- •A4.3. Производные типы
- •A4.4. Квалификаторы типов
- •A5. Объекты и Lvalues
- •A6. Преобразования
- •A6.1. Целочисленное повышение
- •A6.2. Целочисленные преобразования
- •A6.3. Целые и числа с плавающей точкой
- •A6.4. Типы с плавающей точкой
- •А6.5. Арифметические преобразования
- •A6.6. Указатели и целые
- •A6.7. Тип void
- •А6.8. Указатели на void
- •A7. Выражения
- •A7.1. Генерация указателя
- •A7.2. Первичные выражения
- •A7.3. Постфиксные выражения
- •A7.3.1. Обращение к элементам массива
- •A7.3.2. Вызов функции
- •A7.3.3. Обращение к структурам
- •A7.3.4. Постфиксные операторы инкремента и декремента
- •А7.4. Унарные операторы
- •А7.4.1. Префиксные операторы инкремента и декремента
- •A7.4.6. Оператор побитового отрицания
- •A7.4.7. Оператор логического отрицания
- •A7.4.8. Оператор определения размера sizeof
- •A7.5. Оператор приведения типа
- •A7.6. Мультипликативные операторы
- •A7.7. Аддитивные операторы
- •A7.8. Операторы сдвига
- •A7.9. Операторы отношения
- •A7.10. Операторы равенства
- •A7.15. Оператор логического или
- •А7.16. Условный оператор
- •A7.17. Выражения присваивания
- •A7.18. Оператор запятая
- •A7.19. Константные выражения
- •A8. Объявления
- •A8.1. Спецификаторы класса памяти
- •А8.2. Спецификаторы типа
- •A8.3. Объявления структур и объединений
- •A8.4. Перечисления
- •А8.5. Объявители
- •A8.6. Что означают объявители
- •A8.6.1. Объявители указателей
- •А8.6.2. Объявители массивов
- •А8.6.3. Объявители функций
- •A8.7. Инициализация
- •A8.8. Имена типов
- •А8.9. Объявление typedef
- •A8.10. Эквивалентность типов
- •A9. Инструкции
- •A9.1. Помеченные инструкции
- •A9.2. Инструкция-выражение
- •A9.3. Составная инструкция
- •A9.4. Инструкции выбора
- •A9.5. Циклические инструкции
- •A9.6. Инструкции перехода
- •А10. Внешние объявления
- •A10.1. Определение функции
- •A10.2. Внешние объявления
- •A11. Область видимости и связи
- •A11.1. Лексическая область видимости
- •A11.2. Связи
- •A12. Препроцессирование
- •A12.1. Трехзнаковые последовательности
- •A12.2. Склеивание строк
- •А12.3. Макроопределение и макрорасширение
- •A12.4. Включение файла
- •A12.5. Условная компиляция
- •A12.6. Нумерация строк
- •A13. Грамматика
- •Приложение b. Стандартная библиотека
- •B1.1. Операции над файлами
- •B1.2. Форматный вывод
- •B1.3. Форматный ввод
- •B1.4. Функции ввода-вывода символов
- •B1.5. Функции прямого ввода-вывода
- •B1.6. Функции позиционирования файла
- •B1.7. Функции обработки ошибок
- •Приложение c. Перечень изменений
1.7 Функции
Функции в Си играют ту же роль, что и подпрограммы и функции в Фортране или процедуры и функции в Паскале. Функция обеспечивает удобный способ отдельно оформить некоторое вычисление и пользоваться им далее, не заботясь о том, как оно реализовано. После того, как функции написаны, можно забыть, как они сделаны, достаточно знать лишь, что они умеют делать. Механизм использования функции в Си удобен, легок и эффективен. Нередко вы будете встречать короткие функции, вызываемые лишь единожды: они оформлены в виде функции с одной-единственной целью - получить более ясную программу.
До сих пор мы пользовались готовыми функциями вроде main, getchar и putchar, теперь настала пора нам самим написать несколько функций. В Си нет оператора возведения в степень вроде ** в Фортране. Поэтому проиллюстрируем механизм определения функции на примере функции power(m, n), которая возводит целое m в целую положительную степень n. Так, power(2, 5) имеет значение 32. На самом деле для практического применения эта функция малопригодна, так как оперирует лишь малыми целыми степенями, однако она вполне может послужить иллюстрацией. (В стандартной библиотеке есть функция pow(x, y), вычисляющая x в степени y.)
Итак, мы имеем функцию power и главную функцию main, пользующуюся ее услугами, так что вся программа выглядит следующим образом:
#include <stdio.h>
int power(int m, int n);
/* тест функции power */
main()
{
int i;
for (i = 0: i < 10, ++i)
printf(“%d %d %d\n”, i, power(2,i), power(-3,i));
return 0;
}
/* возводит base в n-ю степень, n >= 0 */
int power(int base, int n)
{
int i, p;
p = 1;
for (i = 1; i <= n; ++i)
p = p * base;
return p;
}
Определение любой функции имеет следующий вид:
тип-результата имя-функции (список параметров, если он есть)
{
объявления
инструкции
}
Определения функций могут располагаться в любом порядке в одном или в нескольких исходных файлах, но любая функция должна быть целиком расположена в каком-то одном. Если исходный текст программы распределен по нескольким файлам, то, чтобы ее скомпилировать и загрузить, вам придется сказать несколько больше, чем при использовании одного файла; но это уже относится к операционной системе, а не к языку. Пока мы предполагаем, что обе функции находятся в одном файле, так что будет достаточно тех знаний, которые вы уже получили относительно запуска программ на Си.
В следующей строке из функции main к power обращаются дважды.
printf(“%d %d %d\n”, i, power(2,i), power(-3,i));
При каждом вызове функции power передаются два аргумента, и каждый раз главная программа main в ответ получает целое число, которое затем приводится к должному формату и печатается. Внутри выражения power(2, i) представляет собой целое значение точно так же, как 2 или i. (Не все функции в качестве результата выдают целые значения; подробно об этом будет сказано в главе 4.)
В первой строке определения power:
int power(int base, int n);
указываются типы параметров, имя функции и тип результата. Имена параметров локальны внутри power, это значит, что они скрыты для любой другой функции, так что остальные подпрограммы могут свободно пользоваться теми же именами для своих целей. Последнее утверждение справедливо также для переменных i и p: i в power и i в main не имеют между собой ничего общего.
Далее параметром мы будем называть переменную из списка параметров, заключенного в круглые скобки и заданного в определении функции, а аргументом - значение, используемое при обращении к функции. Иногда в том же смысле мы будем употреблять термины формальный аргумент и фактический аргумент.
Значение, вычисляемое функцией power, возвращается в main с помощью инструкции return. За словом return может следовать любое выражение:
return выражение;
Функция не обязательно возвращает какое-нибудь значение. Инструкция return без выражения только передает управление в ту программу, которая ее вызвала, не передавая ей никакого результирующего значения. То же самое происходит, если в процессе вычислений мы выходим на конец функции, обозначенный в тексте последней закрывающей фигурной скобкой. Возможна ситуация, когда вызывающая функция игнорирует возвращаемый ей результат.
Вы, вероятно, обратили внимание на инструкцию return в конце main. Поскольку main есть функция, как и любая другая она может вернуть результирующее значение тому, кто ее вызвал, - фактически в ту среду, из которой была запущена программа. Обычно возвращается нулевое значение, что говорит о нормальном завершении выполнения. Ненулевое значение сигнализирует о необычном или ошибочном завершении. До сих пор ради простоты мы опускали return в main, но с этого момента будем задавать return как напоминание о том, что программы должны сообщать о состоянии своего завершения в операционную систему.
Объявление
int power(int m, int n);
стоящее непосредственно перед main, сообщает, что функция power ожидает двух аргументов типа int и возвращает результат типа int. Это объявление, называемое прототипом функции, должно быть согласовано с определением и всеми вызовами power. Если определение функции или вызов не соответствует своему прототипу, это ошибка.
Имена параметров не требуют согласования. Фактически в прототипе они могут быть произвольными или вообще отсутствовать, т. е. прототип можно было бы записать и так:
int power(int, int);
Однако удачно подобранные имена поясняют программу, и мы будем часто этим пользоваться.
Историческая справка. Самые большие отличия ANSI-Си от более ранних версий языка как раз и заключаются в способах объявления и определения функций. В первой версии Си функцию power требовалось задавать в следующем виде:
/* power: возводит base в n-ю степень, n >= 0 */
/* (версия в старом стиле языка Си) */
power(base, n)
int base, n;
{
int i, р;
p = 1;
for (i = 1; i <= n; ++i)
р = р * base;
return р;
}
Здесь имена параметров перечислены в круглых скобках, а их типы заданы перед первой открывающей фигурной скобкой. В случае отсутствия указания о типе параметра, считается, что он имеет тип int. (Тело функции не претерпело изменений.)
Описание power в начале программы согласно первой версии Си должно было бы выглядеть следующим образом:
int power();
Нельзя было задавать список параметров, и поэтому компилятор не имел возможности проверить правильность обращений к power. Так как при отсутствии объявления power предполагалось, что функция возвращает значение типа int, то в данном случае объявление целиком можно было бы опустить.
Новый синтаксис для прототипов функций облегчает компилятору обнаружение ошибок в количестве аргументов и их типах. Старый синтаксис объявления и определения функции все еще допускается стандартом ANSI, по крайней мере на переходный период, но если ваш компилятор поддерживает новый синтаксис, мы настоятельно рекомендуем пользоваться только им.
Упражнение 1.15. Перепишите программу преобразования температур, выделив само преобразование в отдельную функцию.