[C++]OOP编程基本准则
让自己习惯C++
1. 视c++为一个语言联邦
C++是一个由相关语言组成的联邦而非单一语言。其中包括：
- C。内置数据结构等…
- Object-Oriented C++.包括class, encapsulation（封装）, inheritance, polymorphism, vitual function….面向对象的古典守则。
- Template C++. The important part of generic programming.
- STL。
记住：C++高效编程守则视状况而变化，取决于你使用C++的哪一部分。
2. 尽量以const，enum，inline替换#define
#define MAX 9999
记号名称MAX可能没==进入记号表==，于是当你运用此常量但获得编译错误信息时，可能呢过会因为看到9999而不是MAX而无法准确追踪错误。而解决之道是以一个常量替换上述的宏。
const int Max = 9999;
作为一个语言常量，Max一定会被编译器看到，并进入记号表。
此外还需要注意两个特别情况：
-
- 定义常量指针。由于常量定义式通常被放在头文件中，因此有必要将指针声明为const。
-
- 关于class专属常量。为了将常量的作用域限制于class内，并且确保常量至多只有一份实体，必须将他声明为static成员。
static const int numTurns = 5;
这是一个声明式而非定义式。通常C++要求你对你使用的任何东西提供一个定义式，但如果它是class的专属常量又是static整型，则需特别处理。只要不取他们的地址，你可以声明并使用他们而无需提供定义式。
const int Namespace::numTurns;
这是一个定义式，应该把它放在实现问题中，由于声明时已经获得初值，定义时不再设初值。
The enum hack 补偿方法：一个属于枚举类型的数值可以权充int被使用。并且不能被取地址。
记住：
对于单纯常量，最好以consy对象或enums替换#defines。
对于形似函数的宏，最好改用inline函数替换#defines。
3. 尽可能使用const
如果const出现在星号左边，表示被指物是常量，如果出现在星号右边，表示指针自身是常量，如果出现在两边则都是。
const成员函数
将const实施于成员函数的目的，是为了确认该成员函数可作用域const对象身上。这一类成员函数之所以重要，基于以下两个理由：
- 他们使class接口更容易理解。
- 他们使操作const对象成为可能。改善c++程序效率的一个根本办法就是以pass-by reference-to-const方式传递对象，而此技术可行的前提是，我们有const成员函数来处理取得的const对象。
class TextBlock {
public:
...
const char& operation [] (std::size_t position) const {
return text[position];
} // operator [] for const object.
char& operation [] (std::size_t position) {
return text[position];
} // operator [] for non-const object.把一个成员函数定义为const，意味着对他返回值不能操作，但只要返回一个by value就是实现这个功能，那么成员函数是congst究竟意味什么？
这里有两个流行概念：
bitwise constness
此阵营的人认为，成员函数只有在不更改对象之任何成员变量（static除外）时才可以说是const，也就是说不能更改对象内热任何一个bit，也就是说它不更改对象内任何一个bit！（编译器只要检查赋值行为即可）
然而，许多成员函数虽然不十分具备const性质却能通过bitwise测试。更具体地说，一个更改了“指针所指物”的成员函数虽然不能算是const，但如果只有指针（而非所指指物）隶属于对象，那么此函数为bitwise const不会引发编译器异议。
class CText {
public:
...
char& operator [] (std::size_t position) const {
return text[position];
}
// 不适当，把函数声明为const却返回一个reference纸箱对象内部值。
private:
char* text;
}
const CText cctb("Hello");
char* pc = &cctb[0];
*pt = "J"; // successive! cctb : "Jello" now.此情况导出所谓logical constness。
logical constness
一个const成员可以修改它所处理的对象内的某些bit，但只有在客户端侦测不出来时才可以。
利用mutable就可以释放掉non-static成员变量的bitwise constness约束。
在const和non-const成员函数中避免重复
class text {
public:
const char& operator [] (std::size_t position) const {
return text[position];
}
char& operator[] (std::size_t position) {
return const_cast<char&>(
static_cast<const Text&>(*this)[position]);
{值得注意的是，方向操作–令const版本调用non-const版本以避免错误，是不该做的。因为，const成员函数承诺绝不改变其对象的而逻辑状态，non-const成员函数却没有这般承诺。如果在const函数内调用non-const函数，对象可能会被改变。
请记住：
- const可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体，有助于帮助编译器侦测出错误。
- 编译器强制实施bitwise constness，但你编写程序时应该使用“概念上的常量性”。
- 用non-const版本调用const版本可以避免代码重复。
确定对象被使用前已被初始化
构造函数
在构造函数中最好使用初始化列表，因为在初始化列表中才是真正的初始化，效率更高。另外在初始化列表中还要注意次序的问题，一般来说是按照成员变量的声明次序来初始化变量的。
不同编译单元内定义之non-local static 对象
所谓static对象，其寿命从被构造出来知道程序结束为止，因此stack和heap-based对象都被删除。在函数内的的static对象称为local-static对象（因为他们对函数而言是local），其他static对象称为non-local static对象。程序结束时static对象会被自动销毁，也就是他们的析构函数会在main（）结束时被自动调用。
所谓编译单元是指产出单一目标文件的那些源码。基本上它是单一源码文件加上其所含入的头文件。
现在，我们关系的问题是，对于两个以上源码文件，每一都含有至少一个non-local static对象。真正的问题是：如果某编译单元内的某个non-local static对象的初始化动作使用了另一编译单元内的某个non-local static对象，它所用到的这个对象可能尚未被初始化，因为C++对“定义不同编译单元的non-local static对象”的初始化次序没有明确定义。
实例可以帮助理解：
class FileSystem {
public:
...
std::size_t numDisk() const;
..
};
extern static FileSystem tfs;class Directory {
public:
Directory(params) {
...
std::size_t disks = tfs.numDisks();
// error occurs!
...
}
};问题发生了！你不知道disk在调用tfs之前，tfs有没有被初始化！！！
C++对“定义域不同编译单元内的non-local static对象”的初始化次序没有明确定义！因为这是没有必要的。
幸运的是，我们可以使用Singleton模式来解决这个问题。这个手法的基础在于：C++保证，函数内的local static对象会在“该函数被调用期间”“首次遇到该对象之定义式”时被初始化。所以如果你以“函数调用”（返回一个reference指向local static对象）替换“直接访问non-local static对象”，你就可以保证reference指向一个历经初始化的对象。
class FileSystem {...}; // just the same as before.
FileSystem& tfs() {
static FileSystem fs;
return fs;
}
class Directory {
public:
Directory(params) {
...
std::size_t disks = tfs().numDisks();
// error occurs!
...
}
};
Directory& tempDir() { // 这个函数用来替换tempDir对象。
static Directory td;
return td;
}请记住：
- 为内置型对象进行手工初始化，因为C++不保证初始化他们。
- 构造函数最好使用成员初值列，而不要在构造函数本体内使用赋值操作。
- 为免除“跨编译单元之初始化次序”问题，请以local static对象替换non-local static对象。