Weird lỗi biên dịch và mẫu thừa kế

Question

Có thể ai đó giải thích cho tôi tại sao mã này:

class safe_bool_base 
{ //13 
    protected: 

     typedef void (safe_bool_base::*bool_type)() const; 

     void this_type_does_not_support_comparisons() const {} //18 

     safe_bool_base() {} 
     safe_bool_base(const safe_bool_base&) {} 
     safe_bool_base& operator=(const safe_bool_base&) { return *this; } 
     ~safe_bool_base() {} 
}; 

template <typename T=void> class safe_bool : public safe_bool_base 
{ 
    public: 

     operator bool_type() const 
     { 
      return (static_cast<const T*>(this))->boolean_test() ? &safe_bool_base::this_type_does_not_support_comparisons : 0; 
     } 

    protected: 

     ~safe_bool() {} 
}; 

template <> class safe_bool<void> : public safe_bool_base 
{ 
    public: 

     operator bool_type() const 
     { 
      return (boolean_test() == true) ? &safe_bool_base::this_type_does_not_support_comparisons : 0; //46 
     } 

    protected: 

     virtual bool boolean_test() const = 0; 
     virtual ~safe_bool() {} 
}; 

Tạo lỗi biên dịch sau đây?

c:\project\include\safe_bool.hpp(46) : error C2248: 'safe_bool_base::this_type_does_not_support_comparisons' : cannot access protected member declared in class 'safe_bool_base' 
c:\project\include\safe_bool.hpp(18) : see declaration of 'safe_bool_base::this_type_does_not_support_comparisons' 
c:\project\include\safe_bool.hpp(13) : see declaration of 'safe_bool_base' 

Kể từ khi cả hai safe_bool mẫu lấy từ safe_bool_base, tôi không hiểu tại sao người ta không thể truy cập vào một thành viên bảo vệ của lớp cơ sở.

Tôi có thiếu gì đó không?

Answer 1

này nên có lẽ giúp (tái sản xuất trong một mẫu tình hình không còn)

struct A{ 
protected: 
    void f(){} 
}; 

struct B : A{ 
    void g(){&A::f;}  // error, due to Standard rule quoted below 
}; 

int main(){ 
} 

VS gives "'A::f' : cannot access protected member declared in class 'A'"

Đối với cùng một mã, Comeau cho

"ComeauTest.c", line 7: error: protected function "A::f" (declared at line 3) is not accessible through a "A" pointer or object void g(){&A::f;} ^

"ComeauTest.c", line 7: warning: expression has no effect void g(){&A::f;}

Dưới đây là mã cố định đạt được ý định mong muốn

struct A{ 
protected: 
    void f(){} 
}; 

struct B : A{ 
    void g(){&B::f;}  // works now 
}; 

int main(){ 
} 

Vì vậy, tại sao đoạn mã đầu tiên không hoạt động?

Điều này là do các quy tắc sau đây trong thư mục C++ Standard03

11.5/1- "When a friend or a member function of a derived class references a protected nonstatic member function or protected nonstatic data member of a base class, an access check applies in addition to those described earlier in clause 11.102) Except when forming a pointer to member (5.3.1), the access must be through a pointer to, reference to, or object of the derived class itself (or any class derived from that class) (5.2.5). If the access is to form a pointer to member, the nested-name-specifier shall name the derived class (or any class derived from that class).

Vì vậy, thay đổi sự trở lại trong các chức năng điều hành như sau

return (boolean_test() == true) ? &safe_bool<void>::this_type_does_not_support_comparisons : 0; //46 

return (static_cast<const T*>(this))->boolean_test() ? &typename safe_bool<T>::this_type_does_not_support_comparisons : 0; 

EDIT 2: Xin vui lòng bỏ qua lời giải thích của tôi. David nói đúng. Đây là những gì nó sôi xuống.

struct A{ 
protected: 
    int x; 
}; 

struct B : A{ 
    void f(); 
}; 

struct C : B{}; 

struct D: A{   // not from 'C' 
}; 

void B::f(){ 
    x = 2;   // it's own 'A' subobjects 'x'. Well-formed 

    B b; 
    b.x = 2;  // access through B, well-formed 

    C c; 
    c.x = 2;  // access in 'B' using 'C' which is derived from 'B', well-formed. 

    D d; 
    d.x = 2;  // ill-formed. 'B' and 'D' unrelated even though 'A' is a common base 
} 

int main(){} 

Answer 2

Tôi không nghĩ rằng đây là bất cứ điều gì liên quan đến mẫu. mã ví dụ bạn có thể được giảm xuống này, và nó vẫn cung cấp cho các lỗi tương đương:

class A 
{ 
    protected: 
     typedef void (A::*type)() const; 
     void foo() const {} 
}; 


class B : public A 
{ 
    public: 
     operator type() const 
     { 
      return &A::foo; 
     } 
}; 

Tôi tin rằng vấn đề là bạn không thể trở về con trỏ thành viên-chức năng để bảo vệ các thành viên trong giao diện công cộng. (Edit: không đúng sự thật ...)

Answer 3

Câu trả lời của Chubsdad làm rõ câu hỏi của bạn tại sao có lỗi cho chuyên môn mẫu.

Bây giờ C++ sau quy tắc tiêu chuẩn

14.7.2/11 Việc tiếp cận thông thường kiểm tra quy tắc không áp dụng cho tên được sử dụng để xác định rõ ràng
instantiations. [Lưu ý: Cụ thể, các đối số mẫu và tên được sử dụng trong hàm
người khai báo (bao gồm loại thông số, loại trả về và thông số ngoại lệ) có thể là
các loại hoặc đối tượng riêng thường không thể truy cập được và mẫu có thể là
mẫu thành viên hoặc chức năng thành viên thường không thể truy cập được.- endnote]

sẽ giải thích lý do tại sao bản mẫu chung sẽ không gây ra lỗi. Nó sẽ không ném ngay cả khi bạn có thông số truy cập riêng tư.