【问题标题】:std::min element weird behavior when class is wrapped by shared_ptr当类被 shared_ptr 包装时,std::min 元素的奇怪行为
【发布时间】:2019-02-08 06:09:29
【问题描述】:

我进行了长时间的调试(6 小时或更长时间)。我正在调试我的 A* 算法实现。

在检查了所有可能性之后,在添加日志记录、逐步调试等之后,我终于找到了答案。基本上,这一切都归结为一行,我在其中搜索向量中的最小值。

看看这个:

auto open_set = std::vector<std::shared_ptr<node>>{start_node};

std::shared_ptr<node> current;
while (!open_set.empty())
{
    current = *std::min_element(open_set.begin(), open_set.end());

current = *std::min_element(open_set.begin(), open_set.end()); 行应该在向量中找到最低的node。这是我的node 实现:

class node
{
public:
    node() : G(0), H(0) {}
    node(const QPoint& p) : pos(p), G(0), H(0) {}
    bool operator==(const node& o) const { return pos == o.pos;}
    bool operator==(const QPoint& o) const { return pos == o; }
    bool operator!=(const node& o) const { return pos != o.pos; }
    bool operator<(const node& o) const { return  G + H < o.G + o.H; }
    QPoint pos;
    std::shared_ptr<node> parent;
    int G;
    int H;
};

所以我有搜索min_element 所需的operator&lt;。问题是,经过多次查看我的日志后,我发现我有一个 node,即 G = 8、H = 10 和节点 G = 10、H = 10。猜猜哪个被选为 min_element - > 第二个!我不知道为什么,我很生气,所以我写了一个简单的 lambda 来比较节点:

current = *std::min_element(open_set.begin(), open_set.end(),
                            [&] (const std::shared_ptr<node>& lhs, const std::shared_ptr<node>& rhs)
                            {
                                return lhs->G + lhs->H < rhs->G + rhs->H;
                            });

然后繁荣,这个:

改成这样:

很明显,您可以看到第一个是错误的。而且我检查了很多次,现在一直都很好用,所以问题确实出在这里。

所以我的问题是为什么当我使用std::min_element 时它不起作用。这是否与我拥有std::shared_ptr&lt;node&gt;s 的std::vector 而不仅仅是nodes 的事实有关?我必须在node 类中以不同的方式写operator&lt; 吗?

【问题讨论】:

标签: c++ stl operator-overloading


【解决方案1】:

C++ 文档非常清楚为什么会出现此问题:

如果您查看 shared_ptr 上的页面:

https://en.cppreference.com/w/cpp/memory/shared_ptr/operator_cmp

请注意,shared_ptr 的比较运算符只是比较 指针值;不比较指向的实际对象。有 为 shared_ptr 定义的 operator

但是有办法让 std::min 实现你想要的行为。您可以实现比较函数对象或使用已有的 lambda。

class node
{
public:
    node() : G(0), H(0) {}
    node(int x, int y) : G(x), H(y) {}

    bool operator<(const node& o) const { return  (G + H) < (o.G + o.H); }

    int G;
    int H;
};

struct NodeComparer
{
    bool operator()(std::shared_ptr<node> const& lhs, std::shared_ptr<node>  const& rhs) const
    {
        return *lhs < *rhs;
    }
};

int main()
{
    std::shared_ptr<node> a = std::make_shared<node>(3, 6);
    std::shared_ptr<node> b = std::make_shared<node>(1, 1);
    std::shared_ptr<node> c = std::make_shared<node>(2, 2);

    auto open_set = std::vector<std::shared_ptr<node>>
    { 
        a,b,c
    };

    std::shared_ptr<node> current;

    current = *std::min_element(open_set.begin(), open_set.end(), NodeComparer());


    getchar();

}

一旦你将 node 包裹在 shared_ptr 中,你就不再处理 node 类型,而是处理 shared_ptr 类型。因此,您应该预期您对数据所做的所有操作都会反映这一点。例如,应用于 shared_ptr 节点的 sizeof() 运算符将返回 shared_ptr 的大小而不是节点的大小。 同样,当您对两个 shared_ptr 进行比较时,它是为该类型定义的 shared_ptr 比较运算符。

【讨论】:

  • 感谢您提供更好的说明!这就是我所做的,我实际上使用了 lambda,但是带有比较器类的解决方案也是一种优雅的方式!
猜你喜欢
  • 1970-01-01
  • 2017-10-24
  • 1970-01-01
  • 2019-04-11
  • 1970-01-01
  • 2018-02-11
  • 2011-11-18
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多