ủy thành các phần riêng

Question

Đôi khi, khái niệm về sự riêng tư của C++ chỉ baffles tôi :-)

class Foo 
{ 
    struct Bar; 
    Bar* p; 

public: 

    Bar* operator->() const 
    { 
     return p; 
    } 
}; 

struct Foo::Bar 
{ 
    void baz() 
    { 
     std::cout << "inside baz\n"; 
    } 
}; 

int main() 
{ 
    Foo::Bar b; // error: 'struct Foo::Bar' is private within this context 

    Foo f; 
    f->baz();  // fine 
} 

Kể từ Foo::Bar là private, tôi không thể tuyên bố b trong main. Tuy nhiên, tôi có thể gọi các phương thức từ Foo::Bar tốt. Tại sao cái này lại được phép? Đó có phải là một tai nạn hay do thiết kế?

---

Oh chờ đợi, nó được tốt hơn:

Foo f; 
auto x = f.operator->(); // :-) 
x->baz(); 

Mặc dù tôi không được phép để đặt tên cho loại Foo::Bar, nó hoạt động tốt với auto ...

---

Noah đã viết:

loại các tên được định nghĩa trong một định nghĩa lớp không thể được sử dụng bên ngoài lớp của chúng mà không có trình độ chuyên môn.

Chỉ cần cho vui, đây là cách bạn có thể có được ở các loại từ bên ngoài:

#include <type_traits> 

const Foo some_foo(); 

typedef typename std::remove_pointer<decltype(some_foo().operator->())>::type Foo_Bar; 

Answer 1

Cố gắng tìm bất cứ điều gì trong tiêu chuẩn đó sẽ đánh vần nó ra một cách chi tiết nhưng tôi không thể. Điều duy nhất tôi có thể tìm thấy là 9.9:

Tên loại tuân thủ chính xác các quy tắc phạm vi giống như các tên khác. Đặc biệt, các tên được định nghĩa trong một định nghĩa lớp không thể được sử dụng bên ngoài lớp của chúng mà không có trình độ chuyên môn.

Về cơ bản, tên của Foo :: Thanh là riêng tư đối với Foo, không phải định nghĩa. Vì vậy, bạn có thể sử dụng Thanh bên ngoài của Foo, bạn chỉ có thể không tham chiếu đến chúng theo loại kể từ khi tên đó là riêng tư.

Quy tắc tra cứu tên cho các thành viên cũng dường như có một số ảnh hưởng đến điều này. Tôi không thấy bất cứ điều gì cụ thể tham khảo "lớp lồng nhau" và do đó họ sẽ không được phép (nếu tôi không tìm thấy bất cứ điều gì trong thực tế là bởi vì nó không có).

Answer 2

Tôi không thể cung cấp câu trả lời đầy đủ, nhưng có thể là điểm bắt đầu. Các đặc điểm kỹ thuật C++ 1998 bao gồm các ví dụ mã sau dưới đoạn 11,3 [class.access] (p 175).:

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 
} 

Trong ví dụ này, một loại tin được "xuất bản" thông qua một công typedef. Mặc dù nó không giống với việc xuất bản một loại thông qua chữ ký hàm thành viên, nó giống nhau.

Answer 3

Tôi nghĩ điều này là do thiết kế. Bạn không thể tạo một cách rõ ràng cá thể của Foo::Bar nhưng nó có thể được trả về từ các hàm thành viên và sau đó bạn có thể chuyển nó cho các hàm thành viên khác. Điều này cho phép bạn ẩn chi tiết triển khai của lớp học.