如何使指针成员数据的常量随父实例的常量而变化？

问题描述

我有一堂这样的课：

struct Example
{
    std::unique_ptr<int> pointer_member;
};

我希望 pointer_member 的类型在操作 std::unique_ptr<int const> const 的实例时为 Example const，而在操作 std::unique_ptr<int> 的实例时为 Example。>

到目前为止我能想到的最好的解决方案是模板，但它确实是样板化的，而且不太好用（因为模板参数会传播到使用 Example 的代码）：

template <bool is_const>
struct Example
{
    std::unique_ptr<std::conditional_t<is_const,int const,int>> pointer_member;
};

同样在这里，没有什么可以阻止我使用 Example<false> const 实例，这真的很烦人。

知道如何以更好的方式实现这一目标吗？

解决方法

封装允许控制成员的可修改性（又名常量）：

{{1}}