继续《C++ premier plus》的学习
(1)函数重载,通俗来说,就是相同的函数名字名下,存在多个函数,要使得这成立,各个同名函数必须形参列表(也称为“签名”,signature)不同,形参相同,仅仅返回值不同,不能用作函数重载。
(2)如果某个调用,匹配多个函数,编译器是如何选择的?
原则是选择最匹配的(exact match)函数,例如有如下三个函数原型
void stove(double & r1); //matches modifiable lvalue
void stove(const double & r2); //matches modifiable and non-modifiable lvalue, and rvalue
void stove(double && r3); //matches rvalue
并且有如下语句:
double x = 55.5;
const double y = 32.0;
stove(x); //使用stove(double & )
stove(y); //使用stove(const double &)
stove(x+y); //使用stove(double &&)
(3)模板(template)并不是函数的定义,而是告诉编译器如何自动去定义函数的规则,定义两个数据交换的函数模板可以写成如下形式
例子: template <typename T>
void swap(T &a, T &b)
{
T temp;
temp = a;
a = b;
b = temp;
}
上述代码中,关键词“typename”可以换成“class”,因为C++ 98标准创立以前,使用的是“class”,因此两种写法都是正确的
(4)模板重载
当两个模板名字相同,参数列表不同,即可以重载,方法与函数重载类似,不再赘述,值得提出的是,模板的参数列表允许出现其他类型的具体参数,如
整型,浮点型,等等。
(5)关于优先级
假设一个函数调用匹配了多个函数(exact match),编译器会选择最佳匹配,这个过程称为“重载决策”,如果多个函数中只有一个非模板函数,则选择非模板函数;如果所有函数均为模板函数,选择更具体化(more specialized)的那个;如果有两个或以上同等匹配的非模板函数(模板函数),他们同样具体化,那么编译器将会报错。举例如下,
template <typename T> //模板A
void ShowArray(T arr[], int n);
template <typename T> // 模板B
void Show Array(T * arr[], int n);
有如下语句:
int a[4] = {1, 2, 3, 4};
double * pd[3];
for (int i = 0; i < 3; i++)
*pd[i] = i;
ShowArray(a, 4); //调用模板A
ShowArray(pd, 3); //调用模板B
上述例子中,第一次调用ShowArray(),选用模板A,T只用被解释成int 类型即可,因此编译器选择模板A;第二次调用ShowArray(), 选用模板A,T需要被解释成double *类型(指向double类型数据的指针),选用模板B,T只需要被解释成double数据类型,因此B比A更具体化,所以选用模板B