如何让C++类引用成员遵循const正确性？求标准实现方案

对象的持久化状态存储在POD结构体中，逻辑类通过该结构体的引用构造，希望它在const正确性上的表现和持有非引用成员一致。但当前示例代码中，被const修饰的inc()函数可以修改引用成员m_a的a值，这原本应该触发编译错误。目前已实现了一个简单的包装类，想了解是否存在标准库中的现成构造或更规范的实现方式。

示例代码：

struct AData{
 int a{0};
};

class A{
public:
  A(AData& data):m_a(data){}

  void inc()const{  // 此处应当触发编译错误
      m_a.a++;
  }
  int get()const{
      return m_a.a;
  }

private:
  AData& m_a;
};

自定义包装类：

template<typename T>
class const_correct_reference_wrapper
{
public: 
  const_correct_reference_wrapper(T& ref)
  :r(ref){}

  auto& get() const {return std::as_const(r);}
  auto& get() {return r;}

private:
  T& r;
};

问题根源 #

C++中，const成员函数会将类的成员变量视为const类型，但对于引用成员来说，const修饰的是引用本身（而引用本身无法被重新绑定），而非引用指向的对象。因此在const成员函数中，你依然可以通过引用修改指向对象的成员，这就破坏了预期的const正确性。

标准库方案说明 #

标准库中并没有直接提供这种"强化const正确性的引用包装"工具——std::reference_wrapper的设计目标是解决引用无法作为容器元素等场景的问题，它不会改变原有引用在const成员函数中的行为。因此自定义包装类是合理的解决方案，你可以对其进行优化以提升易用性。

优化后的自定义包装类 #

可以通过重载operator->，让包装类的使用方式更接近原生引用/指针：

template<typename T>
class const_correct_reference_wrapper
{
public:
    const_correct_reference_wrapper(T& ref) : r(ref) {}

    // const版本：返回const指针，禁止修改指向对象
    const T* operator->() const { return &r; }
    // 非const版本：返回普通指针，允许修改
    T* operator->() { return &r; }

    const T& get() const { return r; }
    T& get() { return r; }

private:
    T& r;
};

使用示例 #

修改类A的成员为包装类后，const成员函数中尝试修改对象会触发编译错误，符合预期：

class A{
public:
  A(AData& data):m_a(data){}

  void inc()const{
      // m_a->a++;  // 编译错误：无法通过const指针修改成员
  }
  int get()const{
      return m_a->a;  // 正常读取
  }

private:
  const_correct_reference_wrapper<AData> m_a;
};

其他可选思路 #

如果场景允许，也可以考虑将POD结构体直接作为类的成员变量（而非引用），这样const成员函数天然会限制对其的修改。但如果必须共享状态（多个类实例引用同一个POD对象），那么上述包装类方案是更合适的选择。

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