Weird модель наследования

Question

Предположим, у меня есть базовый класс, как это:

class Abstract { 
    public: 
    /* This type should be the deriver of this class */ 
    virtual DerivedType foo(void) = 0; 
}; 

И я хочу DerivedType быть разными в зависимости от того, кто получает от этого класса. На самом деле я хочу, чтобы DerivedType был типом Derives от Abstract.

Я понимаю, что я мог бы сделать что-то вроде этого:

template<typename der_t> 
class Abstract { 
    public: 
    virtual der_t foo(void) = 0; 
}; 

И тогда он должен быть использован, как это:

class Derived : public virtual Abstract<Derived> { }; 

К сожалению, нет никакого способа, чтобы заставить кого-то передать права введите шаблон. То есть кто-то может сделать это:

class Derived : public virtual Abstract<int> { }; 

Так есть ли лучший способ сделать это, или есть способ заставить кого-то, чтобы пройти в нужном параметре?

Answer 1

Обычный трюк для CRTP является иметь частный конструктор, который только прошел в классе может получить доступ через friend директивы:

template <class Derived> 
struct Crtp { 

private: 
    friend Derived; 

    Crtp() = default; 
}; 

Это не идеально, но защищает от ошибок.

Примечание: static_assert ING не является практичным решением, поскольку в то время Crtp инстанциируется Derived еще не завершен, и не могут быть проверены на наличие базовых классов.