现在的位置: 首页 > 综合 > 正文

C++ 构造函数:初始化列表(困惑之源之一)

2018年02月19日 ⁄ 综合 ⁄ 共 853字 ⁄ 字号 评论关闭

1、STL容器中不能存储引用类型,原因是引用并非对象,而是对象的别名,
且STL中的元素需要支持赋值操作符,而引用只支持初始化,不支持赋值操作符,
同理数组中也无法存储引用类型,形如int& a[n],无疑是错的。

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大小的空间必然是要失败的。

抱歉!评论已关闭.