Вложенные классы

int x,y; // глобальные переменные
class enclose // окружающий класс
{
    // заметьте: закрытые элементы
    int x;
    static int s;
public:
    struct inner // вложенный класс
    {
        void f(int i)
        {
            x = i; // Ошибка: не возможно записать в нестатический
                   // enclose::x без экземпляра             
            int a = sizeof x; // Ошибка до С++11,
                              // OK в С++11: операнд не оценивается
                              // такое использование нестатического
                              // enclose::x допустимо.
            s = i;   // OK: могу присвоить статическому enclose::s
            ::x = i; // OK: могу присвоить глобальному x
            y = i;   // OK: могу присвоить глобальному y
        }
 
        void g(enclose* p, int i)
        {
            p->x = i; // OK: присваивание enclose::x
        }
    };
};

struct enclose
{
    struct inner
    {
        static int x;
        void f(int i);
    };
};
 
int enclose::inner::x = 1;       // определение
void enclose::inner::f(int i) {} // определение

class enclose
{
    class nested1;    // предварительное объявление
    class nested2;    // предварительное объявление
    class nested1 {}; // определение вложенного класса
};
 
class enclose::nested2 { }; // определение вложенного класса

class enclose
{
    struct nested // закрытый элемент
    {
        void g() {}
    };
public:
    static nested f() { return nested{}; }
};
 
int main()
{
    //enclose::nested n1 = enclose::f(); // ошибка: 'nested' является закрытым
 
    enclose::f().g();       // OK: не именует 'nested'
    auto n2 = enclose::f(); // OK: не именует 'nested'
    n2.g();
}