基础议题
条款1:仔细区别指针和引用
没有空引用,一个引用必须总代表某个对象。如果出现不指向任何对象的情况,应该使用指针;如果总是代表一个对象,不允许出现null,应该使用引用。
引用必须有初值,而指针没有此限制。
没有空引用,所以不需要测试有效性,但指针在使用前需要测试是否为null。
指针可以被重新赋值,指向另一个对象。引用则总指向初始化时的那个对象。
一般而言,有不指向任何对象或者不同时间指向不同对象的情况,使用指针;总代表某个对象且不变,使用引用。
实现操作符时,需要返回某种能够被当做赋值对象的东西,比如v[5] = 10;而指针实现需要*v[5] = 10;,所以应该令operator[ ] 返回引用。
结论:指向某对象且不变或实现操作符而其他语法需求由指针无法达成,使用引用,否则使用指针。
条款2:最好使用C++转型操作符
旧式C转型方式几乎允许将任何类型转换为任何其他类型,无法精确指明意图,不醒目,难以辨识。
static_cast:基本与C旧式转型有相同的威力、意义和限制。不能移除常量性。
const_cast:改变表达式的常量性或变易性(volatileness)。
dynamic_cast:执行继承体系中的安全向下转型或跨系转型:将指向基类对象的指针或引用转型为指向派生类或兄弟类的指针或引用,并得知是否成功。失败时,返回空指针(指针时)或抛出异常(引用时)。只能用于继承体系,无法应用在缺乏虚函数的类型身上,也不改变常量性。
reinterpret_cast:与编译平台有关,不具移植性。重新按新类型解释。
条款3:绝对不要以多态方式处理数组
array[i]是一个指针算术表达式,等于*(array+i)。array所指向的内存和array+i所指向内存相距i*sizeof(类型)。编译器不能识别派生类类型,只按基类类型计算偏移,访问错误。
通过基类指针访问有派生类对象构成的数组,结果未定义,删除也是一样情况。
多态和指针算术不能混用。数组几乎总是涉及指针算术运算,所有数组和多态不要混用。
注意,这里的数组是派生类对象组成的数组,如果是指向派生类对象的指针组成的指针数组则没有问题,因为指针大小相同。
条款4:非必要不提供default constructor
默认构造函数在没有任何外部信息的情况下初始化对象。
如果没有默认构造函数,使用class会有一定的限制。比如生成数组时,比如模板容器类。虚基类时需要默认构造函数。
添加默认构造函数,会影响类的效率。