高效C++ --模板与泛型编程

在C++中模板体现的是编译期多态，virtual体现的是执行期多态。

关于typename的双重含义：

在声明template參数时，不论使用keywordclass或typename，意义全然同样。

可是C++并不总是把class和typename视为等价。

有时候必须使用typename。

Template内出血的名称假设依于某个template參数，称之为从属名称。假设从属名称在class内呈嵌套状，我们称她为嵌套从属名称。

总而言之，在一个模板中使用了还有一个模板内的參数类型，就须要使用typename表明所使用的这个变量是属于一个模板中的类型。

不论什么时候当你想要在template中值涉一个嵌套从属类型名称，就必须在紧邻他的前一个位置放上keywordtypename

使用typename表示嵌套从属类型名称。但不得在base class list（基类列）或member initialization list(成员初值列)内以它作为baseclass修饰符。

 

在使用new申请内存时，假设内存空间不足。可能会有异常发生，可是能够从外界设置异常发生时调用的函数。set_new_handler

 

区分接口继承和实现继承：

函数接口继承和函数实现继承。这两种继承的差异，非常像函数声明与函数定义之间的差异。

有时候希望derived classes仅仅继承成员函数的接口（也就是声明）；有时候你又会希望derived classes同一时候继承函数的接口与实现。但又希望可以override他们所继承的实现；又有时候你希望derived classes同一时候继承函数的接口和实现。而且不同意override不论什么东西。

事实上上面的三种情况分别相应三种情况，各自是纯虚函数，虚函数，和基类的函数

 

声明一个pure virtual函数的目的是为了让derived classes仅仅继承函数接口。

声明简朴的impure virtual函数的目的。是让derived classses继承该函数的接口和缺省实现。

声明non-virtual函数的目的是为了令derived classes继承函数的接口及一份强制性实现。

 

模板特化的方法。对于模板的特化就像是又定义了一个模板，只是这个模板的參数是已经规定好的，所以的template里面就不须要定义typename。相当于模板的重载，仅仅只是这个模板的參数是已经规定好了的。

 

Effective C++中提到过。使用const enum inline取代#define,这里的意思是前面能够替代后面。由于对于#define来说。将来替换的始终是文本。假设有错或者使用#define不是非常恰当，可能在编译的时候不会出错可是在执行过程会出错。假设是使用前者来搞定这些，他们假设有错，在编译的时候是能够发现的。

 

眼下全部编译器对于virtual function 的实现方法都是使用各个class专属的virtual table。大小固定，而且在程序运行前就构造好了。

 

C++在布局以及存取时间上基本的额外负担是由virtual引起的。

Virtual function机制：用以支持一个有效率的“运行期绑定”

Virtual base class用以实现“多次出如今继承体系的base class 有一个单一而被共享的实体”

这两种机制分别相应子类中的vptr vbtr子类中有两个指针。分别运行他们

另一些多重继承下的额外负担，发生在“一个derived class和其第二或后继之base class的转换”之间。