对于C++的缺省参数的使用我们应该注意以下几点:
缺省参数不能出现在函数指针、函数引用以及typedef中
缺省参数可以在不同的声明中逐步给出
不同作用域的声明中定义的缺省参数是独立的,互不影响;
同一作用域的声明中不能重复定义同一个参数的缺省值。
看个例子就明白了:
类似的规则也适用于类的成员函数。不过不同的一点是,缺省值的作用范围是整个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)
缺省参数不能出现在函数指针、函数引用以及typedef中
缺省参数可以在不同的声明中逐步给出
不同作用域的声明中定义的缺省参数是独立的,互不影响;
同一作用域的声明中不能重复定义同一个参数的缺省值。
看个例子就明白了:
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
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)