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

Question

tôi đã bằng cách nào đó ngạc nhiên rằng đoạn mã sau 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ó lại đúng? Tại sao tôi có thể sử dụng auto trê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)?

Answer 1

Các quy tắc cho auto, đối với hầu hết các phần, giống như đối với loại khấu trừ mẫu. Ví dụ được đăng hoạt động cho cùng một lý do bạn có thể chuyển đối tượng của các loại riêng tư cho các chức năng 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 đối tượng của các loại riêng sang chức năng mẫu? Bởi vì chỉ có tên của loại là không thể tiếp cận. 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ả lại nó cho mã máy khách.

Answer 2

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 
} 

Answer 3

Để 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 với auto ở tất cả

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 tư không bị cấm, nó chỉ đặt tên loại. Việc tạo một tạm thời chưa được đặt tên của kiểu đó là không sao, ví dụ, trong tất cả các phiên bản của C++.

Answer 4

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

Tôi chỉ không thể bỏ qua cơ hội này để trả lời một câu hỏi với một loại suy Harry Potter:.

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