现代C++中非持有(unowned)指针的正确管理方案是什么？

核心结论 #

目前C++正式标准中没有提供专门搭配std::unique_ptr使用的非持有指针组件，通用场景下的最佳实践按优先级排序如下： #

1. 优先使用裸指针X*，配合代码库统一编码约定 #

行业通行的现代C++编码规范已经形成共识：裸指针默认代表非持有语义，不负责所指对象的生命周期管理，所有所有权持有逻辑必须通过std::unique_ptr/std::shared_ptr明确声明。只要你的项目统一遵守该约定，代码里出现的X*天然就能让阅读者明白这是借用其他对象持有的资源，不存在语义混淆问题。
这种方案零额外开销，兼容性最好，是绝大多数场景的首选。 #

2. 如需更强的语义显式性，使用observer_ptr包装器 #

如果你的团队中有很多不熟悉现代C++规范的开发者，或者想要在语法层面强制区分持有/非持有指针，可以使用观察者指针包装器：

• 目前std::observer_ptr已经是C++标准提案内容，虽未进入正式标准，但GSL、Abseil等主流三方库都提供了生产可用的实现
• 也可以自行实现极简版本，性能和裸指针完全一致：

template<typename T>
class observer_ptr {
    T* _ptr = nullptr;
public:
    observer_ptr() = default;
    observer_ptr(T* p) : _ptr(p) {}
    observer_ptr(const std::unique_ptr<T>& u) : _ptr(u.get()) {}
    // 禁用所有权转移/释放相关操作
    observer_ptr(const observer_ptr&) = default;
    observer_ptr& operator=(const observer_ptr&) = default;
    observer_ptr(observer_ptr&&) = default;
    observer_ptr& operator=(observer_ptr&&) = default;
    ~observer_ptr() = default;
    T* get() const { return _ptr; }
    T& operator*() const { return *_ptr; }
    T* operator->() const { return _ptr; }
    explicit operator bool() const { return _ptr != nullptr; }
    operator T*() const { return _ptr; }
};

使用时直接声明为observer_ptr<X> _someX，语义一目了然，不需要额外注释说明。 #

3. 特殊场景的适配方案 #

• 如果非持有指针永远不会为空，且构造完成后不会修改指向：优先使用X&，语义比指针更明确
• 如果无法100%保证持有方A的生命周期一定长于使用方B：不要强行使用非持有指针，改为std::shared_ptr<X>+std::weak_ptr<X>的组合，引用计数的开销远低于野指针导致的未定义行为的排查成本。

针对你提到的几种方案的补充说明 #

你对几个方案的排除逻辑完全合理：

• std::shared_ptr<X>：在生命周期明确的场景下确实存在多余的引用计数开销，仅适合共享所有权的场景
• std::weak_ptr<X>：仅能配合std::shared_ptr使用，无法搭配std::unique_ptr
• X&：确实仅适用于构造阶段就能确定引用对象、且后续不会修改指向的场景

内容的提问来源于stack exchange，提问作者c z