Dlaczego mogę używać auto na prywatnym?

Question

Byłem zaskoczony, że w jakiś sposób następujący kod kompiluje i działa (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; 
} 

Czy to prawda, że ​​ten kod kompiluje grzywny? I dlaczego jest poprawny? Dlaczego mogę używać auto na prywatnym typie, podczas gdy ja nie mogę używać jego nazwy (zgodnie z oczekiwaniami)?

Answer 1

Reguły dla auto są w większości takie same, jak w przypadku odjęcia typu szablonu. Przykładowe prace wysłane z tego samego powodu można przekazać obiekty do prywatnych typów funkcji szablonu:

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

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

I czemu możemy przekazać obiektów prywatnych typów do funkcji szablonu, pytasz? Ponieważ tylko nazwa typu jest niedostępna. Sam typ jest nadal użyteczny, dlatego można go w ogóle zwrócić do kodu klienta.

Answer 2

Kontrola dostępu jest stosowana do nazw. Porównaj z tego przykładu z 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

Aby dodać do innych (dobrze) odpowiedzi, oto przykład z C++ 98, która pokazuje, że problem naprawdę nie mają do czynienia z auto wcale

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 
} 

Używanie prywatnego typu nie jest zabronione, było tylko nazywanie tego typu. Tworzenie nienazwanego tymczasowego tego typu jest w porządku, na przykład we wszystkich wersjach C++.

Answer 4

Na to pytanie odpowiedział już bardzo dobrze zarówno Chill, jak i R. Martinho Fernandes.

nie mogłem przepuścić tej okazji do odpowiedzi na pytanie o Harrym Potterze analogii.

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; 
}