Как заставить клиента вызывать явно специализированный шаблон вместо основного шаблона?

Question

Это псевдокод для того, что я хочу сделать.

template<typename T> 
struct ConvertToT 
{ 
    static_assert(false, "Explicit specialization for T required."); 

    // Variant will be coerced to this type before calling Convert. 
    std::uint32_t GetVariantType() 
    { 
     return VT_EMPTY; 
    } 
    T Convert(CComVariant& input) 
    { 
     return "ERROR!"; 
    } 
}; 

template<> 
struct ConvertToT<std::wstring> 
{ 
    std::uint32_t GetVariantType() 
    { 
     return VT_BSTR; 
    } 
    T Convert(CComVariant& input) 
    { 
     return std::wstring(input.bstrVal, ::SysStringLen(input.bstrVal)); 
    } 
}; 

/* repeat for several more explicit specializations: 
* template<> 
* struct ConvertToT<...> 
* { 
*  std::uint32_t GetVariantType() 
*  { 
*   return ...; 
*  } 
*  ... Convert(CComVariant& input) 
*  { 
*   return ...; 
*  } 
* }; 
*/ 

Есть ли способ отключить основной шаблон и потребовать использования явной специализации?

Answer 1

Да, просто не определить первичный шаблон:

template <typename> struct ConvertToT; 

template <> struct ConvertToT<int> 
{ 
    // ... 
}; 

// etc. 

Если вы хотите статическое утверждение, вы можете получить компилируемый код, как вы уже догадались, один дополнительный уровень косвенности:

template <typename> struct never_true : std::false_type { }; 

template <typename T> struct Foo 
{ 
    static_assert(never_true<T>::value, "Can't use this."); 
}; 

Это работает как для полных, так и для неполных типов.

(Вы также можете использовать !std::is_same<T, T>::value.)

Answer 2

Самый простой способ, это просто не обеспечивает реализацию. Что-то вроде:

template <typename T> 
struct ConvertToT; 

template<> 
struct ConvertToT<SomeType> 
{ 
    // ... 
}; 

и так далее.

Answer 3

Вы можете оставить свой первоначальный подход, но enhace его с НЧ:

http://www.boost.org/doc/libs/1_36_0/libs/type_traits/doc/html/boost_typetraits/reference/is_class.html

template<typename T> 
struct ConvertToT 
{ 
    BOOST_STATIC_ASSERT_MSG(
    (boost::is_class<std::wstring, T>::value), 
    "T must be of wstring type" 
    ); 

    // Variant will be coerced to this type before calling Convert. 
    std::uint32_t GetVariantType() 
    { 
     return VT_EMPTY; 
    } 
    T Convert(CComVariant& input) 
    { 
    return "ERROR!"; 
    } 
}; 

Или, если вы используете C++ 11 использование зЬй :: is_class.