C++工程实践 值语义–读后感及补充


C++ 工程实践(8):值语义 http://www.cnblogs.com/Solstice/archive/2011/08/16/2141515.html

由于近期一直不做C++,看着都有些陌生了,阅读速度并不快,而且C++这块实际上陈硕提到的方面,以前用得不多。但因为这里面很多概念与C#共通,所以也不难理解。

下面是一些问题以及相关资料的补充。

1)“标准库里的 complex<> 、pair<>、vector<>、map<>、string等等类型也都是值语意,拷贝之后就与原对象脱离关系”

如果对C#的字符串类型稍有了解,便知道它们都有类似intern的机制,在Ruby中则为Symbol,另外微软BSTR类型也会做类似字符串驻留。目的都是让字符串字面值在内存中只有一份,使用者都指向同一份好了。

稍做实验便可得知标准库中string是值语义。但是对于模版类型,比较有疑问,因为它们都不是完整类型,怎么说明是值语义?

关于值语义,我这里也有一个解释,不一定对。对于值语义类型他们的拷贝是所谓的深拷贝(byte by byte),而引用类型常规拷贝是所谓的浅拷贝(shallow copy),只不过大家指向同一个引用。对于引用类型的取值也与值类型不一样,是先取引用地址,然后从这个地址取内容,相当于两个动作。

关于shallow copy http://en.wikipedia.org/wiki/Object_copy#Shallow_copy

2)“值语义,引用语义”。在C#中有值类型和引用类型,对照的更为明显一些。另外,在C语言中全部都是值语义,不存在引用语义。

3)”Java 有 value object 一说,按(PoEAA 486)的定义,它实际上是 immutable object”。

对于C#,值类型都来自于System.ValueType。

4)另外与本文列举模版类比如vector不同的是,在loop中,C#中的范型类型可以修改其内容,但是修改以后再继续使用iterator就会跑出异常,因为对象中有个version信息,修改后会增加。而C++中没有这种机制,loop中修改vector内容是OK的。

5)POD,Plain Old Data,类似C语言Structure这样。没有什么包装多态vtable这些东西,按byte拷贝没有问题。

http://en.wikipedia.org/wiki/Plain_old_data_structure

6)对象语义的 object 由于不能拷贝,我们只能通过指针或引用来使用它。

C#所谓managed heap,专门存放对象语义的object实例。

7)“一旦使用指针和引用来操作对象,那么就要担心所指的对象是否已被释放,这一度是 C++ 程序 bug 的一大来源”.

个人感觉这是本文中工程实践味道最浓的部分。对象互相通知生存状态变化,是很麻烦。如果你再用个object pool机制,那就更麻烦。

8)一个 smart pointer 应该是 weak reference,否则会出现循环引用,导致内存泄漏

在C#中也有weak reference机制,保证可以观察对象生存状态,又不至于影响到GC.

9)SGI Assignable concept

http://www.sgi.com/tech/stl/Assignable.html

10)值语义是C++语言的三大约束之一

这里面的三大约束,没找到来源(update http://blog.csdn.net/Solstice/article/details/5455835),在wiki上http://en.wikipedia.org/wiki/C%2B%2B

Philosophy. In The Design and Evolution of C++ (1994), Bjarne Stroustrup describes some rules that he used for the design of C++:
... ...

11) RVO返回值优化

http://en.wikipedia.org/wiki/Return_value_optimization

==================================

从这篇文章以及我个人感受而言,要么用语意定义更为明确,语言更为规范的C#做面向对象开发,要不使用C语言来开发。C++真是有些鸡肋。如果用C++,也可以把它学好以后,在工作中当成Enhanced C来使用。

 

 

 

 

 

 


《“C++工程实践 值语义–读后感及补充”》 有 2 条评论

  1. 6)对象语义的 object 由于不能拷贝,我们只能通过指针或引用来使用它。
    按照语法来说可以拷贝。通过指针来使用有时候涉及到ownership的转移,这时候就需要注意内存的释放

回复 raof01 取消回复

您的电子邮箱地址不会被公开。 必填项已用*标注