- •Предисловие
- •Предисловие к первому изданию
- •Введение
- •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.1. Основные сведения о структурах
- •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. Пример. Распределитель памяти
- •А. Справочное руководство
- •А 1. Введение
- •А 2. Соглашения о лексике
- •А 2.1. Лексемы (tokens)
- •А 2.2. Комментарий
- •А 2.3. Идентификаторы
- •А 2.4. Ключевые слова
- •А 2.5. Константы
- •А 2.5.1. Целые константы
- •А 2.5.2. Символьные константы
- •А 2.5.3. Константы с плавающей точкой
- •А 2.5.4. Константы-перечисления
- •А 2.6. Строковые литералы
- •A 3. Нотация синтаксиса
- •А 4. Что обозначают идентификаторы
- •А 4.1. Класс памяти
- •А 4.2. Базовые типы
- •А 4.3. Производные типы
- •А 4.4. Квалификаторы типов
- •А 5. Объекты и Lvalues
- •А 6. Преобразования
- •А 6.1. Целочисленное повышение
- •А 6.2. Целочисленные преобразования
- •А 6.3. Целые и числа с плавающей точкой
- •А 6.4. Типы с плавающей точкой
- •А 6.5. Арифметические преобразования
- •А 6.6. Указатели и целые
- •А 6.7. Тип void
- •А 6.8. Указатели на void
- •А 7. Выражения
- •А 7.1. Генерация указателя
- •А 7.2. Первичные выражения
- •А 7.3. Постфиксные выражения
- •А 7.3.1. Обращение к элементам массива
- •А 7.3.2. Вызов функции
- •А 7.3.3. Обращение к структурам
- •А 7.3.4. Постфиксные операторы инкремента и декремента
- •А 7.4. Унарные операторы
- •А 7.4.1. Префиксные операторы инкремента и декремента
- •А 7.4.2. Оператор получения адреса
- •А 7.4.3. Оператор косвенного доступа
- •А 7.4.4. Оператор унарный плюс
- •А 7.4.5. Оператор унарный минус
- •А 7.4.6. Оператор побитового отрицания
- •А 7.4.7. Оператор логического отрицания
- •А 7.4.8. Оператор определения размера sizeof
- •А 7.5. Оператор приведения типа
- •А 7.6. Мультипликативные операторы
- •А 7.7. Аддитивные операторы
- •А 7.8. Операторы сдвига
- •А 7.9. Операторы отношения
- •А 7.10. Операторы равенства
- •А 7.11. Оператор побитового И
- •А 7.12. Оператор побитового исключающего ИЛИ
- •А 7.13. Оператор побитового ИЛИ
- •А 7.14. Оператор логического И
- •А 7.15. Оператор логического ИЛИ
- •А 7.16. Условный оператор
- •А 7.17. Выражения присваивания
- •А 7.18. Оператор запятая
- •А 7.19. Константные выражения
- •А 8. Объявления
- •А 8.1. Спецификаторы класса памяти
- •А 8.2. Спецификаторы типа
- •А 8.3. Объявления структур и объединений
- •A 8.4. Перечисления
- •А 8.6. Что означают объявители
- •А 8.6.1. Объявители указателей
- •А 8.6.2. Объявители массивов
- •А 8.6.3. Объявители функций
- •А 8.7. Инициализация
- •А 8.8. Имена типов
- •А 8.9. Объявление typedef
- •А 8.10. Эквивалентность типов
- •А 9. Инструкции
- •А 9.1. Помеченные инструкции
- •А 9.2. Инструкция-выражение
- •А 9.3. Составная инструкция
- •А 9.4. Инструкции выбора
- •А 9.5. Циклические инструкции
- •А 9.6. Инструкции перехода
- •А 10. Внешние объявления
- •А 10.1. Определение функции
- •А 10.2. Внешние объявления
- •А 11. Область видимости и связи
- •А 11.1. Лексическая область видимости
- •А 11.2. Связи
- •А 12. Препроцессирование
- •А 12.2. Склеивание строк
- •А 12.3. Макроопределение и макрорасширение
- •А 12.4. Включение файла
- •А 12.5. Условная компиляция
- •А 12.6. Нумерация строк
- •А 12.7. Генерация сообщения об ошибке
- •А 12.8. Прагма
- •А 12.9. Пустая директива
- •А 12.10. Заранее определенные имена
- •А 13. Грамматика
- •B. Стандартная библиотека
- •В 1. Ввод-вывод: <stdio.h>
- •В 1.1. Операции над файлами
- •В 1.2. Форматный вывод
- •В 1.3. Форматный ввод
- •В 1.4. Функции ввода-вывода символов
- •В 1.5. Функции прямого ввода-вывода
- •В 1.6. Функции позиционирования файла
- •В 1.7. Функции обработки ошибок
- •В 2. Проверки класса символа: <ctype.h>
- •В 3. Функции, оперирующие со строками: <string. h>
- •В 5. Функции общего назначения: <stdlib. h>
- •В 6. Диагностика: <assert. h>
- •В 7. Списки аргументов переменной длины: <stdarg.h>
- •В 8. Дальние переходы: <setjmp. h>
- •В 9. Сигналы: <signal. h>
- •В 10. Функции даты и времени: <time.h>
- •В 11. Зависящие от реализации пределы: <limits.h> и <float.h>
- •C. Перечень изменений
7. Ввод и вывод
Возможности для ввода и вывода не являются частью самого языка Си, поэтому мы подробно и не рассматривали их до сих пор. Между тем реальные программы взаимодействуют со своим окружением гораздо более сложным способом, чем те, которые были затронуты ранее. В этой главе мы опишем стандартную библиотеку, содержащую набор функций, обеспечивающих ввод-вывод, работу со строками, управление памятью, стандартные математические функции и разного рода сервисные Си-программы. Но особое внимание уделим вводу-выводу.
Библиотечные функции ввода-вывода точно определяются стандартом ANSI, так что они совместимы на любых системах, где поддерживается Си. Программы, которые в своем взаимодействии с системным окружением не выходят за рамки возможностей стандартной библиотеки, можно без изменений переносить с одной машины на другую.
Свойства библиотечных функций специфицированы в более чем дюжине заголовочных файлов; вам уже встречались некоторые из них, в том числе <stdio.h>, <string.h> и <ctype.h>. Мы не рассматриваем здесь всю библиотеку, так как нас больше интересует написание Си-программ, чем использование библиотечных функций. Стандартная библиотека подробно описана в приложении В.
7.1. Стандартный ввод-вывод
Как уже говорилось в главе 1, библиотечные функции реализуют простую модель текстового ввода-вывода. Текстовый поток состоит из последовательности строк; каждая строка заканчивается символом новой строки. Если система в чем-то не следует принятой модели, библиотека сделает так, чтобы казалось, что эта модель удовлетворяется полностью. Например, пара символов — возврат-каретки и перевод-строки — при вводе могла бы быть преобразована в один символ новой строки, а при выводе выполнялось бы обратное преобразование.
Простейший механизм ввода — это чтение одного символа из стандартного ввода (обычно с клавиатуры) функцией getchar:
int getchar(void)
В качестве результата каждого своего вызова функция getchar возвращает следующий символ ввода или, если обнаружен конец файла, EOF. Именованная константа EOF (аббревиатура от end of file — конец файла) определена в <stdio.h>. Обычно значение EOF равно -1, но, чтобы не зависеть от конкретного значения этой константы, обращаться к ней следует по имени (EOF).
Во многих системах клавиатуру можно заменить файлом, перенаправив ввод с помощью значка <. Так, если программа prog использует getchar, то командная строка
prog < infile
предпишет программе prog читать символы из infile, а не с клавиатуры. Переключение ввода делается так, что сама программа prog не замечает подмены; в частности строка "<infile" не будет включена в аргументы командной строки argv. Переключение ввода будет также незаметным, если ввод исходит от другой программы и передается конвейерным образом. В некоторых системах командная строка
otherprog | prog
приведет к тому, что запустится две программы, otherprog и prog, и стандартный вывод otherprog поступит на стандартный ввод prog.
Функция
int putchar(int)
используется для вывода: putchar(c) отправляет символ c в стандартный вывод, под которым по умолчанию подразумевается экран. Функция putchar в качестве результата возвращает посланный символ или, в случае ошибки, EOF. To же и в отношении вывода: с помощью записи вида > имя-файла вывод можно перенаправить в файл. Например, если prog использует для вывода функцию putchar, то
prog > outfile
будет направлять стандартный вывод не на экран, а в outfile. А командная строка
prog | anotherprog
соединит стандартный вывод программы prog со стандартным вводом программы anotherprog.
Вывод, осуществляемый функцией printf, также отправляется в стандартный выходной поток. Вызовы putchar и printf могут как угодно чередоваться, при этом вывод будет формироваться в той последовательности, в которой происходили вызовы этих функций.
Любой исходный Си-файл, использующий хотя бы одну функцию библиотеки ввода-вывода, должен содержать в себе строку
#include <stdio.h>
причем она должна быть расположена до первого обращения к вводу-выводу. Если имя заголовочного файла заключено в угловые скобки < и >, это значит, что поиск заголовочного файла ведется в стандартном месте (например, в системе UNIX это обычно директорий /usr/include).
Многие программы читают только из одного входного потока и пишут только в один выходной поток. Для организации ввода-вывода таким программам вполне хватит функций getchar, putchar и printf, а для начального обучения уж точно достаточно ознакомления с этими функциями. В частности, перечисленных функций достаточно, когда требуется вывод одной программы соединить с вводом следующей. В качестве примера рассмотрим программу lower, переводящую свой ввод на нижний регистр:
«include <stdio.h> «include <ctype.h>
main() /* lower: переводит ввод на нижний регистр */
{
int с;
while ((с = getchar()) != EOF) putchar(tolower(c));
return 0;
}
Функция tolower определена в <ctype.h>. Она переводит буквы верхнего регистра в буквы нижнего регистра, а остальные символы возвращает без изменений. Как мы уже упоминали, "функции" вроде getchar и putchar из библиотеки <stdio.h> и функция tolower из библиотеки <ctype.h> часто реализуются в виде макросов, чтобы исключить накладные расходы от вызова функции на каждый отдельный символ. В параграфе 8.5 мы покажем, как это делается. Независимо от того, как на той или иной машине реализованы функции библиотеки <ctype.h>, использующие их программы могут ничего не знать о кодировке символов.
Упражнение 7.1. Напишите программу, осуществляющую перевод ввода с верхнего регистра на нижний или с нижнего на верхний в зависимости от имени, по которому она вызывается и текст которого находится в argv[0].
7.2. Форматный вывод (printf)
Функция printf переводит внутренние значения в текст.
int printf(char *format, argr arg2, ...)
В предыдущих главах мы использовали printf неформально. Здесь мы покажем наиболее типичные случаи применения этой функции; полное ее описание дано в приложении В.
Функция printf преобразует, форматирует и печатает свои аргументы в стандартном выводе под управлением формата. Возвращает она количество напечатанных символов.
Форматная строка содержит два вида объектов: обычные символы, которые впрямую копируются в выходной поток, и спецификации преобразования, каждая из которых вызывает преобразование и печать очередного аргумента printf. Любая спецификация преобразования начинается знаком % и заканчивается символомспецификатором. Между % и символом-спецификатором могут быть расположены (в указанном ниже порядке) следующие элементы:
Знак минус, предписывающий выравнивать преобразованный аргумент по левому краю поля.
Число, специфицирующее минимальную ширину поля. Преобразованный аргумент будет занимать поле по крайней мере указанной ширины. При необходимости лишние позиции слева (или справа при левостороннем расположении) будут заполнены пробелами.
Точка, отделяющая ширину поля от величины, устанавливающей точность.
Число (точность), специфицирующее максимальное количество печатаемых символов в строке, или количество цифр после десятичной точки для чисел с плавающей запятой, или минимальное количество цифр для целого.
Буква h, если печатаемое целое должно рассматриваться как short, или l (латинская буква ell), если целое должно рассматриваться как long.
Символы-спецификаторы перечислены в таблице 7.1. Если за % не помещен символ-спецификатор, поведение функции printf будет не определено.
Ширину и точность можно специфицировать с помощью *; значение ширины (или точности) в этом случае берется из следующего аргумента (который должен быть типа int). Например, чтобы напечатать не более max символов из строки s, годится следующая запись:
printf("%.*s", max, s);
Большая часть форматных преобразований была продемонстрирована в предыдущих главах. Исключение составляет задание точности для строк. Далее приводится перечень спецификаций и показывается их влияние на печать строки "hello, world", состоящей из 12 символов. Поле специально обрамлено двоеточиями, чтобы была видна его протяженность.
:%s: |
:hello, world: |
|
:%10s: |
:hello, world: |
|
:%.10s: |
:hello, wor: |
|
:%-10s: |
:hello, world: |
|
:%.15s: |
:hello, world: |
|
:%-15s: |
:hello, world : |
|
:%15.10s: |
: |
hello, wor: |
:%-15.10s: |
:hello, wor |
: |
Таблица 7.1. Основные преобразования printf |
||
|
|
|
Символ |
Тип аргумента; вид печати |
|
|
|
|
d, i |
int; десятичное целое |
|
о |
int; беззнаковое восьмеричное (octal) целое (без нуля слева) |
|
х, X |
unsigned int; беззнаковое шестнадцатеричное целое (без 0х или 0Х слева), для 10...15 |
|
|
используются abcdef или ABCDEF |
u
c
s
f e, E
g, G
int;беззнаковое десятичное целое
int; одиночный символ
char *; печатает символы, расположенные до знака \0, или в количестве, заданном точностью
double; [-+ m.dddddd, где количество цифр d задается точностью (по умолчанию равно 6)
double; [-] m.dddddde+хх или [-] m.ddddddE±xx, где количество цифр d задается точностью (по умолчанию равно 6)
double; использует %е или %Е, если порядок меньше, чем -4, или больше или равен точности; в противном случае использует %f. Завершающие нули и завершающая десятичная точка не печатаются
p |
void *; указатель (представление зависит от реализации) |
% |
Аргумент не преобразуется; печатается знак % |
|
|
Предостережение: функция printf использует свой первый аргумент, чтобы определить, сколько еще ожидается аргументов и какого они будут типа. Вы не получите правильного результата, если аргументов будет не хватать или они будут принадлежать не тому типу. Вы должны также понимать разницу в следующих двух обращениях:
printf(s); /* НЕВЕРНО, если в s есть %, */ printf("%s", s); /* ВЕРНО всегда */
Функция sprintf выполняет те же преобразования, что и printf, но вывод запоминает в строке
int sprintf(char *string, char *format, arg1, arg2, ...)
Эта функция форматирует arg1, arg2 и т.д. в соответствии с информацией, заданной аргументом format, как мы описывали ранее, но результат помещает не в стандартный вывод, а в string. Заметим, что строка string должна быть достаточно большой, чтобы в ней поместился результат.
Упражнение 7.2. Напишите программу, которая будет печатать разумным способом любой ввод. Как минимум она должна уметь печатать неграфические символы в восьмеричном или шестнадцатеричном виде (в форме, принятой на вашей машине), обрывая длинные текстовые строки.