如何借助std::unique_ptr实现安全的不可修改观测？

你的核心问题在于混淆了容器的const限定和内部数据的const限定：const unique_wrapper*仅保证unique_wrapper对象本身不可被修改（比如不能重置m指针），但std::unique_ptr<int>的const实例并不限制其指向对象的可修改性——你仍然可以通过w->m修改内部的int值，这和unique_ptr的所有权保证无关，而是const限定的作用范围没覆盖到内部数据。

下面是针对你的需求的具体解决方法：

方法一：直接传递内部数据的const指针/引用 #

不要传递外层容器的指针，而是从unique_ptr中取出指向const数据的指针/引用给观测函数：

#include <memory>

struct unique_wrapper
{
    unique_wrapper(std::unique_ptr<int>&& m) : m(std::move(m)) {}
    std::unique_ptr<int> m;
};

// 观测函数直接接收const限定的内部数据
void foo(const int* val)
{
    // *val = 5; // 编译错误，无法修改const数据
}

int main()
{
    auto unique_squared = std::make_unique<unique_wrapper>(std::make_unique<int>(0));
    foo(unique_squared->m.get()); // 传递const int*
}

这种方式最直接，观测函数拿到的是严格只读的内部数据，完全符合你的需求。

方法二：给容器添加const安全的访问接口 #

如果必须传递整个容器对象给观测函数，给unique_wrapper提供返回const数据的成员函数，确保const容器实例只能返回只读数据：

#include <memory>

struct unique_wrapper
{
    unique_wrapper(std::unique_ptr<int>&& m) : m(std::move(m)) {}
    std::unique_ptr<int> m;

    // const安全的访问接口，只返回const指针/引用
    const int* get_data() const { return m.get(); }
    const int& get_data_ref() const { return *m; }
};

void foo(const unique_wrapper* w)
{
    const int* val = w->get_data();
    // *val = 5; // 编译错误
}

int main()
{
    auto unique_squared = std::make_unique<unique_wrapper>(std::make_unique<int>(0));
    foo(unique_squared.get());
}

针对你的使用场景的优化方案 #

对于你需要保持单所有权、传递给观测方只读访问的场景，直接让观测函数接收const T&或const T*即可：

#include <memory>

// 假设acquire_resources返回std::unique_ptr<Object>
std::unique_ptr<Object> acquire_resources() {
    return std::make_unique<Object>();
}

// 观测函数接收const引用，无法修改对象
void validate_object_state(const Object& obj) {
    // 只读访问obj的成员，无法修改
}

int main() {
    auto object = acquire_resources();

    // 传递const引用，不转移所有权
    validate_object_state(*object);

    // 继续使用object...
}

核心总结 #

实现单所有权下的只读共享，关键是给观测方提供数据本身的const访问权限，而非外层容器的const指针。通过直接传递const限定的数据指针/引用，或给容器添加const安全的访问接口，就能既保证所有权唯一，又阻止观测方修改数据。

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