一、
转换函数
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以及其它一些又扯上构造析构的相对简单的玩意儿来说,没有记笔记
记我所记,记我所需