C++知识点系列之三

C++知识点系列之三

关于预处理
 
#define的常量用const取代，宏用inline函数取代。
在类定义中定义的函数自动为内联函数。也可以使用inline修饰函数使其成为内联的。inline只有在函数定义时才会发挥作用。因此头文件中的内联函数都是有函数体的。inline的函数也是内部联接的。
friend的函数也可以是inline的。
inline只是对编译器的优化提示，编译器不一定会对所有的inline进行内联。
不可替代的预处理功能：
字符串化（#，将标识符转化为字符串）：#define DEBUG(x) cout << #x " = " << x << endl
记号粘贴（##，连接两个标识符形成一个新的标识符）：#define FIELD(a) char* a##_string; int a##_size
 
static

编译器保证对static的内置类型赋初值。对于static的对象调用其默认的构造函数。
static对象的析构函数会在main()函数结束或调用exit()时被自动调用。因此在static对象的析构函数中调用exit()可能会导致递归调用。调用abort()时不会自动调用static对象的析构函数。
全局的对象是static的。因此全局对象的构造和析构函数可以用来在进入main()之前和退出main()之后完成一些工作。
对于全局的对象来说，因为其本身是静态存储的，因此使用static修饰的效果只是使其变为内部联接。
静态数据成员的定义：
class A {
  static int i;
public:
  //...
};
int A::i = 1;
只有static const的整型才能在类内部被初始化，其他类型都必须在外部（文件域中）被初始化。因此本地类（在函数中定义的类）中不能定义静态成员。
static的成员函数在类中定义。为所有该类的对象共用，调用时可以直接使用类名::函数名。
static的成员函数只能访问static的成员，因为static的成员没有this。
static初始化的依赖关系（最好避免）。可参考iostream的实现（cin、cout和cerr都是在不同文件中的static对象）或另一种（居然无名！）方法。

namespace
#include <iostream.h>
意味着
#include <iostream>
using namespace std;
因为在标准化之前不存在名字空间，.h中的所有内容都是暴露的
namespace定义只能出现在全局域或另一个namespace中。定义的{}后没有分号。可以跨越多个文件定义（不算重复定义）。也可以定义别名。如：
namespace Bob = BobsSuperDuperLibrary;
每个编译单元都有一个未命名的namespace。通过将变量放入这个namespace中就可以不必将它们声明为static的（内部联接）。C++中要达到文件内的静态就使用这种方法。
类中声明的友元也会进入这个类所在的namespace。
using namespace只在当前域内有效（将namespace中的所有名称注入当前域）。using namespace中引入的名称可以被覆盖。
联接方式。比如需要在C++中调用C的库中的函数：
extern "C" float f(int a, char b);
否则的话联接程序可能无法解析函数调用。通常编译器都会自动处理这种情况。

引用和指针
 
引用必须在创建时被初始化为引用某一个变量，并且一旦在初始化后就不能再改变被引用的对象。
函数返回引用时要注意引用的对象不能在函数返回后就不存在了，比如函数内部的变量。
拷贝构造函数接受的是本类的引用。定义拷贝构造函数就必须定义构造函数。
通过声明一个private的拷贝构造函数可以防止对象被传值。
指向特定类中成员的指针：
声明：
int ObjectClass::*pointerToMember;
初始化：
int ObjectClass::*pointerToMember = &ObjectClass::a;
使用：
objectPointer->*pointerToMember = 47;
object.*pointerToMember = 47;
对于成员函数也适用
 
运算符重载
 
重载的运算符必须接受至少一个自定义类型。接受的参数都为内置类型的运算符无法被重载。
运算符作为类的成员函数被重载时，类的对象就作为第一个参数。注意此时函数的返回方式。
重载++a会调用operator++(a)，重载a++会调用operator++(a, int)，其中第二个int参数是不会被用到的，只是用来区分前缀和后缀调用。--的重载也是一样。
=和[]只能作为成员函数被重载。()只能作为成员函数被重载，可以带任意多个参数。（若可以不作为成员函数被重载，则对于内置类型的运算就可以被重载，这是没有意义的）
->和->*也只能作为成员函数被重载，但对返回值有一定的限制。
.和.*不能被重载
返回值优化：
Integer tmp(left.i + right.i);
return tmp;
这样编译器需要三步才能完成（构造，拷贝，析构），而
return Integer(left.i + right.i);
则只需要一步
重载时作为成员或非成员函数的选择：
所有的一元运算符 推荐作为成员
= () [] -> ->*  必须作为成员
+= -= /= *= ^=
&= |= %= >>= <<= 推荐作为成员
所有其他的二元运算符 推荐作为非成员
当对象还没有被创建时，=调用的是构造函数或拷贝构造函数，为的是初始化对象；当对象已被创建时，=调用的才是operator=。因此
Fee fee(1);
Fee fum(fi);
这样的写法要比
Fee fee = 1;
Fee fum = fi;
这样的写法清晰。
在重载赋值运算符时，首先检查是否是对自身赋值是个好习惯。
当对象中有指针时，拷贝构造函数通常需要连同复制出指针所指向的内容。而当此内容很大时，通常采用引用计数的方法，只在需要修改数据且引用数大于1时才复制内容。这种技术被称为copy-on-write。
当构造函数接受一个其他类型的对象作为参数时，编译器可以用它来进行自动类型转换。如果不需要这样的自动转换，在构造函数前加上explicit。
也可以重载operator 类型名 来定义自动类型转换。由于这种类型转换是由源对象完成的（不像构造函数的类型转换是由目标对象完成的），因此可以完成自定义对象到内置类型的转换。
运算符重载为非成员函数时，运算符两边都可以进行自动类型转换。
提供自动类型转换时注意两种类型之间只需提供一条转换路径，否则会出现二义性错误。
 
new和delete
 
new为对象分配空间并调用构造函数。delete调用对象的析构函数后释放对象的空间。
delete对于零指针无效，因此人们通常在delete之后将指针设为零，以防止多次delete带来的问题。
delete void*可能会带来问题。由于编译器不知道具体的类型，将导致对象的空间被释放而没有调用析构函数。这可能会引起内存泄漏。
a* p = new a[100];为数组中的每个对象分配空间并调用构造函数进行初始化。
delete []p;则完成相反的事。delete后的[]表示指针只是数组的首地址，编译器会自
动获取数组的大小完成释放工作。由于表示首地址，最好定义为常量：
a* const p =  new a[100];
当new找不到空间分配时，会调用new-handler。其默认行为是抛出异常。可以通过使用new.h中的set_new_handler()来定义作为new-handler的函数。
operator new和operator delete都可以被重载，用来完成一些自定义的内存管理功能：
void* operator new(size_t sz)
void operator delete(void* m)
当new和delete作为类的成员函数被重载时，为该类的对象分配空间时就会调用这些重载的操作符。
用于为数组分配空间的operator new[]和operator delete[]也能被重载。实际占用的空间比分配的要多4个字节，被系统用于存储数组的大小。
重载的new可以接受任意多个参数，比如定义第二个参数，用于指明在何处分配空间：
void* operator new(size_t, void* loc)
使用时：
X* xp = new(a) X;
其中的a就是第二个参数。采用这种形式的new可能需要显式调用析构函数：
xp->X::~X();
（因为对象可能不是构建在堆上，使用delete只能释放堆上的空间）

继承
 
合成和继承都需要在构造初始化列表中对子对象进行初始化。
一旦在子类中定义了一个与超类中同名的函数，超类中所有同名的函数，不管函数特征是否相同，都会变得不可见。
构造函数，析构函数，operator=不会在继承时进入子类。
继承默认是private的，即超类中的public成员在子类中也会变成private的。若只想暴露某些成员，可以在子类中的public部分使用using。这种情况下同名的重载函数会被全部暴露。
 
多态
 
C++中使用virtual关键字来声明函数为延迟绑定的（或动态绑定）。函数的定义中不需要virtual。使用了virtual之后， upcast时调用的就是子类的重载函数，否则只能调用基类的。（C++使用virtual来使得动态绑定成为可选的，这是出于效率的考虑。其他语言如 Java和Python等默认就是使用动态绑定的）
拥有纯虚函数的类是抽象类（提供了一个接口）。纯虚函数在virtual定义后加上=0。
继承抽象类的子类必须实现基类中所有的纯虚函数，否则就还是抽象类。
纯虚函数不能内联定义。在定义后则可以被子类使用。
传值的upcast会把对象切割，即子类会被切到只剩下基类的部分。抽象的基类可以避免这种情况，因为抽象类不允许实例化。
构造函数不能是virtual的，而析构函数可以。
 
模板
 
继承可以重用对象，而模板可以重用代码。
定义template时可以使用内置类型。它们的值可以是常量。如：
template<class T, int size = 100>
template不仅可以用来创建类模板，还能用来创建函数模板。
 
杂项
 
之间没有标点符号的字符数组会被自动连接起来
C++标准中包含的不是STL，而是C++标准库，它是由STL演变来的。
C++中的类型转换可以函数的形式，如float(n)等价于(float)n。
C++中的显示类型转换（提供一种容易辨别的形式）：
static_cast：类型收窄时可以避免编译器的警告信息；同样可用于类型放宽、void*的强制转换和自动隐式转换。
const_cast：用于转换const和volatile，比如将一个普通指针指向一个const
reinterpret_cast：把一种类型当成另一种类型
dynamic_cast：用于downcast
sizeof是运算符而不是函数，用于类型时要加括号，如sizeof(double)，用于变量时不用，如sizeof x。