Effective C++(4) 确定对象被使用前已先被初始化
2013-12-24 14:51
225 查看
危害:读取未初始化的值会导致不明确甚至是半随机化的行为。
最佳处理办法:永远在使用对象之前先将它初始化;确保每一个构造函数都将对象的每一个成员初始化。
1 注意区分赋值和初始化:
![](http://img.blog.csdn.net/20131224144658453?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvenM2MzQxMzQ1Nzg=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/1f07e39e4c8d4c759e13e5cc3cc46168/clipboard.png)
从初始化的角度而言,这不是一个最佳的处理办法。虽然这会让对象的指最终为你期望的值,但是实际上,对象的成员变量的初始化动作发生在进入构造函数本体之前。而在构造函数本体之内,不是被初始化,而是被赋值。
2 较佳的写法:使用成员变量初始化列表
![](http://img.blog.csdn.net/20131224144706562?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvenM2MzQxMzQ1Nzg=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/d4c3bda6a134440b91f2011ff5734609/clipboard.png)
结果和上一个的最终结果相同,但是效率较高。
规定:总是在初值列表中列出所有成员变量,以免遗漏需要初始化的成员变量。即,总使用成员初始化列表。
一个特例再次印证了上句的价值:如果成员变量是const或reference,它们就一定需要初值,不能被赋值。
3 成员初始化次序:
一般地:
base classes更早于其derived classes被初始化,而class的成员变量总是以其声明次序被初始化。
特别低:
不同编译单元内定义的non-local static对象的初始化次序
解析:
1 non-local static: 包括:
global对象
定义于namespace作用域内的对象
在classes内、在file作用域内被声明为static的对象
local static对象,指在函数内被声明为static的对象。
2 编译单元:产出单一目标文件的那些源码。基本上可以认为是一个源码文件加上它所包含的头文件。
问题:
C++对“不同编译单元内的non-local static对象”的初始化相对次序并无明确定义。
原因:
决定它们的初始化次序相当困难,甚至是无解的。
解决:
reference-returning函数(示例如下)
原理:
C++保证,函数内的local static对象会在该函数被调用期间首次遇上该对象的定义式时被初始化。
所以以函数调用替换直接的对象访问,就保证获得一个已经初始化的对象的引用。
Demo:
可能会发生初始化次序问题的版本:
a.cpp
![](http://img.blog.csdn.net/20131224144711078?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvenM2MzQxMzQ1Nzg=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/daf71a8b11ef4277b5917ef0696d1c14/clipboard.png)
b.cpp
![](http://img.blog.csdn.net/20131224144714937?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvenM2MzQxMzQ1Nzg=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/842f4045f31146c89bc1affbb23d7a53/clipboard.png)
改进后的版本:
![](http://img.blog.csdn.net/20131224144718812?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvenM2MzQxMzQ1Nzg=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/dc991c3975f545f685a6bebff680815d/clipboard.png)
小结:
为内置类型对象进行手工初始化,以为C++不保证初始化它们;
构造函数最好使用成员变量初始化列表,其排列次序应该和它们在class中的声明次序相同;
为免除“跨编译单元之初始化次序”问题,请以local static对象(referance returning函数)替换non-local static对象。
参考资料:
《Effective C++ 3rd》
最佳处理办法:永远在使用对象之前先将它初始化;确保每一个构造函数都将对象的每一个成员初始化。
1 注意区分赋值和初始化:
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/1f07e39e4c8d4c759e13e5cc3cc46168/clipboard.png)
从初始化的角度而言,这不是一个最佳的处理办法。虽然这会让对象的指最终为你期望的值,但是实际上,对象的成员变量的初始化动作发生在进入构造函数本体之前。而在构造函数本体之内,不是被初始化,而是被赋值。
2 较佳的写法:使用成员变量初始化列表
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/d4c3bda6a134440b91f2011ff5734609/clipboard.png)
结果和上一个的最终结果相同,但是效率较高。
规定:总是在初值列表中列出所有成员变量,以免遗漏需要初始化的成员变量。即,总使用成员初始化列表。
一个特例再次印证了上句的价值:如果成员变量是const或reference,它们就一定需要初值,不能被赋值。
3 成员初始化次序:
一般地:
base classes更早于其derived classes被初始化,而class的成员变量总是以其声明次序被初始化。
特别低:
不同编译单元内定义的non-local static对象的初始化次序
解析:
1 non-local static: 包括:
global对象
定义于namespace作用域内的对象
在classes内、在file作用域内被声明为static的对象
local static对象,指在函数内被声明为static的对象。
2 编译单元:产出单一目标文件的那些源码。基本上可以认为是一个源码文件加上它所包含的头文件。
问题:
C++对“不同编译单元内的non-local static对象”的初始化相对次序并无明确定义。
原因:
决定它们的初始化次序相当困难,甚至是无解的。
解决:
reference-returning函数(示例如下)
原理:
C++保证,函数内的local static对象会在该函数被调用期间首次遇上该对象的定义式时被初始化。
所以以函数调用替换直接的对象访问,就保证获得一个已经初始化的对象的引用。
Demo:
可能会发生初始化次序问题的版本:
a.cpp
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/daf71a8b11ef4277b5917ef0696d1c14/clipboard.png)
b.cpp
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/842f4045f31146c89bc1affbb23d7a53/clipboard.png)
改进后的版本:
![](file:///C:/Users/suzhou/AppData/Local/YNote/Data/zhousu_95%40163.com/dc991c3975f545f685a6bebff680815d/clipboard.png)
小结:
为内置类型对象进行手工初始化,以为C++不保证初始化它们;
构造函数最好使用成员变量初始化列表,其排列次序应该和它们在class中的声明次序相同;
为免除“跨编译单元之初始化次序”问题,请以local static对象(referance returning函数)替换non-local static对象。
参考资料:
《Effective C++ 3rd》
相关文章推荐
- Effective c++ 学习笔记——条款04:确定对象被使用前已先被初始化
- Effective C++条款4:确定对象使用前已被初始化
- Effective C++条款04解读:确定对象被使用之前已先被初始化
- Effective C++(4) 确定对象被使用前已先被初始化
- Effective C++ Item 4 确定对象被使用前已先被初始化
- Effective C++——》条款4:确定对象使用前已先被初始化 .
- Effective C++笔记之四:确定对象被使用前已先被初始化
- Effective C++ Item 4 确定对象被使用前已先被初始化
- effective c++条款04确定对象使用前已经被初始化
- Effective C++笔记之三确定对象在使用前已初始化
- 读书笔记_Effective_C++_条款四:确定对象被使用前已先被初始化
- effective c++条款4(确定对象被使用前先被初始化)
- effective c++条款4-确定对象在使用前被初始化
- Effective C++ Item 04-确定对象被使用前以先被初始化
- 条款4:确定对象使用前已先被初始化
- C++ 确定对象被使用前已经先被初始化
- 条款04:确定对象被使用前已先被初始化(Make sure that objects are initialized before they're used.)
- Effective C++ 条款04:确定对象被使用前已经先被初始化
- 确定一个对象在使用前已经被初始化
- 条款4:确定对象被使用前已被初始化