一、
转换函数
1、
conversion operator是class的一种特殊的member function，其形式一般如下所示：
operator type() const;
其中type可以是除了void之外的任意可以被函数返回的类型（所以不可以转换为数组或者函数类型，但是允许转换为数组指针或者函数指针，或者引用类型）；同时conversion operator没有显式的返回类型，也不能有形参，且必须是class的member function。
2、
user-defined conversions 可以置于一个标准（内置）type conversions之前或者之后。比如一个定义了
operator int() const { … } 的class ClassA：
ClassA obj = 3.1415926; 也是正确的。
C＋＋内置类型转换会把double先转换为int，然后再执行user-defined conversions。
3、
上面的obj，可以做obj += 100;这样的操作，编译器首先把obj隐式转换为int，然后再相加。
4、
注意C＋＋11的explicit conversion operator：
explicit operator int() const { return val; },
编译器不会把一个显式的类型转换运算符用于隐式类型转换。此时obj += 100; 就是错误的，因为编译器不会隐式把obj转换为int，必须这样才正确：
static_cast<int>(obj) += 100;。
5、
注意当表达式用作条件时候的例外，具体可以参考C＋＋Primer。
6、
注意C＋＋Primer，14.9，其中关于转换二义性的分析。
7、
注意C＋＋Primer，7.5，关于converting constructor的分析。结合14.9，了解explicit关键字的作用。
二、
模版
1、
函数模版定义以template开始，后面跟模版参数列表，这是一个用小于符号<和大于符号>包围起来的一个或者多个（用逗号隔开）模版参数的列表。模版定义中，模版参数不能为空（注意partial specialization）。
2、
编译器根据函数模版生成的具体代码称为函数模版的实例（Instantiation）
3、
函数模版类型参数前必须有关键字class或者typename（注意某种必须使用typename而不能是class的时候）
4、
注意nontype parameter，它表示一个value而非一个type。
5、
inline和constexpr的函数模版，inline或者constexpr关键字必须放在模版参数列表之后，返回类型之前。
6、
类模版与函数列表类似，以关键字template开始，后跟模版参数列表
7、
类模版的每个实例都会成为一个独立的class。注意不是object是class。
8、
定义在类模版内部的函数默认是inline function，定义在类模版外部的函数是一个普通的成员函数，但是必须以template开始，后跟类模版参数列表。同时，类模版的成员函数，只有在被使用到的时候，才会实例化。
9、
普通的class或者是类模版都可以包括本身是模版的成员函数（member template）。成员模版不能是虚函数。
10、
需要注意的是，类模版和成员模版各自有各自的模版参数。当在类模版定义外定义一个成员模版时，必须同时为类模版和成员模版提供模版参数列表。
11、
模版特例化，即定义一个模版的独立定义，其中的一个或者多个模版参数被指定为特定的类型。
12、
函数模版特例化，应该使用template后跟一个空的<>，并为每个模版参数都提供实参。类模版特例化可以参照函数模版特例化来做。
13、
类模版特例化和函数模版特例化相比而言，可以有另外一种特例化的方式，就是只指定一部分而非所有模版参数（侯老师说的个数的偏），或者只指定参数的一部分而非全部特性（侯老师说的范围的偏）。此种方式成为模版部分特例化（partial specialization），也即是侯老师所说的“模版偏特化”，讲真，更喜欢大陆的翻译。
三、
关于namespace、template以及其它一些又扯上构造析构的相对简单的玩意儿来说，没有记笔记
记我所记，记我所需
网友评论