使用std :: enable_if的c ++模板特化

Question

我有一個簡單的主要功能模板，我想部分專門化。

template< typename T >
void SetAttribute( const T& value )
{
  static_assert( false, "SetAttribute: wrong type!" );
}

template<> void SetAttribute( const bool& value ) {}

template<> void SetAttribute( const std::wstring& value ) {}

template< typename T >
void SetAttribute( const typename std::enable_if< std::is_integral< T >::value >::type& value ) {}

int main()
{
  SetAttribute( std::wstring( L"bla" ) );
  SetAttribute( bool( true ) );
  SetAttribute( std::uint32_t( 1 ) ); // error C2338: SetAttribute: wrong type!

  return 0;
}

當我使用VS 2015 Update 3編譯它時，我將在3d調用上收到錯誤（請參閱注釋）。 為什么？ 我不明白為什么不使用3d專業化。

謝謝Fred

Answer 1

問題是你在非演繹的上下文中使用T

template< typename T >
void SetAttribute( const typename std::enable_if< std::is_integral< T >::value >::type& value ) {}
                                                                    ^

函數可能是這項工作的錯誤工具（它們不能部分專業化），如果你堅持使用函數，可能的解決方法可能是標簽調度和特化的組合

template<class T>
void SetAttribute(const T&, std::true_type) {}

template<class T>
void SetAttribute(const T& value, std::false_type)
{
  static_assert(std::is_integral<T>::value, "SetAttribute: wrong type!");
}

template< typename T >
void SetAttribute(const T& value)
{
  SetAttribute(value, std::is_integral<T>());
}

template<> void SetAttribute(const bool&) {}

template<> void SetAttribute(const std::wstring&) {}

例

如果你問我，那是不可讀的..