Question

在下面的程序中，两个函数调用都打印“非整数过载”，即使我有一个enable_if语句，只将函数限制为整数容器类型。那是为什么？

#include <iostream>
#include <vector>
#include <type_traits>

template<bool B, typename V = void>
using enable_if = typename std::enable_if<B, V>::type;

template<typename ForwardIt>
auto f(ForwardIt first, ForwardIt)
    -> enable_if<std::is_integral<decltype(*first)>{}>
{
    std::cout << "Integral container type" << std::endl;
}

template<typename ForwardIt>
void f(ForwardIt, ForwardIt)
{
    std::cout << "Non-integral container type" << std::endl;
}

int main()
{
    struct X { };

    std::vector<int> iv;
    std::vector<X>   xv;

    f(iv.begin(), iv.end()); // "Non-integral container type"
    f(xv.begin(), xv.end()); // "Non-integral container type"
}

我甚至尝试在第二次重载时使用enable_if<!std::is_integral<...>>，但无济于事。

Answer 1

另一个答案已经解释了这个问题，但我认为有一个更好的解决方案。

如果要提取迭代器类型指向的类型，则应使用iterator_traits。在您的代码中，将第一个重载更改为：

template<typename ForwardIt>
auto f(ForwardIt first, ForwardIt)
    -> enable_if<std::is_integral<typename std::iterator_traits<ForwardIt>::value_type>{}>
{
    std::cout << "Integral container type" << std::endl;
}

并在第二个上使用相同的!。这更具描述性，因为代码非常清楚它的作用。

Live example

Answer 2

对于迭代器类型foo，decltype(*foo)将为foo::value_type&。参考类型绝对不是一个整体。在使用std::is_integral特征评估类型之前，您需要删除引用（以及可能的cv资格，IIRC），这可以通过std::decay转换类型特征轻松完成：

template<bool B, typename V = void>
using enable_if = typename std::enable_if<B, V>::type;

template<typename T>
using decay = typename std::decay<T>::type;

template<typename ForwardIt>
auto f(ForwardIt first, ForwardIt)
    -> enable_if<std::is_integral<decay<decltype(*first)>>{}>
{
    std::cout << "Integral container type" << std::endl;
}

这将导致您的其他重载模糊，因为两者现在都匹配。您需要按照OP中的建议约束第二个重载。

为什么不重载分辨率选择第一个函数？

2 个答案: