3.4 C++的函数默认参数与函数重载

1 默认参数

默认参数是指当函数调用中省略了实参，而自动使用的值。必须通过函数原型来设置默认值，如1）处。默认参数值就是初始化值，所以原型将n初始化为1，如果传递省略参数n，则它的值为1；否则传递的值将覆盖1。

注意：1）对于带参数列表的函数，必须从右向左添加默认值；2）实参按从左向右的顺序依次被赋给相应的形参；3）只有原型指定了默认值，函数定义与没有默认参数时完全相同。通过使用默认参数，可以减少要定义的析构函数、方法以及方法重载的数量。

char * left(const char* str, int n = 1);     // 1)
int main()
{
    left(sample);
    left(sample,4);
}
char * left(const char* str, int n)
{
    ...
}

2 函数重载

默认参数能够让不同数目的参数调用同一个函数，而函数多态（函数重载）能够使用多个同名函数。函数重载的关键是函数的参数列表——函数特征标。如果两个函数的参数数目和类型相同，同时参数的排列顺序也相同，则他们的特征标相同，而变量名是无关紧要的。若定义特征标不同，名称相同的函数，则称为函数重载。仅当函数基本上执行相同的任务，但使用不同形式的数据时，才应采用函数重载。

没有匹配的函数原型并不会自动停止使用其中的函数，因为c++尝试使用标准类型转换强制进行匹配。如1）处，有三种转换year的方式，c++拒绝这种函数调用，并报错。

把类型引用和类型本身视为同一特征标，如2）处。

匹配函数时，不区分const和非const变量。如3）处，dribble()函数有两个函数原型，一个用于const指针，另一个用于常规指针，编译器将根据实参是否为const来决定使用来一个原型。如果只有一个用于const指针的原型，如4）处drivel()，可以与带const或非const参数的调用匹配。如果只有一个用于常规指针的原型，如5）处dabble()，仅能与非const参数的调用匹配，与const参数的函数调用无法匹配。

// 函数原型
void print(long l, int width);
void print(int i, int width);
void print(double d, int width);

// 函数调用
unsigned int year = 12;
print(year,6);        // 1)

// 函数原型
double cube(double x);       
double cube(double& x);        // 2）

cube(x);        // 编译器无法确定使用哪个原型

// 函数原型
void dribble(char *bits);
void dribble(const char *bits);        // 3)
void drivel(const char *bits);            // 4)
void dabble(char *bits);                 // 5)

不同引用参数的重载，将调用最匹配的版本。如1）处左值引用参数r1与可修改的左值参数（如double变量）匹配；如2）处const左值引用参数r2与可修改的左值参数、const左值参数和右值参数（如两个double和）匹配；如3）处左值引用参数r3与左值匹配。

void stove(double &r1);         // 1)
void stove(const double &r2);        // 2)
void stove(double &&r3);        // 3)

double x = 1.2;
const double y = 1.5;
stove(x);        // 与1）处匹配
stove(y);        // 与2）处匹配
stove(x+y);        // 与3）处匹配

如果没有定义函数stove(double &&r3)，stove(x + y)将调用函数stove(const double &r2)。