プライベートタイプでautoを使用できるのはなぜですか？

Question

は、私は、次のコードはコンパイルして実行（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; 
} 

それは、このコードがうまくコンパイルされることを正しいことを何とか驚きましたか？なぜそれが正しいのですか？プライベートタイプでautoを使用するのはなぜですか（名前は使用できません）。

Answer 1

autoのルールは、ほとんどの場合、テンプレートタイプの控除のルールと同じです。例では、テンプレート関数にプライベートなタイプのオブジェクトを渡すことができ、同じ理由で作品を掲載：

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

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

そして、なぜ私たちは、あなたが聞いて、テンプレート関数にプライベートなタイプのオブジェクトを渡すことができますか？タイプの名前にのみアクセスできないためです。型自体は引き続き使用できます。なぜそれをクライアントコードにまったく返すことができるのでしょうか。

Answer 2

にアクセス制御が適用されます。標準からこの例と比較：

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

は、他の（良い）の回答に追加するには、ここでの問題は、本当にすべての

で autoとしなければならないことを示してC++ 98からの例です

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 
} 

プライベートタイプを使用することは禁止されていませんが、そのタイプに名前を付けるだけでした。たとえば、すべてのバージョンのC++で、そのタイプの名前のないテンポラリを作成するのは問題ありません。

Answer 4

この質問は、チルとR・マルティニョ・フェルナンデスの両方から非常によく答えられています。

私はハリーポッターのアナロジーで質問に答えるために、この機会を渡すことができませんでした：

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