Программирование. Принципы и практика использования C++ Исправленное издание
вернуться

Страуструп Бьерн
Шрифт:

В принципе директива

#include "file.h"
просто копирует объявления из файла
file.h
в ваш файл в точку, отмеченную директивой
#include
. Например, мы можем написать заголовочный файл
f.h
.

// f.h

int f(int);

А затем можем включить его в файл

user.cpp
.

// user.cpp

#include "f.h"

int g(int i)

{

return f(i);

}

При компиляции файла

user.cpp
компилятор выполнит подстановку заголовочного файла и скомпилирует следующий текст:

int f(int);

int g(int i)

{

return f(i);

}

Поскольку директива

#include
выполняется компилятором в самом начале, выполняющая ее часть компилятора называется препроцессором (preprocessing) (раздел A.17).

Для упрощения проверки согласованности заголовок следует включать как в исходные файлы, использующие объявления, так и в исходные файлы, содержащие определения, соответствующие этим объявлениям. Это позволяет компилятору находить ошибки на самых ранних этапах. Например, представьте себе, что разработчик функции
Token_stream::putback
сделал ошибки.

Token Token_stream::putback(Token t)

{

buffer.push_back(t);

return t;

}

Этот фрагмент выглядит вполне невинно. К счастью, компилятор перехватывает ошибки, потому что он видит (благодаря директиве

#include
) объявление функции
Token_stream::putback
. Сравнивая это объявление с соответствующим определением, компилятор выясняет, что функция
putback
не должна возвращать объект класса
Token
, а переменная
buffer
имеет тип
Token
, а не
vector<Token>
, так что мы не можем использовать функцию
push_back
. Такие ошибки возникают, когда мы работаем над улучшением кода и вносим изменения, забывая о необходимости согласовывать их с остальной частью программы.

Рассмотрим следующие ошибки:

Token t = ts.gett; // ошибка: нет члена gett

// ...

ts.putback; // ошибка: отсутствует аргумент

Компилятор немедленно выдаст ошибку; заголовок

token.h
предоставляет ему всю информацию, необходимую для проверки.

Заголовочный файл

std_lib_facilities.h
содержит объявления стандартных библиотечных средств, таких как
cout
,
vector
и
sqrt
, а также множества простых вспомогательных функций, таких как
error
, не являющихся частью стандартной библиотеки. В разделе 12.8 мы продемонстрируем непосредственное использование заголовочных файлов стандартной библиотеки.

Заголовки обычно включаются во многие исходные файлы. Это значит, что заголовок должен содержать лишь объявления, которые можно дублировать в нескольких файлах (например, объявления функций, классов и числовых констант).

8.4. Область видимости

Область видимости (scope) — это часть текста программы. Каждое имя объявляется в своей области видимости и является действительным (т.е. находится в области видимости), начиная с точки объявления и заканчивая концом данной области. Рассмотрим пример.

void f

{

g; // ошибка: g не принадлежит (пока) области видимости

}

void g

{

f; // OK: функция f находится в области видимости

}

void h

{

int x = y; // ошибка: переменная y не принадлежит (пока)

// области видимости

int y = x; // OK: переменная x находится в области видимости

g; // OK: функция g находится в области видимости

}

Имена, принадлежащие области видимости, видны из вложенных в нее других областей видимости. Например, вызов функции

f
находится в области видимости функции
g
, которая является вложенной в глобальную область видимости. Глобальная область видимости не вкладываются ни в какую другую. Правило, утверждающее, что имя должно быть объявлено до того, как будет использовано, по-прежнему действует, поэтому функция
f
не может вызывать функцию
g
.