Làm thế nào để tránh lỗi trong khi sử dụng CRTP?

Question

Sử dụng CRTP đôi khi tôi viết một mã như thế này:

// this was written first 
struct Foo : Base<Foo, ...> 
{ 
    ... 
}; 

// this was copy-pasted from Foo some days later 
struct Bar : Base<Foo, ...> 
{ 
    ... 
}; 

Và nó rất khó khăn để hiểu những gì sai, cho đến khi tôi theo dõi mã trong trình gỡ lỗi và thấy rằng các thành viên Bar không được sử dụng trong Base.

Làm cách nào để hiển thị lỗi này khi biên dịch?

(tôi sử dụng MSVC2010, vì vậy tôi có thể sử dụng một số C++ 0x tính năng và mở rộng ngôn ngữ MSVC)

Answer 1

Trong C++ 0x bạn có một giải pháp đơn giản. Tôi không biết liệu nó được thực hiện trong MSVC10 tuy nhiên.

template <typename T> 
struct base 
{ 
private: 
    ~base() {} 
    friend T; 
}; 

// Doesn't compile (base class destructor is private) 
struct foo : base<bar> { ... }; 

Answer 2

Không có cách nào để biết loại bắt nguồn. Bạn có thể thực thi rằng Foo bắt nguồn từ Base<Foo>, nhưng bạn không thể thực thi rằng không có lớp nào khác cũng lấy được từ đó.

Answer 3

tôi có thể sử dụng một macro

#define SOMENAMESPACE_BASE(type, arg1, arg2) type : Base<type, arg1, arg2> 

nhưng tôi không muốn sử dụng các macro nếu giải pháp tốt hơn tồn tại.

Answer 4

Bạn có thể sử dụng một cái gì đó như thế này:

template<class T> class Base { 
protected: 
    // derived classes must call this constructor 
    Base(T *self) { } 
}; 

class Foo : public Base<Foo> { 
public: 
    // OK: Foo derives from Base<Foo> 
    Foo() : Base<Foo>(this) { } 
}; 

class Moo : public Base<Foo> { 
public: 
    // error: constructor doesn't accept Moo* 
    Moo() : Base<Foo>(this) { } 
}; 

class Bar : public Base<Foo> { 
public: 
    // error: type 'Base<Bar>' is not a direct base of 'Bar' 
    Bar() : Base<Bar>(this) { } 
}; 

Answer 5

template<typename T, int arg1, int arg2> 
struct Base 
{ 
    typedef T derived_t; 
}; 

struct Foo : Base<Foo, 1, 2> 
{ 
    void check_base() { Base::derived_t(*this); } // OK 
}; 

struct Bar : Base<Foo, 1, 2> 
{ 
    void check_base() { Base::derived_t(*this); } // error 
}; 

Mã này được dựa trên Amnon's answer, nhưng kiểm tra mã không chứa tên của lớp được thừa kế, vì vậy tôi có thể sao chép và dán nó mà không thay đổi.