C++ 构造函数:初始化列表(困惑之源之一)
2014-08-06 17:48
260 查看
1、STL容器中不能存储引用类型,原因是引用并非对象,而是对象的别名,
且STL中的元素需要支持赋值操作符,而引用只支持初始化,不支持赋值操作符,
同理数组中也无法存储引用类型,形如int& a
,无疑是错的。
2、在构造函数中我们来看一个有趣的问题:
示例 1:
(1)基类成员更早于派生类成员进行初始化
(2)类内部总是按成员变量的声明顺序依次进行初始化的。
现在我们完全可以解释那个该死的令人讨厌的std::bad_alloc了,哈哈,事情就是如此,当明白所以然,一切变得如此简单,原因:当示例中初始化时,是先初始化base,而此时size处于未初始化状态,所有它可能非常大,甚至是一个负数之类的随机数,此时企图分配size大小的空间必然是要失败的。
且STL中的元素需要支持赋值操作符,而引用只支持初始化,不支持赋值操作符,
同理数组中也无法存储引用类型,形如int& a
,无疑是错的。
2、在构造函数中我们来看一个有趣的问题:
示例 1:
class test{ public: test():size(10),base(new char[size]){} private: char *base; int size; }; int main() { test t; return 0; }上面的例子编译一切正常,但是当我们试图运行程序时,会抛出std::bad_alloc,这是为什么呢?然而当我们把base(new char[size]),改为base = new char[size] 放入构造函数的函数体内部就一切正常这好像告诉我们不能在初始化列表中使用new关键字一样。事实上并非如此,看看下面的例子:
class test{ public: test():size(10),base(new char[size]){} private: int size; char *base; }; int main() { test t; return 0; }现在一切争端和平解决,程序不再出错,看上去很是诡异,但一切的错误源自我们喜欢"我感觉","按常理推测",是的,上面示例1中我们以为我们实现了先初始化size,然后初始化base,而事实呢,并非那么显而易见,C++的语义不是这么定义的,很遗憾,初始化列表的初始化顺序并非成员变量实际初始化顺序,C++中初始化顺序满足以下规则:
(1)基类成员更早于派生类成员进行初始化
(2)类内部总是按成员变量的声明顺序依次进行初始化的。
现在我们完全可以解释那个该死的令人讨厌的std::bad_alloc了,哈哈,事情就是如此,当明白所以然,一切变得如此简单,原因:当示例中初始化时,是先初始化base,而此时size处于未初始化状态,所有它可能非常大,甚至是一个负数之类的随机数,此时企图分配size大小的空间必然是要失败的。
相关文章推荐
- 一种编写C++构造函数中初始化列表的格式
- c++中子对象的初始化可在复合类的构造函数的函数体内进行吗?还是子对象的初始化只能在初始化列表中进行?
- c++中什么类型的成员变量只能在构造函数的初始化列表中进行
- 【c++】构造函数初始化列表中成员初始化的次序性
- C++中为什么构造函数初始化列表
- C++ 中使用构造函数初始化列表的原因
- c++高级---C++类构造函数初始化列表以及对象成员的构造
- C++ 类构造函数初始化列表的异常机制 function-try block
- C++ 构造函数初始化列表的好处
- C++ 构造函数初始化列表
- C++的构造函数初始化列表
- c++ 捕获构造函数成员初始化列表产生的异常
- C++ 构造函数初始化列表
- 续:为何说 C++ 构造函数初始化列表异常机制是必要的
- C++中使用初始化列表比在构造函数中对成员变量赋值更高效
- C++中的构造函数初始化列表的使用和分析
- 从零开始学C++之构造函数与析构函数(二):初始化列表(const和引用成员)、拷贝构造函数
- C/C++ 通过初始化列表和构造函数内赋值初始化成员变量的区别
- c++基础语法:构造函数初始化列表
- C++的const和引用只能在初始化列表里初始化而不能在构造函数体内赋值初始化