1.inline 是一种“用于实现的关键字”,而不是一种“用于声明的关键字”。
2.定义在类声明之中的成员函数将自动地成为内联函数,例如
class A
{
public:
void Foo(int x, int y) { ... } // 自动地成为内联函数
}
3.如果使用“缺省的无参数构造函数”和“缺省的析构函数” ,等于放弃了自主“初始化”和“清除”的机会,C++发明人 Stroustrup 的好心好意白费了。
“缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝”而非“值拷贝”的方式来实现,倘若类中含有指针变量,这两个函数注定将出错。
4.构造函数初始化表的使用规则:
4.1如果类存在继承关系,派生类必须在其初始化表里调用基类的构造函数。
4.2类的 const 常量只能在初始化表里被初始化,因为它不能在函数体内用赋值的方式来初始化。
4.3类的数据成员的初始化可以采用初始化表或函数体内赋值两种方式,这两种方式的效率不完全相同。非内部数据类型的成员对象应当采用第一种方式初始化,以获取更高的效率。
4.3 构造从类层次的最根处开始,在每一层中,首先调用基类的构造函数,然后调用成员对象的构造函数。析构则严格按照与构造相反的次序执行,该次序是唯一的,否则编译器将无法自动执行析构过程。
一个有趣的 现象是, 成 员对象初始 化的次序 完 全不受它们 在初始化 表 中次序的影响,只由成员对象在类中声明的次序决定。这是因为类的声明是唯一的,而类的构造函数可以有多个,因此会有多个不同次序的初始化表。如果成员对象按照初始化表的次序进行构造,这将导致析构函数无法得到唯一的逆序。
5. 如果不主动编写拷贝构造函数和赋值函数,编译器将以“位拷贝”的方式自动生成缺省的函数。倘若类中含有指针变量,那么这两个缺省的函数就隐含了错误。以类 String 的两个对象 a,b 为例,假设 a.m_data 的内容为“hello” ,b.m_data 的内容为“world” 。
现将 a 赋给 b,缺省赋值函数的“位拷贝”意味着执行 b.m_data = a.m_data。这将 造 成三 个错 误 :一 是 b.m_data 原有 的 内 存没 被 释放 ,造 成 内存 泄露 ; 二是b.m_data 和 a.m_data 指向同一块内存,a 或 b 任何一方变动都会影响另一方;三是在对象被析构时,m_data 被释放了两次。
6.拷贝构造函数和赋值函数非常容易混淆,常导致错写、错用。拷贝构造函数是在对象被创建时调用的,而赋值函数只能被已经存在了的对象调用。
7. 类 String 拷贝构造函数与普通构造函数(参见 9.4 节)的区别是:在函数入口处无需与 NULL 进行比较,这是因为“引用”不可能是 NULL,而“指针”可以为 NULL。