CRTP kullanırken hatalar nasıl önlenir? <a href="http://en.wikipedia.org/wiki/Curiously_recurring_template_pattern">CRTP</a> kullanma

Question

bazen böyle bir kod yazmak:

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

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

Ve ayıklayıcısında kod iz ve Bar'ın üyeleri Base kullanılan olmadığını görene kadar, yanlış giderse anlamak çok zordur.

Bu hatayı derleme zamanında nasıl gösteririz?

(ı MSVC2010 kullanmak, bu yüzden biraz C++ 0x özellikleri ve MSVC dil uzantıları kullanabilirsiniz)

Answer 1

C++ 0x'de basit bir çözümünüz var. Ancak MSVC10'da uygulanıp uygulanmadığını bilmiyorum.

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

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

Answer 2

türetilmesi türünü bilmenin bir yolu yoktur. Base<Foo>'dan türetilen Foo'u uygulayabilirsiniz, ancak başka sınıfların da bundan kaynaklanmadığını söyleyemezsiniz.

Answer 3

Ben makro

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

kullanabilirsiniz ama daha iyi bir çözüm varsa makroları kullanmak istemiyoruz. değil türetilmiş sınıfın adını içeren do

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 4

Böyle bir şey kullanabilirsiniz.

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

Bu kod Amnon's answer dayalı ancak kod kontrol ediyor, bu yüzden kopyalayıp değişiklik olmadan yapıştırabilirsiniz: