delegar en partes privadas

Question

A veces, la noción de privacidad C++ 's me acaba de deflectores :-)

class Foo 
{ 
    struct Bar; 
    Bar* p; 

public: 

    Bar* operator->() const 
    { 
     return p; 
    } 
}; 

struct Foo::Bar 
{ 
    void baz() 
    { 
     std::cout << "inside baz\n"; 
    } 
}; 

int main() 
{ 
    Foo::Bar b; // error: 'struct Foo::Bar' is private within this context 

    Foo f; 
    f->baz();  // fine 
} 

Desde Foo::Bar es private, no puedo declarar b en main. Sin embargo, puedo llamar a los métodos desde Foo::Bar bien. ¿Por qué demonios esto está permitido? ¿Fue eso un accidente o por diseño?

---

Oh, espera, se pone mejor:

Foo f; 
auto x = f.operator->(); // :-) 
x->baz(); 

A pesar de que no se me permite nombrar el tipo Foo::Bar, funciona muy bien con auto ...

---

Noah escribió:

tipo Los nombres definidos dentro de una definición de clase no se pueden usar fuera de su clase sin calificación.

Sólo por diversión, aquí es cómo se puede conseguir en el tipo de fuera:

#include <type_traits> 

const Foo some_foo(); 

typedef typename std::remove_pointer<decltype(some_foo().operator->())>::type Foo_Bar; 

Answer 1

Tratando de encontrar nada en la norma que explicarla en detalle, pero no puedo. Lo único que puedo encontrar es 9.9:

Los nombres de tipo obedecen exactamente las mismas reglas de alcance que otros nombres. En particular, los nombres de tipos definidos dentro de una definición de clase no se pueden usar fuera de su clase sin calificación.

Esencialmente, el nombre de Foo :: Bar es privado para Foo, no es la definición. Por lo tanto, puede utilizar Bars fuera de Foo, simplemente no puede hacer referencia a ellos por tipo ya que ese nombre es privado.

Las reglas de búsqueda de nombre para los miembros también parecen tener algún efecto sobre esto. No veo nada que específicamente haga referencia a "clase anidada" y, por lo tanto, no se les permitiría (si la falta de información es porque no está allí).

Answer 2

No puedo proporcionar una respuesta completa, pero tal vez sea un punto de partida. La especificación C++ 1998 incluye el siguiente ejemplo de código bajo párrafo 11.3 [class.access] (p 175).:

class A 
{ 
    class B { }; 
public: 
    typedef B BB; 
}; 

void f() 
{ 
    A::BB x; // OK, typedef name A::BB is public 
    A::B y; // access error, A::B is private 
} 

En este ejemplo, un tipo privado está "publicado" a través de un público typedef. Aunque no es lo mismo que publicar un tipo a través de una firma de función de miembro, es similar.

Answer 3

Creo que esto es por diseño. No puede crear explícitamente una instancia de Foo::Bar pero podría devolverse desde las funciones miembro y luego podría pasarla a otras funciones miembro. Esto le permite ocultar los detalles de implementación de su clase.