Объявления функций
Функции всегда определяются на внешнем уровне, т. е. глобально. Объявления функций (прототипы) могут находиться как на глобальном, так и на локальном уровнях.
Функции могут быть объявлены с классом памяти static или extern.
Правила определения области видимости для функций отличаются от правил видимости для переменных и состоят в следующем:
Функция, объявленная как static, видима в пределах того файла, в котором она определена. Каждая функция может вызвать другую функцию с классом памяти static из своего исходного файла, но не может вызвать функцию, функция, объявленная как static, видима в пределах того файла, в определенную с классом static в другом исходном файле. Разные функции с классом памяти static, имеющие одинаковые имена, могут быть определены в разных исходных файлах, и это не ведет к конфликту;
Функция, объявленная с классом памяти extern, видима в пределах всех исходных файлов программы. Любая функция может вызывать функции с классом памяти extern;
Если в объявлении функции отсутствует спецификатор класса памяти, то по умолчанию принимается класс extern.
Все объекты с классом памяти extern компилятор помещает в объектном файле в специальную таблицу внешних ссылок, которая используется редактором связей для разрешения внешних ссылок. Часть внешних ссылок порождается компилятором при обращениях к библиотечным функциям C, поэтому для разрешения этих ссылок редактору связей должны быть доступны соответствующие библиотеки функций.
Рассмотрим пример, состоящий из трех файлов исходного текста программы, образующих проект:
1.cpp
#include "fn.h"
int B()
{
return 10;
}
static int C()
{
return 15;
}
fn.h
int B();
int C();
fn.cpp
#include <stdio.h>
#include "fn.h"
int main()
{
int A=B()+C();
printf("%d\n",A);
return 0;
}
При компиляции проекта появится сообщение об ошибке: неизвестный символ C() в файле *.cpp. Причина такой ошибки в том, что функция C() – статическая и не может быть вызвана из другого модуля проекта.
Подробнее о способах разработки программ на основе проектов будет рассказано далее.
Время жизни и область видимости программных объектов
Время жизни объектов программы определяется по следующим правилам:
Переменная, объявленная глобально, т. е. вне всех блоков, существует на протяжении всего времени выполнения программы;
Локальные переменные, т. е. объявленные внутри блока, а также переменные с классом памяти register или auto, имеют время жизни только на период выполнения того блока, в котором они объявлены. Если переменная объявлена внутри блока с классом памяти static или extern, то она имеет время жизни на период выполнения всей программы;
Видимость переменных и функций в программе определяется следующими правилами:
Переменная, объявленная или определенная глобально, видима от точки объявления или определения до конца исходного файла. Можно сделать переменную видимой и в других исходных файлах, для чего в этих файлах следует ее объявить с классом памяти extern;
Переменная, объявленная или определенная локально, видима от точки объявления или определения до конца текущего блока;
Переменные из объемлющих блоков, включая переменные, объявленные на глобальном уровне, видимы во внутренних блоках. Эту видимость называют вложенной. Если переменная, объявленная внутри блока, имеет то же имя, что и переменная, объявленная в объемлющем блоке, то это разные переменные, и переменная из объемлющего блока во внутреннем блоке будет невидимой;
Функции с классом памяти static видимы только в том файле, в котором они определены. Остальные функции видимы во всей программе;
Метки в функции видимы в пределах данной функции;
Имена формальных параметров, объявленные в списке параметров прототипа функции, видимы только от точки объявления параметра до конца объявления функции.