c++ - `std::set_intersection` 的 lambda 比较器

Question

以下代码抛出编译错误

class A
{
public:
    A(int i):a(i){}
    int a;
};


int main()
{
  std::vector<A> As;
  As.push_back(A(1));
  As.push_back(A(2));
  As.push_back(A(3));
  As.push_back(A(4));
  As.push_back(A(5));

  std::vector<int> Is = {2,4};
  std::vector<int> Bs = {1,2,3,4,5};

  std::vector<A> intersection;

  std::set_intersection
  (
    As.begin(), As.end(),
    Is.begin(), Is.end(),
    std::back_inserter(intersection),
    [](int const& lhs, A const& rhs)
    {
        return lhs < rhs.a;
    }
  );
}

error: no matching function for call to object of type '(lambda at c.cpp:33:4)' if (__comp(*__first1, *__first2))

我未能为此 std::set_intersection 的比较器实现 lambda 函数。我还尝试过重载 operator> , operator<和operator==上课A但它仍然失败。你能帮我一下吗？

Answer 1

这里的问题是，比较函数被双向调用，一次使用 (A,int)，一次使用 (int,A)。我没有检查实现，也许预期这两种类型是相同的。

作为解决方案，您只需提供两个签名即可:

class A
{
    public:
        A(int i):a(i){}
        int a;
};

// Helper to get Lambda with multiple signatures in place 
// template deduction guide is a C++17 feature! 
template<class... Ts> struct funcs : Ts... { using Ts::operator()...; };
template<class... Ts> funcs(Ts...) -> funcs<Ts...>;

// if c++17 is not available, you have to write a functor/function
// with both signatures 

int main()
{
    std::vector<A> As;
    As.push_back(A(1)); 
    As.push_back(A(2));
    As.push_back(A(3));
    As.push_back(A(4));
    As.push_back(A(5));

    std::vector<int> Is = {2,4};
    std::vector<int> Bs = {1,2,3,4,5};

    std::vector<A> intersection;

    std::set_intersection
        (
            As.begin(), As.end(),
            Is.begin(), Is.end(),
            std::back_inserter(intersection),
            funcs{
                [](A const& lhs, int const& rhs)
                {
                    return lhs.a < rhs;
                },
                [](int const& lhs, A const& rhs)
                {
                    return lhs < rhs.a;
                }
            }
        );
}

我在 Fedora 上的 g++ (GCC) 8.1.1 20180712 (Red Hat 8.1.1-5) 下运行。如果我只提供一个签名，与首先使用 int 或 A 无关，则会收到错误:

1)

no match for call to '(main()::<lambda(const A&, const int&)>) (int&, A&)'

或

2)

no match for call to '(main()::<lambda(const int&, const A&)>) (A&, int&)'

因此需要提供一个在这里接受两个签名的 comp 函数。