值语义对象满足“可复制、无身份、相等即相同”，如std::string、point；实体语义对象管理唯一资源、禁用拷贝、有独立生命周期，如std::unique_ptr、std::thread；语义由特殊成员函数实现决定，而非类型名本身。
C++里没有“值对象”这个标准术语，所谓“值对象”通常是开发者对“具有值语义的对象”的口语化简称；而“实体对象”也不是语言规范中的分类，它多指有明确身份、生命周期和状态管理需求的对象。 两者差异不在语法层面，而在设计意图和使用方式上。
怎么判断一个对象该算“值语义”还是“实体语义”
关键看它是否满足“可复制、无身份、相等即相同”这三条：
-
std::string、std::vector、自定义的Point或Money类——复制后彼此独立，a == b就代表它们逻辑等价，改a不影响b，这就是典型的值语义 -
std::unique_ptr、std::thread、数据库连接类、带资源句柄的类（如文件流std::fstream）——它们通常禁用拷贝，只支持移动，或要求显式管理生命周期，每个实例都有唯一身份，不能简单用==判定“相同”，属于实体语义 - 判断依据不是类型名，而是行为：如果类的拷贝构造函数/赋值运算符做了深拷贝且不共享状态，它就倾向值语义；如果它管理唯一资源（内存、句柄、锁），或内部隐含可变状态（如计数器、打开/关闭标志），就更接近实体语义
为什么 class 默认是值语义，但常被误用为实体
因为 C++ 的 class 本身不强制绑定语义，一切取决于你如何实现特殊成员函数：
- 如果你没写拷贝构造函数，编译器生成的默认版本是逐成员复制——对含裸指针或句柄的类，这会导致浅拷贝、双重释放、资源争用等崩溃
- 如果你写了
operator==，但只比较了部分成员（比如忽略缓存字段），那“相等”就不可靠，值语义就塌了 - 如果你允许拷贝但又在内部维护全局单例引用（比如日志器），那它表面像值对象，实则偷偷共享状态，破坏值语义契约
常见踩坑：把 std::shared_ptr<t></t> 当成值对象
std::shared_ptr 本身是值语义（可拷贝、可赋值、a == b 比较的是所指对象地址），但它指向的 T 实例仍是实体语义：
- 拷贝
shared_ptr不会拷贝T，只是增加引用计数 - 修改
*ptr会影响所有持有该shared_ptr的地方，违背“改 a 不影响 b”的值语义直觉 - 所以不要仅因能拷贝
shared_ptr就认为它封装的是值对象；真正决定语义的是T本身的实现
最易被忽略的一点：值语义和实体语义的混用往往不出现在定义时，而出现在函数参数传递和容器存储环节——传 const T& 还是 T？存 vector<t></t> 还是 vector<unique_ptr>></unique_ptr>？这些选择背后全是语义契约的取舍。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
