R.9.7 Вложенные описания классов.

• R.9 Классы
  • R.9.7 Вложенные описания классов

Класс можно описать в описании другого класса. Такой класс называют вложенным. Имя вложенного класса локально по отношению к объемлющему классу. Вложенный класс находится в области видимости объемлющего класса. Если не считать явного использования указателей, ссылок или имен объектов, то в описаниях вложенного класса допустимы только имена типов, статических членов и элементов перечисления из объемлющего класса.

           int x;
           int y;

           class enclose {
           public:
            int x;
            static int s;

            class inner {

               void f(int i)
               {
                 x = i;   // ошибка: присваивание enclose::x
                 s = i;   // нормально: присваивание enclose ::s
                 ::x = i; // нормально: присваивание глобальному x
                 y = i;   // нормально: присваивание глобальному y
               }

               void g(enclose* p, int i)
               {
                 p->x = i; // нормально: присваивание enclose ::x
               }

             };
           };
           inner* p = 0;   // ошибка: `inner' вне области видимости

Функции-члены вложенного класса не имеют особых прав доступа к членам объемлющего класса, они подчиняются обычным правилам доступа ($$R.11). Аналогично, функции-члены объемлющего класса не имеют особых прав доступа к членам вложенного класса и подчиняются обычным правилам доступа, например:

           class E {
              int x;
              class I {
                 int y;
                 void f(E* p, int i)
                 {
                   p->x = i;  // ошибка: E::x частный член
                 }
              };

               int g(I* p)
               {
                 return p->y;  // ошибка: I::y частный член
               }
           };

Функции-члены и представляющие данные, статические члены из вложенного класса можно определить в глобальной области видимости, например:

           class enclose {
             class inner {
                static int x;
                void f(int i);
             };
           };

           typedef enclose::inner ei;
           int ei::x = 1;

           void enclose::inner::f(int i) { /* ... */ }

Подобно функции-члену дружественная функция, определенная в данном классе, находится в области видимости этого класса. Она подчиняется тем же правилам связывания имен, что и функции-члены (они указаны выше и в $$R.10.4), и не имеет так же как они особых прав доступа к членам объемлющего класса и к локальным переменным функций этого класса ($$R.11).