c++ - 使用 variant + reference_wrapper + unique_ptr 表达(非)拥有资源的想法

Question

如果我需要表达这样的想法:有一个场景节点(带有转换)可以指向(不拥有)几何体(例如网格)，但有时节点拥有几何图形非常方便。这样表达这个想法可以吗？如果没有 - 您能否就如何表达这个想法提出一些想法？

struct Node
{
    variant<reference_wrapper<SceneObject>, unique_ptr<SceneObject>> sceneObject{nullptr};
};

Node node1;
node1.sceneObject = make_unique<Mesh>(); // node is responsible for the life of the mesh

Node node2;
node2.sceneObject = sceneObjectDatabase.getResource("myMesh"); //the node does not own the mesh, but simply references it

Node node3;
node3.sceneObject = nullptr; // doesn't own any geometry

Answer 1

不要在这里使用变体。你没有不同的类型，你只有一种类型——但只有那种类型的属性。所以你可以只写一个可能拥有的类型，它基本上是一个 T* 和一个 bool:

template <typename T>
class maybe_owning_ptr {
    T* ptr_;
    bool owns_;

public:
    maybe_owning_ptr() : ptr_(nullptr), owns_(false) { }
    maybe_owning_ptr(T* p, bool owns) : ptr_(p), owns_(owns) { }
    ~maybe_owning_ptr() {
        if (owns_) delete ptr_;
    }

    maybe_owning_ptr(maybe_owning_ptr&& rhs) noexcept
        : ptr_(std::exchange(rhs.ptr_, nullptr))
        , owns_(std::exchange(rhs.owns_, false))
    { }

    maybe_owning_ptr& operator=(maybe_owning_ptr&& rhs) noexcept
    {
        T* p = std::exchange(rhs.ptr_, nullptr);
        bool o = std::exchange(rhs.owns_, false);

        if (owns_) delete ptr_;
        ptr_ = p;
        owns_ = o;
        return *this;
    }

    // accessors here... get(), operator*, operator->(), etc.
};

请注意，我们不能拥有复制构​​造函数 - 因为我们不知道在我们确实拥有所有权的情况下该做什么。

一直想用std::exchange()为了某事...