Частичная специализация для default_delete

Question

Я бы хотел специализировать default_delete < _Ty> для всех объектов, выведенных из MyBaseClass. Это была моя лучшая попытка:

template <typename T> 
struct default_delete<typename enable_if<is_base_of<MyBaseClass, T>::value, T>::true_type> 
{ 
    ... 
}; 

Компилятор, кажется, не в состоянии признать, что мой тип параметра «T» используется, что вполне понятно, учитывая, что она является «вниз по течению» от «TYPENAME» ключевое слово. Это то, что я пытаюсь сделать возможным?

Answer 1

Как указано в комментарии 0x499602D2, это невозможно без специального параметра шаблона. вы можете использовать свой собственный деактивировать следующим образом:

template <typename T, typename Enable = void> 
struct my_default_delete : public std::default_delete<T> {}; // default to std::default_delete<T> 

template <typename T> 
struct my_default_delete<T, typename std::enable_if<std::is_base_of<MyBaseClass, T>::value>::type> 
{ 
    void operator() (T*) { /* Your specific implementation */ } 
};