Warum kann ich auto für einen privaten Typ verwenden?

Question

Ich war irgendwie überrascht, dass der folgende Code kompiliert und ausgeführt (vc2012 & gcc4.7.2)

class Foo { 
    struct Bar { int i; }; 
public: 
    Bar Baz() { return Bar(); } 
}; 

int main() { 
    Foo f; 
    // Foo::Bar b = f.Baz(); // error 
    auto b = f.Baz();   // ok 
    std::cout << b.i; 
} 

Ist es richtig, dass dieser Code kompiliert fein? Und warum ist es richtig? Warum kann ich auto auf einer privaten Art verwenden, während ich seinen Namen nicht (wie erwartet) nicht verwenden kann?

Answer 1

Die Regeln für auto sind zum größten Teil die gleichen wie bei Typ Abzug Vorlage. Das Beispiel geschrieben Werke aus dem gleichen Grunde Sie Objekte von privaten Typen Template-Funktionen weitergeben können:

template <typename T> 
void fun(T t) {} 

int main() { 
    Foo f; 
    fun(f.Baz());   // ok 
} 

Und warum wir Objekte von privaten Typen Template-Funktionen übergeben können, fragen Sie? Weil nur der Name des Typs nicht zugänglich ist. Der Typ selbst ist noch verwendbar, weshalb Sie ihn überhaupt an den Client-Code zurückgeben können.

Answer 2

Zutrittskontrolle wird auf Namen angelegt. Vergleichen dieses Beispiel von der Norm:

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 
} 

Answer 3

zu den anderen (gut) Antworten hinzuzufügen, hier ist ein Beispiel von C++ 98, die zeigt, dass das Problem wirklich nicht mit auto bei allen

zu tun hat

class Foo { 
    struct Bar { int i; }; 
public: 
    Bar Baz() { return Bar(); } 
    void Qaz(Bar) {} 
}; 

int main() { 
    Foo f; 
    f.Qaz(f.Baz()); // Ok 
    // Foo::Bar x = f.Baz(); 
    // f.Qaz(x); 
    // Error: error: ‘struct Foo::Bar’ is private 
} 

Die Verwendung des privaten Typs ist nicht verboten, er benannte nur den Typ. Das Erstellen eines unbenannten temporären dieser Art ist beispielsweise in allen Versionen von C++ in Ordnung.

Answer 4

Diese Frage wurde bereits von sehr gut sowohl Kälte und R. Martinho Fernandes beantwortet.

Ich konnte einfach nicht diese Gelegenheit sich für eine Frage mit einem Harry Potter Analogie zu beantworten:.

class Wizard 
{ 
private: 
    class LordVoldemort 
    { 
     void avada_kedavra() 
     { 
      // scary stuff 
     } 
    }; 
public: 
    using HeWhoMustNotBeNamed = LordVoldemort; 
}; 

int main() 
{ 
    Wizard::HeWhoMustNotBeNamed tom; // OK 
    Wizard::LordVoldemort not_allowed; // Not OK 
    return 0; 
}