主页 / user-15649230

Ahmed AEK's questions

Martin Hope
Ahmed AEK
Asked: 2024-03-02 05:25:53 +0800 CST
  • 5

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

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++
Martin Hope
Ahmed AEK
Asked: 2023-10-08 18:03:47 +0800 CST
  • 5

我有一种情况，当输入类型指定了某些特征时，我希望更改默认函数参数，例如 pmr 对象具有分配器特征和get_allocator函数，那么我该怎么做？我希望有一个不涉及 SFINAE 的 c++20 解决方案，除非不可能，否则可能使用 if constexpr 或概念，我不想编写两个函数，除非不可能。

template<typename T>
void new_deleter(T* ptr)
{
    delete ptr;
}

template <typename T>
void pmr_deleter(T* ptr)
{
    ptr->get_allocator().delete_object(ptr);
}

template<typename T>
using deleter_t = void (*)(T*);

// use pmr_deleter by default when possible
template<typename T>
void delete_object(T* ptr, deleter_t<T> deleter = &new_deleter<T>)
{
    deleter(ptr);
}

编辑：感谢答案，我想出了以下模式，它可以很容易地适应概念和 if contexpr。

template<typename T>
deleter_t get_default_deleter() {return &new_deleter<T>;}

template<typename T>
deleter_t get_default_deleter() 
requires requires (T* ptr) {ptr->get_allocator();}
{
 return &pmr_deleter<T>;
}

template<typename T>
void delete_object(T* ptr, deleter_t<T> deleter = get_default_deleter<T>())
{
    deleter(ptr);
}
c++