c++ - enable_if 检查迭代器的值类型是否是一对

Question

我想为值类型为一对的迭代器编写一个专门的模板函数。我的期望是这应该匹配 std::map 的迭代器。

为了检测对:

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

template <typename T, typename U>
struct is_pair<std::pair<T, U>> : std::true_type
{ };

// also tried this, but it didn't help
template <typename T, typename U>
struct is_pair<std::pair<const T, U>> : std::true_type
{ };

然后我在函数声明中使用 enable_if:

template<class ITR>
decltype(auto) do_stuff(
        std::enable_if<is_pair<typename ITR::value_type>::value, ITR> itr) {
    //access of itr->second ok.
}

但是，当我将此函数与映射迭代器一起使用时，我从 clang (Xcode 8.3) 收到以下错误消息:

Candidate template ignored: could not match 'enable_if' against '__map_iterator'

如果不匹配，没有进一步解释为什么启用。

检查 __map_iterator 的类型时，它看起来应该匹配 is_pair 检查。

Answer 1

最好将 std::enable_if 移动到另一个默认模板参数，如下所示:

template<class ITR, typename = typename std::enable_if<is_pair<typename ITR::value_type>::value, ITR>::type>
decltype(auto) do_stuff(ITR && itr) {
    //access of itr->second ok.
}

这不会阻止参数推导，因为 ITR && itr 现在是通用引用。

完整示例:

#include <type_traits>
#include <utility>
#include <map>

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

template <typename T, typename U>
struct is_pair<std::pair<T, U>> : std::true_type
{ };


template<class ITR, typename = typename std::enable_if<is_pair<typename ITR::value_type>::value, ITR>::type>
decltype(auto) do_stuff(ITR && itr) {
    //access of itr->second ok.
}

int main()
{
    std::map<int, int> foo{
        { 1, 2 },
        { 3, 4 },
    };

    do_stuff(foo.begin());
    return 0;
}

---

Live on gcc.godbolt.org