비공개 형식으로 자동을 사용할 수있는 이유는 무엇입니까?

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. Martinho Fernandes에 의해 매우 잘 답변되었습니다.

나는 그냥 해리 포터 비유와 질문에 대답이 기회를 놓칠 수있다 :.

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