导读
作者Scott Meyers在如何有效运用C++方面给出了55个具体的做法,大致分为两类:
- 一般性的设计策略,集中于"如何在不同的做法中选择一种完成任务"
- 选择inheritance(继承)还是template(模板)
- 选择public继承还是private继承
- 选择private继承还是composition(复合)
- 选择member函数还是non-member函数
- 选择pass-by-value还是pass-by-reference
- 具体细节的特定语言特性
- 什么是assignment操作符的适当返回类型
- 何时该令析构函数为virtual
- operator new无法找到足够内存时,该如何行事
术语
声明式(declaration)是告诉编译器某个东西的名称和类型
extern int x; // 对象声明式
std::size_t numDigit(int number); // 函数声明式
class Widget; // 类声明式
template<typename T>
class GraphNode; // 模板声明式
定义式(definition)是编译器为此对象拨发内存的地点
int x; // 对象定义式
std::size_t numDigit(int number){ // 函数定义式
return number;
}
class Widget{ // 类定义式
public:
Widget();
~Widget();
};
template<typename T> // 模板定义式
class GraphNode{
public:
GraphNode();
~GraphNode();
};
copy构造和copy赋值的区别:一个新对象被定义,一定是构造函数被调用,不可能调用赋值操作
条款01:视C++为语言联邦
C++有四个次语言
- C:没有模板(templates),没有异常(exceptions),没有重载(overloading)..
- Object-Oriented C++:C with Classes, 封装,继承,多态,虚函数绑定...
- Template C++:模板元编程(TMP)...
- STL:容器,迭代器,算法,函数对象...
条款02:尽量以const,enum,inline替换 #define
这个条款或许更改为"宁可以编译器替代预处理器"比较好
#define ASPECT_RATIO 1.653
ASPECT_RATIO可能从未进入符号表,从未被编译器看见,可以用一个常量来替代宏
const double Aspect_Ratio = 1.653; // 大写名称常用于宏,这里改变名称写法
当以常量替换#define时,有两种特殊情况
- 定义常量指针
由于常量定义式通常放在头文件中,因此有必要将指针也声明为const
const char* const authorName = "Scott Meyers";
- class专属常量
为了将常量作用域限制为class内,必须让它成为一个成员,为确保常量最多一份,必须让它成为一个static
通常C++要求你对所有你使用的任何东西提供一个定义式,但是如果是class专属常量且是static且为整数类型(int,char,bool),则特殊处理,只要不取地址,你可以声明他们而无须提供定义式,如下。但如果需要取其地址,就必须提供在实现文件中提供定义式,否则编译不通过。
// GamePlayer.h
class GamePlayer{
public:
static const int print(){ return NumTurns;}
static const int* address(){ return &NumTurns;}
private:
static const int NumTurns = 5; // 常量声明式
};
// GamePlayer.cpp
#include <iostream>
#include "GamePlayer.h"
const int GamePlayer::NumTurns; // 定义式,初始值声明式已获得,不能再设初值
int main(){
// GamePlayer::print();
std::cout << GamePlayer::address();
return 0;
}
顺带一提,#define宏无法提供封装性,如果编译器不允许"static整数型class常量"完成"in class初值设定",可以改用"the enum hack"补偿做法,其理论基础是枚举类型的数值可以当成int使用
class GamePlayer{
private:
enum { NumTurns = 5};
int scores[NumTurns];
}
enum hack行为比较像#define而不像const,有时候这正是你想要的,如取地址的合法性(const合法,#define和enum不合法),enum hack还是模板元编程的基础技术(条款48)
宏不会招致函数调用的额外开销,但是容易误用
#define CALL_WITH_MAX(a, b) f((a) > (b) ? (a) : (b)) // 以较大值调用f
int a = 5, b = 0;
CALL_WITH_MAX(++a, b); // a被累加两次
CALL_WITH_MAX(++a, b+10); // a被累加一次
而tempalte inline(条款30)可以获得宏带来的效率和所有可预料的行为以及类型安全性
条款03:尽可能使用const
const如果出现在*左边,表明被指物是常量,在右边则表明指针自身为常量
void f(const Widget* pw); //pw所指之物为常量
void f(Widget const* pw); // 同上
STL中const_iterator指的是所指物不能改动
const成员函数
- 可以使用const成员函数使接口更容易被理解
- 可以使操作const对象成为可能,以pass-by-reference-to-const传递对象能够改善程序效率
- 两个成员函数如果只是常量性不同,可以重载
成员函数如果是const意味着什么?
- bitwise constness(physical constness)
不改变对象内的任何一个bit,很容易侦测违反点:编译器只需寻找成员变量的赋值动作即可,这也是C++对常量性的定义,因此const成员函数不可以更改对象内的任何non-static成员变量 - logical constness
const成员函数可以修改对象内的某些bits,但是只有在客户端(调用端)侦测不出的情况下才如此
声明为mutable的变量即使在const成员函数中也可以被更改
在const和non-const成员函数中避免代码重复
运用const成员函数实现non-const成员函数,可以使用const_cast进行常量性转除
class TextBook{
public:
const char& operator[](size_t position) const{
return text[position];
}
char& char& operator[](size_t position){
return const_cast<char&>(
static_cast<const TextBook&>(*this)
[position]
);
}
};