Как избежать ошибок при использовании CRTP? - PullRequest
Новая
       4

Как избежать ошибок при использовании CRTP?

15 голосов
/ 11 декабря 2010

Используя CRTP иногда я пишу код, подобный этому: 

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

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

И очень трудно понять, что идет не так, пока я не отслеживаю код в отладчике и не вижу, что члены Bar не работают.не используется в Base.

Как выявить эту ошибку во время компиляции?

(я использую MSVC2010, поэтому я могу использовать некоторые функции C ++ 0x и расширения языка MSVC)

Ответы [ 5 ]

13 голосов
/ 30 августа 2011

В C ++ 0x у вас есть простое решение. Однако я не знаю, реализовано ли это в MSVC10. 

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

// Doesn't compile (base class destructor is private)
struct foo : base<bar> { ... };
10 голосов
/ 11 декабря 2010

Вы можете использовать что-то вроде этого: 

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) { }
};
2 голосов
/ 12 декабря 2010 
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
};

Этот код основан на ответ Амнона , но проверка кода не содержит имени производного класса, поэтому я могу скопировать и вставить его без изменений.

0 голосов
/ 11 декабря 2010

Я могу использовать макрос 

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

но я не хочу использовать макросы, если существует лучшее решение.

0 голосов
/ 11 декабря 2010

Нет способа узнать производный тип.Вы можете принудительно установить, что Foo получено из Base<Foo>, но вы не можете принудительно установить, что никакие другие классы также не являются производными от этого.

...