C++中没有语言级不可变对象，const仅限制访问路径；真正不可变需三要素：成员全声明为const、所有成员函数加const后缀、禁用赋值操作符。
直接说结论：C++ 里没有语言级的“不可变对象”概念，const 只能约束访问路径，不能阻止所有修改；真正可靠的不可变性必须靠构造控制 + 成员变量 const + 禁用非常量接口三者配合。
为什么只加 const 类对象声明没用
很多人写 const MyClass obj; 就以为对象彻底不可变了，其实不是。只要类内部有非 const 成员函数、或成员变量没声明为 const，就可能被绕过：
-
const对象只能调用const成员函数，但若函数体里调用了mutable成员，或通过const_cast强转掉const，值照样能改 - 如果类里有指针成员（比如
int* data），即使对象是const，*data = 42仍合法——因为指针指向的内容没被const限定 - 编译器不阻止你把
const对象的地址传给非const引用或指针，再用const_cast解除限定（虽然这属于未定义行为）
让对象真正“不可变”的三步构造法
不可变性不是靠某个关键字一锤定音，而是靠设计契约。核心是：初始化即终态，之后无任何可写入口。
- 所有数据成员声明为
const或const引用（如const std::string name_;），且必须在构造函数初始化列表中赋值 - 所有 public 成员函数都加上
const后缀，并确保函数体内不调用任何非const函数、不修改任何成员（包括不调用mutable成员） - 禁用拷贝赋值和移动赋值操作符：
MyClass& operator=(const MyClass&) = delete;，避免“用新值覆盖旧状态”这种破坏不可变性的操作
示例：
立即学习“C++免费学习笔记（深入）”；
class Point {
public:
const double x_, y_;
Point(double x, double y) : x_(x), y_(y) {}
double distance() const { return std::sqrt(x_*x_ + y_*y_); }
Point& operator=(const Point&) = delete;
};这样构造出来的 Point 实例，哪怕你不加 const 声明，其字段也无法被修改；加上 const Point p{1.0, 2.0}; 后，连 distance() 这种只读函数都成了唯一合法调用项。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
const 指针成员和 const 引用成员的陷阱
如果你在不可变类里存了指针或引用，光把指针变量本身设为 const 是不够的。
-
const std::string* name_ptr_;→ 指针不能改，但*name_ptr_ = "new"仍可能成功（如果原对象非const） -
const std::string& name_ref_;→ 引用目标必须是const对象，否则绑定时就报错；但若引用的是局部变量或临时对象，生命周期管理极易出错 - 更安全的做法是值语义：直接存
const std::string name_;，靠移动构造避免拷贝开销
记住：不可变性要穿透到最底层数据。如果成员是指针，你得保证它指向的东西也是不可变的，或者干脆别用指针。
const 成员函数里还能改什么
const 成员函数承诺不修改对象逻辑状态，但允许改 mutable 成员——这是唯一被标准允许的例外。
-
mutable常用于缓存、计数器、互斥锁等不影响“逻辑值”的辅助字段 - 例如：
mutable int cache_hits_ = 0;在const函数里自增是合法的 - 但如果你把业务关键字段标成
mutable，就等于亲手撕毁了不可变契约，其他开发者无法信任这个类
真正需要不可变语义的类，应该完全避开 mutable，除非你能清晰说明：这个字段的修改对用户可见状态零影响，且不会引发线程安全问题。
不可变性的难点不在语法，而在边界控制：你得盯住每一个成员、每一条路径、每一次构造。一旦漏掉一个非 const 成员函数，或一个可变指针，整个“不可变”就只是幻觉。
