如何仅对const对象创建const副本？C++类引用的const保护问题

要解决这个问题，我们需要从两个核心方向入手：一是确保const A对象真正无法修改内部的B实例，二是禁止从const A创建非const的A对象，彻底堵上绕过const保护的漏洞。

1. 封装成员引用，区分const/非const访问 #

首先，不要直接暴露B&成员变量，而是通过成员函数提供访问接口，分别处理const和非const场景：

class B {
public:
    void non_const_function() { /* 可修改B状态的方法 */ }
    void const_function() const { /* 只读方法 */ }
};

class A {
private:
    B& b; // 私有成员，禁止外部直接访问
public:
    explicit A(B& b) : b(b) {}

    // 非const对象调用，返回可修改的B引用
    B& get_b() { return b; }
    // const对象调用，返回只读的B引用
    const B& get_b() const { return b; }
};

这样处理后，当你创建const A a(b);时，只能通过a.get_b()获取const B&，无法调用non_const_function()，真正实现对B的只读保护。

2. 限制拷贝构造，禁止从const A创建非const对象 #

接下来，我们需要彻底阻止从const A拷贝出非const的A对象，有两种可靠方式：

方式一：利用编译错误自动阻止非法拷贝 #

由于我们封装了B的访问，当尝试编写接受const A&的拷贝构造函数时，编译器会直接报错——因为const A的get_b()返回const B&，无法初始化A的B&成员：

class A {
    // ... 其他成员同上 ...

    // 删除非const拷贝构造函数，禁止从非const A拷贝
    A(A&) = delete;

    // 尝试编写const拷贝构造函数会编译失败，因为const B&无法绑定到B&
    // A(const A& other) : b(other.get_b()) {} // 编译错误！
};

此时，如果你执行const A a(b); A a_non_const(a);，编译器会因为找不到合适的拷贝构造函数直接报错，从源头阻止非法拷贝。

方式二：仅允许创建const拷贝 #

如果你需要支持const A的拷贝，但只能生成const的拷贝对象，可以将拷贝构造函数设为私有，并提供静态方法创建const拷贝：

class A {
private:
    B& b;
    // 私有拷贝构造函数，仅能在类内部调用
    A(const A& other) : b(const_cast<B&>(other.get_b())) {}
    // 注：此处使用const_cast是因为我们明确知道源对象的b原本是非const的，仅在const A中被限制为只读

public:
    explicit A(B& b) : b(b) {}

    B& get_b() { return b; }
    const B& get_b() const { return b; }

    // 删除非const拷贝构造函数
    A(A&) = delete;

    // 静态方法，仅返回const拷贝
    static const A copy_const(const A& other) {
        return A(other);
    }
};

使用示例：

B b;
const A a(b);
const A a_copy = A::copy_const(a); // 合法，创建const拷贝
// A a_non_const(a); // 编译错误，无法访问私有拷贝构造函数

为什么原来的代码会出问题？ #

你遇到的核心问题有两个：

• 未封装成员变量：直接暴露B& b时，const A对象中的b仍然是B&（而非const B&），因为const仅限制A对象本身，不会自动将成员引用的对象转为const。
• 默认拷贝构造函数的隐患：编译器自动生成的拷贝构造函数会直接拷贝B&引用，导致从const A创建非const A后，能通过新对象的B&调用非const方法，完全绕过了const保护。

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