c++ - 一组类型的模板特化

Question

如何为一组数据类型专门化模板？例如:

template<typename T>
inline T getRatio(T numer, T denom){
    return (numer/denom);
}

我想专门针对一组数据类型，因此它只适用于 int、long、double 和 float 。因此，如果用户尝试将此函数与 char 类型一起使用，编译器将抛出错误。

Answer 1

这取决于你想做什么。如果您希望编译器无法为函数调用找到合适的解决方案，您可以使用 Flinsch 的答案，这可能是最好的，或者您可以使用 SFINAE:

template < typename T > is_an_ok_type : boost::mpl::false_ {};
template < > is_an_ok_type<int> : boost::mpl::true_ {};
... etc...

template < typename T >
typename boost::enable_if< is_an_ok_type<T>,T >::type
get_ratio(T t1, T t2)
{
  return t1/t2;
}

如果你想要某种合理可读的错误，而不是使用静态断言； static_assert (C++0x) 或 BOOST_STATIC_ASSERT。