C++ 工程实践(8)：值语义

最新推荐文章于 2023-08-21 00:10:28 发布

陈硕

最新推荐文章于 2023-08-21 00:10:28 发布

阅读量1.6w

点赞数 6

分类专栏： C++ 工程实践 c++ 文章标签： c++ class immutable iostream constructor reference

本文链接：https://blog.csdn.net/Solstice/article/details/6692976

版权

本文深入探讨了C++中的值语义，包括其与生命期、标准库和C++语言本身的关联。值语义使得对象拷贝后与原对象无关，如内置类型和std::vector等。作者指出，值语义简化了生命期管理，但对象语义（不可拷贝）在资源管理上更为复杂，通常需要借助smart pointer来解决。标准库要求元素类型具有值语义，且C++默认为class提供拷贝构造函数和赋值运算符。最后，文章强调了值语义在C++语言设计中的重要性，并预告将讨论数据抽象的话题。

摘要由CSDN通过智能技术生成

陈硕 (giantchen_AT_gmail)
http://blog.csdn.net/Solstice http://weibo.com/giantchen
陈硕关于 C++ 工程实践的系列文章： http://blog.csdn.net/Solstice/category/802325.aspx
排版正常的版本： http://www.cnblogs.com/Solstice/category/287661.html
陈硕博客文章合集下载： http://blog.csdn.net/Solstice/archive/2011/02/24/6206154.aspx
本作品采用“Creative Commons 署名-非商业性使用-禁止演绎 3.0 Unported 许可协议(cc by-nc-nd)”进行许可。http://creativecommons.org/licenses/by-nc-nd/3.0/

本文是前一篇《C++ 工程实践(7)：iostream 的用途与局限》的后续，在这篇文章的“iostream 与标准库其他组件的交互”一节，我简单地提到iostream的对象和C++标准库中的其他对象（主要是容器和string）具有不同的语义，主要体现在iostream不能拷贝或赋值。今天全面谈一谈我对这个问题的理解。

本文的“对象”定义较为宽泛，a region of memory that has a type，在这个定义下，int、double、bool 变量都是对象。

如果出现排版错乱，请移步： http://www.cnblogs.com/Solstice/archive/2011/08/16/2141515.html

什么是值语义

值语义(value sematics)指的是对象的拷贝与原对象无关，就像拷贝 int 一样。C++ 的内置类型(bool/int/double/char)都是值语义，标准库里的 complex<> 、pair<>、vector<>、map<>、string 等等类型也都是值语意，拷贝之后就与原对象脱离关系。Java 语言的 primitive types 也是值语义。

与值语义对应的是“对象语义/object sematics”，或者叫做引用语义(reference sematics)，由于“引用”一词在 C++ 里有特殊含义，所以我在本文中使用“对象语义”这个术语。对象语义指的是面向对象意义下的对象，对象拷贝是禁止的。例如 muduo 里的 Thread 是对象语义，拷贝 Thread 是无意义的，也是被禁止的：因为 Thread 代表线程，拷贝一个 Thread 对象并不能让系统增加一个一模一样的线程。

同样的道理，拷贝一个 Employee 对象是没有意义的，一个雇员不会变成两个雇员，他也不会领两份薪水。拷贝 TcpConnection 对象也没有意义，系统里边只有一个 TCP 连接，拷贝 TcpConnection 对象不会让我们拥有两个连接。Printer