Russian Belarusian English German Japanese Ukrainian
  • Главная
  • Правила, определяющие область видимости переменных и функций

Область видимости или область действия переменной или функции - это часть программы, в которой на нее можно ссылаться. Например, когда мы объявляем локальную переменную в блоке, на нее можно ссылаться только в этом блоке или в блоке, вложенном в этот блок. Существуют четыре области действия идентификатора - область действия функция, область действия файл, область действия блок и область действия прототип функции.

Идентификатор, объявленный вне любой функции (на внешнем уровне), имеет область действия файл. Такой идентификатор «известен» всем функциям от точки его объявления до конца файла. Глобальные переменные, описания функций и прототипы функций, находящиеся вне функции - все они имеют областью действия файл.

Метки (идентификаторы с последующим двоеточием, например, start:) - единственные идентификаторы, имеющие областью действия функцию. Метки можно использовать всюду в функции, в которой они появились, но на них нельзя ссылаться вне тела функции. Метки используются в структурах switch (как метки case) и в операторах goto. Метки относятся к тем деталям реализации, которые функции «прячут» друг от друга. Это скрытие - один ил наиболее фундаментальных принципов разработки хорошего программного обеспечения.

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

Локальные переменные, объявленные в начале функции, имеют областью действия блок так же, как и параметры функции, являющиеся локальными переменными.

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

Из внутреннего блока можно получить доступ к одноименной глобальной переменной с помощью унарной операции разрешения области действия "::". Например, выражение ::I означает глобальную переменную I, даже если в данном блоке объявлена локальная переменная I.

Единственными идентификаторами с областью действия прототип функции являются те, которые используются в списке параметров прототипа функции. Прототипы функций не требуют имен в списке параметров - требуются только типы. Если в списке параметров прототипа функции используется имя, компилятор это имя игнорирует. Идентификаторы, используемые в прототипе функции, можно повторно использовать где угодно в программе, не опасаясь двусмысленности.

При необходимости обеспечить видимость переменных, объявленных в одном модуле, из других модулей, в эти модули должны быть добавлены объявления соответствующих переменных (без их инициализации) со спецификацией extern. Для видимости из других модулей функций, объявленных в каком-то модуле, надо повторить в соответствующих модулях объявления этих функций. Это не относится к функциям, объявленным со спецификацией static. Такие функции невидимы в других модулях.

Если в модуле, описывающем функцию, ее объявление записано в заголовочном файле, то в другом модуле можно получить к ней доступ так, как описано выше, а можно и проще - включить директивой #include этот заголовочный файл.

Если заметили ошибку, выделите фрагмент текста и нажмите Ctrl+Enter

Добавить комментарий


Поиск по сайту