Tại sao tôi có thể sử dụng tự động trên một loại riêng tư?

Tôi đã ngạc nhiên khi mã sau đây biên dịch và chạy (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;
}

Có đúng là mã này biên dịch tốt? Và tại sao nó đúng? Tại sao tôi có thể sử dụng autotrên một loại riêng tư, trong khi tôi không thể sử dụng tên của nó (như mong đợi)?

Các quy tắc cho auto, đối với hầu hết các phần, giống như đối với khấu trừ loại mẫu. Ví dụ được đăng hoạt động với cùng lý do bạn có thể chuyển các đối tượng thuộc loại riêng tư cho các hàm mẫu:

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

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

Và tại sao chúng ta có thể chuyển các đối tượng của các kiểu riêng tư cho các hàm mẫu, bạn yêu cầu? Bởi vì chỉ có tên của loại là không thể truy cập. Bản thân loại này vẫn có thể sử dụng được, đó là lý do tại sao bạn có thể trả nó về mã máy khách.

Kiểm soát truy cập được áp dụng cho tên . So sánh với ví dụ này từ tiêu chuẩn:

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
}

Câu hỏi này đã được trả lời rất tốt bởi cả chill và R. Martinho Fernandes.

Tôi chỉ không thể bỏ qua cơ hội để trả lời một câu hỏi với sự tương tự Harry Potter:

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

    friend class Harry;
};

class Harry : Wizard
{
public:
    Wizard::LordVoldemort;
};

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

https://ideone.com/I5q7gw

Cảm ơn Quentin đã nhắc nhở tôi về kẽ hở của Harry.

Để thêm vào các câu trả lời (tốt) khác, đây là một ví dụ từ C ++ 98 minh họa rằng vấn đề thực sự không phải làm gì autocả

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
}

Sử dụng loại riêng không bị cấm, nó chỉ đặt tên loại. Chẳng hạn, việc tạo một loại tạm thời chưa được đặt tên của loại đó là ổn, trong tất cả các phiên bản của C ++.