Force Явный шаблон конкретизации с CRTP

Question

Я пытаюсь использовать CRTPed базу для проведения какой-то статический код инициализации, как это:

template <typename T> 
class InitCRTP 
{ 
public: 
static InitHelper<T> init; 
}; 

template <typename T> InitHelper<T> InitCRTP<T>::init; 

Теперь, любой класс, который должен сделать работу в InitHelper<T> может сделать это:

class WantInit : public InitCRTP<WantInit> 
{ 
    public: 
    void dummy(){init;}//To force instantiation of init 
}; 
template class InitCRTP<WantInit>;//Forcing instantiation of init through explicit instantiation of `InitCRTP<WantInit>`. 

Чтобы заставить экземпляр InitCRTP<WantInit>::init, можно либо использовать dummy или использовать явное создание экземпляра, как показано выше. Есть ли способ обойти это, не делая ни того, ни другого? Я хотел бы, чтобы пользователи этого шаблона могли просто наследовать от InitCRTP<WantInit> и не беспокоиться ни о чем другом. Если это помогает, использование C++11 не является проблемой.

Answer 1

Вы можете передать переменную в качестве опорного аргумента шаблона. Тогда объект нужен, который вызывает инстанцирование

template <typename T, T /*unnamed*/> 
struct NonTypeParameter { }; 

template <typename T> 
class InitCRTP 
{ 
public: 
    static InitHelper init; 
    typedef NonTypeParameter<InitHelper&, init> object_user_dummy; 
};