C++中如何禁止向非所有权类传递拥有所有权的资源？

好问题！在C++里要实现这种「非所有权类绝不接收临时所有权对象」的约束，其实有几种靠谱的方案，我给你拆解一下：

方案1：禁用右值指针的构造函数 #

核心思路是：new T()返回的是右值指针，而合法的非所有权传递应该用左值指针（也就是客户端已经持有、由其他所有者管理的指针）。我们可以通过删除右值版本的构造函数，直接阻止临时指针传入。

代码实现：

class NonOwner {
    T* m_p;
public:
    // 只接受左值指针：匹配客户端已经持有的、有明确所有者的指针
    NonOwner(T* p) : m_p(p) {}
    
    // 显式删除右值指针的构造函数：直接阻断临时指针（比如new T()）的传递
    NonOwner(T*&&) = delete;
};

这样客户端写NonOwner o{new T()}时，编译器会直接报错——因为new T()是右值，会匹配到被删除的构造函数；而合法用法auto t = new T(); NonOwner o{t};则完全没问题，因为t是左值指针。

方案2：改用std::weak_ptr（更安全的选择） #

如果你的场景允许用智能指针，那std::weak_ptr是最优解——它本身就是为「非所有权弱引用」设计的，不仅能阻止所有权传递，还能避免悬空指针的问题。

代码实现：

#include <memory>

class NonOwner {
    std::weak_ptr<T> m_wp;
public:
    // 只能从shared_ptr/weak_ptr构造，强制对象由shared_ptr管理
    NonOwner(const std::weak_ptr<T>& wp) : m_wp(wp) {}
    // 也可以支持直接从shared_ptr构造，更方便
    NonOwner(const std::shared_ptr<T>& sp) : m_wp(sp) {}
    
    void DoStuffWithP() {
        // 使用前先lock()，确认对象是否还存活
        if (auto sp = m_wp.lock()) {
            // 安全操作对象，比如 sp->some_method();
        } else {
            // 对象已经被销毁，做错误处理
        }
    }
};

这种方式下，客户端必须用std::shared_ptr来管理原对象，比如：

auto t = std::make_shared<T>(); // 由shared_ptr持有所有权
NonOwner o{t}; // 合法：传递弱引用，不获取所有权

如果客户端想直接传new T()，必须手动构造shared_ptr，但这时候所有权已经明确交给了shared_ptr，不会出现「把临时所有权丢给NonOwner」的问题——而且weak_ptr还能自动检测对象是否存活，比裸指针安全得多。

方案3：显式的所有权标记构造函数 #

如果你必须用裸指针，还可以通过「标记类型」强制客户端显式声明自己是在传递非所有权指针，从语义上约束行为。

代码实现：

// 定义一个空的标记类型，用来区分非所有权传递
struct NonOwnerTag {};

class NonOwner {
    T* m_p;
public:
    // 只有带NonOwnerTag的构造函数才允许，强制客户端显式声明
    NonOwner(NonOwnerTag, T* p) : m_p(p) {}
    
    // 删除默认的指针构造函数，阻止直接传指针
    NonOwner(T*) = delete;
};

客户端必须这么用：

auto t = new T(); // 由其他所有者管理
NonOwner o{NonOwnerTag{}, t}; // 合法：显式标记为非所有权传递

而如果写NonOwner o{new T()}，编译器会因为找不到匹配的构造函数直接报错——这种方式最直白，能让客户端清晰意识到「我正在传递一个非所有权的指针」。

额外小建议：

• 尽量避免裸指针：如果场景允许，优先用std::weak_ptr，它能解决悬空指针、所有权模糊等一系列问题。
• 配合编译器警告：开启-Wdangling-pointer（GCC/Clang）或/WX（MSVC）等警告，辅助检测潜在的指针问题。

内容的提问来源于stack exchange，提问作者Michele Piccolini