读C++标准系列 - 8.3.6 缺省参数

返回目录

缺省参数不能出现在函数指针、函数引用以及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）