c++ - 无法比较两个范围

Question

无法弄清楚为什么下面代码中的 std::ranges::equal 无法编译:

struct A { int x; };

using Map = std::map<int, A>;

void some_func()
{
    std::vector<A> v{ {0}, {1}, {2}, {3} };
    
    auto v2m = [](const A& a) { return std::pair<int, A>(a.x, a); };

    const auto actual = std::ranges::single_view(v[2]) | std::views::transform(v2m);

    Map expected{ {v[2].x, v[2]} };

    //Does not compile.
    bool equals = std::ranges::equal(actual, expected);
}

MSVC 的编译器错误是:

error C2672: 'operator __surrogate_func': no matching overloaded function found
error C7602: 'std::ranges::_Equal_fn::operator ()': the associated constraints are not satisfied

Answer 1

问题 1:A没有可比性，所以你不能用 std::ranges::equal 来比较它使用默认谓词。解决方案:

struct A {
    int x;
    friend auto operator<=>(const A&, const A&) = default;
};

问题 2:您的转换函数产生 std::pair<int, A>这与 map 的元素不匹配 std::pair<const int, A> .解决方案:使用std::pair<const int, A> (或者只是 Map::value_type，这样出错的空间就更少了)。