Có cách nào, sử dụng các mẫu, để ngăn không cho lớp học có thể phát sinh trong C++

Question

Tôi cần ngăn không cho lớp bắt nguồn từ vì vậy tôi tự nghĩ, đây là thứ mà Boost chắc chắn đã làm. Tôi biết họ có một noncopyable, họ phải có một nonderivable ...

Hãy tưởng tượng sự ngạc nhiên của tôi khi tôi không thể tìm thấy nó ....

Đó tôi đã suy nghĩ .. Có phải là một lý do. Có thể không thể sử dụng các mẫu ..

Tôi chắc chắn nếu nó dễ dàng, nó nằm trong thư viện tăng cường.

tôi biết làm thế nào để làm điều đó mà không sử dụng các mẫu, tức là sử dụng một lớp cơ sở với một constructor tin tức

class ThatCantBeDerived; // Forward reference 

class _NonDeriv 
{ 
    _NonDeriv() {} 
    friend class ThatCantBeDerived; 
}; 

class ThatCantBeDerived : virtual public _NonDeriv 
{ 
public: 
    ThatCantBeDerived() : 
     _NonDeriv() 
    { 
    } 
}; 

Hoặc một cái gì đó như thế này ..

Có thể đó là tài liệu tham khảo về phía trước gây ra vấn đề , hoặc có thể không có một cách cầm tay để đạt được nó ..

Dù bằng cách nào, tôi không chắc chắn lý do tại sao nó không phải là trong thúc đẩy ..

Bất kỳ ý tưởng?

Answer 1

Theo spec hiện nay, nó được một cách rõ ràng cấm "người bạn" một cuộc tranh luận mẫu, vì vậy templatizing ví dụ của bạn sẽ làm cho nó không tiêu chuẩn phù hợp. Tăng có lẽ sẽ không muốn thêm một cái gì đó như thế vào thư viện của nó. Tôi tin rằng hạn chế này đang được thư giãn trong Ox tuy nhiên, và có cách giải quyết cho trình biên dịch.

Answer 2

http://www.parashift.com/c++-faq-lite/strange-inheritance.html#faq-23.11

Answer 3

Không có cách nào trong C++ ngăn chặn nguồn gốc - bạn không thể ngăn chặn tình trạng này:

class A {}; 

class B : public A {}; 

Tuy nhiên, có một số cách ngăn ngừa instantiation của đối tượng thuộc loại B. Cho dù đây là giá trị những rắc rối có thể gây tranh cãi. Tôi muốn ghi lại rằng lớp A không nhằm mục đích dẫn xuất, và cho nó một destructor không ảo.

Ngoài ra, lưu ý rằng tên _NonDeriv được đặt trước trong C++ để triển khai, cũng như tất cả các tên bắt đầu bằng dấu gạch dưới và chữ hoa. Bạn không được phép tạo các tên như vậy trong mã của riêng bạn.

Answer 4

lẽ biến ví dụ của bạn thành một mẫu, sử dụng CRTP - mẫu hoa văn một cách tò mò lặp đi lặp lại:

template <typename T> 
_NonDeriv 
{ 
    _NonDeriv() {} 
    friend class T; 
}; 

class ThatCantBeDerived : virtual public _NonDeriv<ThatCantBeDerived> 
{ 
public: 
    ThatCantBeDerived() : 
     _NonDeriv() 
    { 
    } 
}; 

Có thể làm việc ...

Answer 5

Adobe có một giải pháp không hoàn hảo cho việc này sử dụng các mẫu.

Vấn đề là do mẫu không thể khai báo bạn bè phụ thuộc vào đối số [*] nó dựa trên hàm tạo đang được bảo vệ thay vì riêng tư. Nó là một giải pháp một phần trong đó nó sẽ kích hoạt một lỗi trình biên dịch khi ai đó nhầm lẫn quyết định lấy được từ lớp của bạn, nhưng nó không phải là một giải pháp hoàn chỉnh vì ai đó cố tình có thể ép buộc thừa kế.

template <typename SealedClass> 
class seal 
{ 
protected: 
    seal() {} 
}; 

class Sealed : private virtual seal<Sealed> 
{ 
//... 
}; 

class NaiveExtension : public Sealed { // fails 
    NaiveExtension() {} // NaiveExtension cannot call seal<Sealed> constructor 
}; 

class BreakingExtension : public Sealed, private virtual seal<Sealed> { 
    BreakingExtension() : seal<Sealed>(), Sealed() {} // now it can 
}; 

Lợi thế là nó có thể được templated (thư viện adobe thực sự xác định macro sẽ ẩn 'ảo riêng tư' từ trình đọc thông thường). Điểm bất lợi là nó có thể bị hỏng.

Sau đó, một lần nữa, bạn luôn có thể làm những gì C++ Hỏi đáp gợi ý cho một số câu hỏi về chặn một số chức năng:

'how can I inhibit people from...': write a comment not to do it

'but how do I really inhibit others from...': write a comment: You will be fired if...

'but how do I actually block it in case they don't follow the comment?': fire them

[*] Hạn chế này sẽ được lấy đi với tiêu chuẩn sắp tới, bất cứ khi nào có sẵn, bất cứ khi nào thực hiện trong trình biên dịch ...

Answer 6

dễ dàng:

làm cho tất cả các nhà thầu tư nhân:
Sau đó nobdy thể derivce từ bạn. Tất nhiên điều này cho biết thêm vấn đề Othe như bạn không thể instanciate một biến của đối tượng, nhưng có cách giải quyết cho rằng việc sử dụng các phương pháp thành viên public static và bạn bè:

#include <memory> 
class InstnaceCantDeriveFromMe; 
class CantDeriveFromMe 
{ 
    private: 
     friend class InstnaceCantDeriveFromMe; 
     CantDeriveFromMe() 
     {} 

    public: 
     static std::auto_ptr<CantDeriveFromMe> getDynamicObj() 
     { 
      return std::auto_ptr<CantDeriveFromMe>(new CantDeriveFromMe()); 
     } 
}; 

class Plop: public CantDeriveFromMe 
{ 
}; 

class InstnaceCantDeriveFromMe 
{ 
    private: 
     CantDeriveFromMe instnace; 
    public: 
     CantDeriveFromMe& get() {return instnace;} 
}; 

int main() 
{ 
    std::auto_ptr<CantDeriveFromMe> a =  CantDeriveFromMe::getDynamicObj(); 
    InstnaceCantDeriveFromMe   b; 


    // This fails to compile: 
    Plop        c; 
}