Области действия
Область действия создается следующими конструкциями:
• класс;
• структура;
• объединение;
• блок;
• глобальное пространство имен.
Символические имена, объявленные в области действия, относятся только к данной области. Они не ограничиваются перечислениями и простыми переменными. Структуры, классы и функции также могут определяться в конкретной области действия.
Классы
Класс в C++ - нечто большее, чем простая структура данных. Это аналог модуля из других языков программирования, средство упорядочения символьных имен.
class Foo {
public:
static int y; // Глобальная переменная
static void GFn(); // Глобальная функция
int x; // Переменная класса
Foo(); // Конструктор
void Fn(); // Функция класса
typedef int (*IntFn)(); // Тип
enum Status { kOpen = 0, kClosed }; // Другой тип
struct Bar { // Вложенная структура
int a;
int b;
static void BarFn();
}
private:
void Hn();
};
В этом фрагменте приведены некоторые вариации на тему классов. Переменная у - глобальная переменная, a GFn() - глобальная функция, хотя область действия их имен ограничивается классом Foo. Во всех функциях класса Foo к ним можно обращаться просто по имени, но за его пределами необходимо использовать оператор области действия :::
Foo::Foo()
{
GFn(); // Мы уже находимся в области действия Foo
}
void f()
{
Foo::GFn(); // Необходимо задать область действия
}
Аналогично, определение типа IntFn, перечисление Status и даже вложенную структуру Bar также можно использовать без указания области действия в функциях класса Foo, но в любом другом месте эту область необходимо задать. Для вложенных типов с открытой видимостью синтаксис указания области действия может принять несколько устрашающий вид, как видно из следующего примера для структуры Ваr:
Foo::Bar b;
Foo::Bar::BarFn();
По этой причине вложенные структуры либо делаются тривиальными, либо доступ к ним
ограничивается.
Члены класса х, Foo и Fn(), имеют смысл лишь в контексте конкретного экземпляра (instance) этого класса. Для обращения к ним используются операторы-селекторы членов класса, . и ->. Широкие массы (и, как я выяснил на собственном горьком опыте, даже разработчики компиляторов C++) почти не знают о том, что с помощью селекторов можно вызывать статические функции класса и обращаться к статическим переменным класса. Следующий фрагмент верен, хотя бедные читатели вашей программы придут в такое замешательство, что подобное можно проделывать только в последний день перед увольнением:
Foo f;
f.Gfn(); // То же, что и Foo::GFn();
Структуры
Структура в C++ - почти что полноценный класс. Со структурой можно делать все, что можно делать с классом. Например, структуры могут участвовать в наследовании; в них можно объявлять секции public, private, protected и даже виртуальные функции. Тем не менее, для структур действуют несколько иные правила: по умолчанию все члены считаются открытыми (public), чтобы готовые программы на С не приходилось переписывать заново под каноны C++.
Теория - вещь хорошая, но давайте вернемся на землю. Стоит ли демонстрировать свою «крутизну» и объявлять структуру с множественным наследованием и виртуальными функциями? На практике структуры используются вместо классов лишь при соблюдении следующих условий:
• Структура не содержит виртуальных функций.
• Структура не является производной от чего-либо, кроме разве что другой структуры.
• Структура не является базовой для чего-либо, кроме разве что другой структуры.
Нормальные программисты C++ обычно используют структуры лишь для маленьких удобных наборов данных с тривиальными функциями. В частности, структуры часто используются в ситуациях, когда объект C++ должен быть совместим на битовом уровне с внешней структурой данных (особенно со структурами С). При этом можно запросто объявлять конструкторы и невиртуальные функции (особенно тривиальные встроенные), поскольку для них не создается v-таблица, которая могла бы нарушить битовую совместимость.
Объединения
Объединения C++ почти не отличаются от объединений С. Они позволяют сэкономить несколько байт за счет наложения различных структур данных поверх друг друга. Объединения могут содержать невиртуальные функции, в том числе конструкторы и деструкторы, но при этом они должны подчиняться довольно жестким ограничениям:
• Члены объединения не могут иметь конструкторов (хотя само объединение - может).
• Объединение не может быть производным от чего-либо.
• Ничто не может быть производным от объединения.
• Деструкторы членов не вызываются, хотя деструктор самого объединения, если он есть,
вызывается.
Поскольку объединения не участвуют в иерархии наследования, нет смысла объявлять в них виртуальные функции или защищенные члены. Члены объединений разрешается объявлять закрытыми (private) или открытыми (public). Объединения пригодятся лишь тогда, когда вам действительно нужно сэкономить память, когда вы не собираетесь делать объединение производным или базовым, а также включать в него виртуальные функции или конструкторы. Иначе говоря, пользы от них не так уж много.
Блоки
Все, что стоило бы сказать о блоках, уже известно вам из С или из предыдущего описания стековых объектов. Глобальные пространства имен Глобальные пространства имен C++ настолько сложны, что в моем представлении процесс компиляции глобальных конструкций напоминает магический ритуал с дымом благовоний и пением мантр. Я
постараюсь изложить эти правила как можно проще. Область действия глобальных типов
ограничивается файлом, в котором они объявляются. Глобальные переменные и функции к тому же подчиняются правилам компоновки для нескольких исходных файлов. Рассмотрим следующую ситуацию:
// В файле Foo.cpp
typedef int Symbol;
// В файле Bar.cpp
typedef void (*Symbol)();
Никакого конфликта не возникнет, если только по мазохистским соображениям вы не включите один файл с расширением .срр в другой директивой #include. Символическое имя Symbol известно компилятору лишь в тех исходных файлах, в которых оно встречается, поэтому в разных исходных файлах его можно использовать по-разному. Следующий фрагмент неверен, поскольку на этот раз символическое имя соответствует переменной, а не типу. Имя переменной должно быть уникальным для всех файлов, передаваемых компоновщику.
// В файле Foo.cpp
int Symbol;
// В файле Bar.cpp
void (*Symbol)();
Единственное исключение из этого правила относится к перегрузке функций, о которой будет рассказано в следующем разделе. Конечно, конфликты имен часто возникают в любом достаточно большом проекте, в котором несколько программистов работают над разными исходными файлами.
Одно из возможных решений - использование статических членов; другое - объявление глобальных переменных и функций статическими. Если переменная или функция объявляется статической, она определена лишь в границах исходного файла.
// В файле Foo.cpp
static int Symbol;
// В файле Bar.cpp
static void (*Symbol)();
Увидев ключевое слово static, компилятор проследит за тем, чтобы компоновщик не перепутал две разные версии одного символического имени при условии что исходные файлы не компилируются вместе; будут сгенерированы две разные переменные.
К любому символическому имени, объявленному в глобальном пространстве имен, можно обратиться с помощью оператора :: без указания области действия:
::Fn(); // Вызвать глобальную функцию с заданным именем
int x = ::i; // Присвоить x значение глобальной переменной
::SomeType y; // Использовать глобально объявленный тип
Явно заданная область действия всегда отменяет все символические имена, определенные локально - например, внутри блока или класса.