std::numeric_limits 作为条件

Question

有没有办法可以使用std::numeric_limits<T>::is_integer 和std::numeric_limits<T>::is_specialized 来更改模板行为？

例如我可以这样做吗：

template < typename T >
void foo( const T& bar )
{
    if( std::numeric_limits< T >::is_integer )
    {
        isInt( bar );
    }
    else if( std::numeric_limits< T >::is_specialized )
    {
        isFloat( bar );
    }
    else
    {
        isString( bar );
    }
}

Answer 1

您所拥有的是当前有效的。但是，您应该更喜欢使用 SFINAE 和 <type_traits>，因为它会根据类型分派到不同的函数，而不是依赖于分支条件（可能会也可能不会优化）。

您可以使用std::enable_if 执行以下操作：

template<typename T, 
         typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void foo(const T& t) {
    isInt(t);
}

template<typename T, 
         typename std::enable_if<std::is_floating_point<T>::value, int>::type = 0>
void foo(const T& t) {
    isFloat(t);
}

template<typename T, 
         typename std::enable_if<!std::is_integral<T>::value && 
                                 !std::is_floating_point<T>::value, int>::type = 0>
void foo(const T& t) {
    isString(t);
}

Live Demo

enable_if 的第二个参数设置为int 的原因是为了节省我们的打字时间。如果int 被忽略了，那么我们就必须使用typename = typename std::enable_if<std::is_integral<T>::value>::type 而不是仅仅将其设置为0，这样可以节省我们输入的几个字符。它们在所有意图和目的上都是等效的。

Answer 2

“显而易见”的答案是您可以使用 std::enable_if 之类的东西。

例如：

template<typename T>
typename std::enable_if<std::numeric_limits<T>::is_integer, void>::type
    foo(const T &bar) { isInt(bar); }
template<typename T>
typename std::enable_if<std::numeric_limits<T>::is_specialized, void>::type
    foo(const T &bar) { isFloat(bar); }

这种方法的问题在于，这对于（例如）int 参数来说是模棱两可的，因为numeric_limits<int>::is_specialized == true。

要解决这个问题，我个人会简单地使用比numeric_limits 更好的特征。您还可以使用布尔条件来测试您想要的确切条件：

template<typename T>
typename std::enable_if<std::numeric_limits<T>::is_specialized && !std::numeric_limits<T>::is_integer, void>::type
    foo(const T &bar) { isFloat(bar); }