C++缺省参数的注意事项

遗失记忆

对于C++的缺省参数的使用我们应该注意以下几点：
缺省参数不能出现在函数指针、函数引用以及typedef中（8.3-3）  
缺省参数可以在不同的声明中逐步给出（8.3-4）  
不同作用域的声明中定义的缺省参数是独立的，互不影响；  
同一作用域的声明中不能重复定义同一个参数的缺省值。  
看个例子就明白了：  

void f(int, int);  
void f(int, int = 7);  
void f(int = 7, int); //这句如果提到上一句前面就不对了  
void m()  
{  
     f(4); //等价于f(4,7)  
     void f(int, int); //因为进入新的作用域，f现在变成不带缺省值  
     f(4); //错误，参数数目不符  
     void f(int, int = 5); //OK  
     f(4); //等价于f(4,5)  
     void f(int, int = 5); //错误，不能重复定义，尽管这里的缺省值和前面的值是一样的  
}  

int main()  
{  
     f(); //等价于f(7,7)  
}  

类似的规则也适用于类的成员函数。不过不同的一点是，缺省值的作用范围是整个translation unit。（8.3-6）  

class C {  
     void f(int i = 3);  
    void g(int i, int j = 99);  
};  
void C::f(int i = 3) //错误，重复定义缺省值  
{  
     g(); //等价于g(88,99)  
}  
void C::g(int i = 88, int j) //整个translation unit有效  
{  
}  

为了不违反One Definition Rule，每个translation unit中指定的缺省值不能不同。  
比如说，你不能这样写：  
A.cpp  
void f(int, int = 7);  
...  
void f(int = 3, int);  

B.cpp  
void f(int, int = 7);  
...  
void f(int = 4, int);  

缺省值不一定是常数，允许使用表达式，所以也可以是全局变量或者函数返回值。（8.3-1）  
但是缺省值不能是局部变量或者非静态成员函数的返回值，也不能是this。（8.3-7~9）  
缺省值的表达式中也不能引用其它参数  
比如：  
int f(int (&a)[10],int b = sizeof(a));  

虚成员函数的缺省值是静态绑定的。而且派生类不会继承基类的缺省参数（8.3-10）