主页 / coding / 问题 / 78090515
Accepted
Ahmed AEK
Asked: 2024-03-02 05:25:53 +0800 CST

对象销毁后清理非拥有指针

  • 772

我通常会发现这个片段潜入我的代码中，其中两个互不拥有的对象需要有一个指向彼此的指针，并且一旦其中一个对象被销毁，这个指针就应该被“清理”，如下所示。

struct bar;
struct foo;

struct foo
{
    bar* bar_item = nullptr;
    ~foo();
};

struct bar
{
    foo* foo_item = nullptr;
    ~bar()
    {
        if (foo_item)
        {
            foo_item->bar_item = nullptr;
        }
    }
};

foo::~foo()
{
    if (bar_item)
    {
        bar_item->foo_item = nullptr;
    }
}

int main()
{
    foo obj1;
    bar obj2;
    obj1.bar_item = &obj2;
    obj2.foo_item = &obj1;
}

这里的问题是我必须

  1. 删除复制构造函数/赋值并实现移动构造函数/赋值（大量样板，预计每个类至少有 5 个成员）
  2. 将所有对象转换为shared_ptr，并且对象之间将具有weak_ptr。（也许并不总是可行，因为我可能不拥有对象的生命周期，也迫使我使用堆）

有什么方法可以避免这种情况吗？简化吗？是否有针对特定成员的 RAII 包装器以避免实施复制/移动操作？

我曾经遇到的一个简单的例子是一个图形系统，我需要一条线来连接两个球体，该线应该有指向两个球体的指针，而球体应该有一个指向该线的指针，所有这些都属于“场景” ，但是询问有关它们的“场景”需要很长的查找，指针避免了这种查找。

c++

1 个回答

  1. Best Answer

    删除复制构造函数/赋值并实现移动构造函数/赋值（大量样板，预计每个类至少有 5 个成员）

    这通常是一个指标，表明一个人可以做得更好。我们不应该为了数据成员而定义特殊的成员函数。这些数据成员应该定义特殊的成员函数。

    例如，可以定义一种自动重置链接指针的指针类型。

    template <typename T, auto GetLink>
class link_ptr {
public:
    link_ptr& operator=(T* rhs) {
        if (rhs != t) {
            resetLink();
            t = rhs;
        }
        return *this;
    }

    ~link_ptr() {
        resetLink();
    }

    void reset() {
        t = nullptr;
    }

    void resetLink() {
        if (t) {
            GetLink(*t).reset();
        }
    }

private:
    T* t = nullptr;
};

    然后使用它：

    struct bar;
struct foo
{
    link_ptr<bar, get_foo_link> bar_link;
};
    
struct bar
{
    link_ptr<foo, get_bar_link> foo_link;
};

    该link_ptr代码是通用的，只编写一次。唯一真正的样板是吸气剂，这可能是可以接受的：

    constexpr auto get_foo_link = [](auto& o) -> auto& { return o.foo_link; };
constexpr auto get_bar_link = [](auto& o) -> auto& { return o.bar_link; };

    这是一个例子： https: //godbolt.org/z/5feKdKcMr。

    正如您所提到的以及评论所提到的，还有其他设计（例如，使用weak_ptr或索引到竞技场等），但此选项显示观察者指针可能不需要像人们想象的那样多的样板文件。

    • 1

相关问题