Operator== 抽象类和 shared_ptr 的重载

Question

我想在一个抽象类的shared_ptr 列表中使用std::find，但出现错误。有没有办法通过在std::find 中取消引用来比较两个shared_ptr？

是否有可能交一个朋友operator== 重载shared_ptr<A>？

小例子：

#include "point.h"
#include <list>
#include <algorithm>
#include <memory>

using namespace std;

class A {

protected:
    Point loc;
public:

    virtual void foo() = 0;

    virtual bool operator==(const Point& rhs) const = 0;
};

class B: public A {
    virtual void foo() override{}

    virtual bool operator==(const Point& rhs) const override {
        return rhs == loc;
    }
};

class C {

    list<shared_ptr<A>> l;
    void bar(Point & p) {

        const auto & f = find(l.begin(), l.end(), p); //<-- error is from here
    }
};

错误 C2679 二进制“==”：未找到采用“const Point”类型右侧操作数的运算符（或没有可接受的转换）

注意：Point 已经有 operator==。

Answer 1

std::find可以实现为

template<class InputIt, class T>
InputIt find(InputIt first, InputIt last, const T& value)
{
    for (; first != last; ++first) {
        if (*first == value) {
            return first;
        }
    }
    return last;
}

如您所见，它正在比较 *first == value，当使用 find(l.begin(), l.end(), p) 时，它转换为 shared_ptr<A> == Point。因为它将使用shared_ptr<A>::operator==，所以你将使用std::find_if并编写一个自定义的比较函数/函子，可以比较这两种类型并将其传递给find

您可以在以下位置了解有关函子的更多信息：C++ Functors - and their uses

Answer 2

问题：

find() 旨在在迭代器范围内找到一个精确的值。

您已定义 operator== 以将 A 与 Point 进行比较。但是您的列表不包含 A 对象，而是包含指向 A 对象的共享指针。不幸的是，将共享指针与 Point 进行比较并不是定义的。这种不匹配会导致您报告的错误。

解决方案：

一个简单的解决方案是使用 find_if() 而不是 find()：它不寻找精确的值，而是让谓词成为真的：

   const auto & f = find_if(l.begin(), l.end(),[p](shared_ptr<A> &a){ return *a==p; });