Clases anidadas

int x,y; // globales
 
class envolvente // clase envolvente
{ 
    // nota: miembros privados
    int x; 
    static int s;
 public:
    struct anidada // clase anidada
    {
        void f(int i) 
        {
            x = i; // ERROR: no se puede escribir en envolvente::x no estática sin una instancia
            int a = sizeof x; // ERROR hasta C++11,
                              // de acuerdo en C++11: operando de sizeof no está evaluado,
                              // este uso de envolvente::x no estática se permite.
            s = i;   // de acuerdo: se puede asignar a envolvente::s estática
            ::x = i; // de acuerdo: se puede asignar a x global
            y = i;   // de acuerdo: se puede asignar a y global
        }
        void g(envolvente* p, int i) 
        {
            p->x = i; // de acuerdo: asignar a envolvente::x
        }
    };
};

struct envolvente 
{
    struct anidada 
    {
        static int x;
        void f(int i);
    };
};
 
int envolvente::anidada::x = 1; // definición
void envolvente::anidada::f(int i) {} // definición

class envolvente 
{
    class anidada1; // declaración adelantada
    class anidada2; // declaración adelantada
    class anidada1 {}; // definición de clase anidada
};
 
class envolvente::anidada2 { }; // definición de clase anidada

class envolvente 
{
    struct anidada // miembro privado
    { 
        void g() {}
    };
 public:
    static anidada f() { return anidada{}; }
};
 
int main()
{
    // envolvente::anidada n1 = envolvente::f(); // ERROR: 'anidada' es privada
 
    envolvente::f().g(); // de acuerdo: no nombra a 'anidada'
    auto n2 = envolvente::f(); // de acuerdo: no nombra a 'anidada'
    n2.g();
}