使用默认参数的4大要点
概述
默认参数是C++中新增的特性。在C++中,可以为函数的参数指定默认值。调用函数时,如果没有指定实参,则自动使用默认参数。默认参数的基本语法这里就不作介绍了,下面重点介绍使用默认参数的一些知识要点。
基本规则
1、当函数中某个形参有默认值时,该形参右边的所有形参都必须有默认值。在下面的示例代码中,形参a有默认值,但右边的形参b没有默认值,这是不合法的,会报编译错误。
int Add(int a = 5, int b, int c = 6);
2、只能在函数声明和函数定义其中一处给形参指定默认值,不能在两处同时指定,通常在函数声明时指定。比如,下面的示例代码就是不正确的。
// 函数定义和声明时,不同同时指定默认参数值,否则,编译出错
int Add(int a = 5, int b = 6);int Add(int a = 5, int b = 6)
{return a + b;
}
修改后的代码如下:
int Add(int a = 5, int b = 6);int Add(int a /* = 5 */, int b /* = 6 */)
{return a + b;
}
3、形参的默认值可以是常量、常量表达式、全局变量和函数指针,但不能是局部变量。因为默认值一般在编译期就会确定下来,而局部变量需要到运行时才能确定其值。
typedef int (*CALLBACK_TEST)(const char *pszText);static int s_nData = 1;int Test(const char *pszText);int Add(int a = 66, int b = 88 + 99, int c = s_nData, CALLBACK_TEST d = Test);
默认参数与占位参数
占位参数是指参数只声明了类型,没有声明名称。由于没有指定参数名,在函数内部无法使用占位参数,但调用函数时,却必须给占位参数指定实参。占位参数可以与默认参数结合起来使用,此时可以不传实参,主要用于程序扩展和对C代码的兼容。示例代码如下:
int Test(int a, int = 88)
{return a;
}Test(1);
Test(1, 2);
默认参数与函数重载
在重载的多个函数中,如果有的函数指定了默认参数,则很容易发生二义性的问题,导致编译器无法确定到底使用哪个重载函数,进而发生编译错误。可参看下面的示例代码。
class CBase
{
public:void Show(int a){printf("CBase Show: %d\n", a);}void Show(int a, int b = 88){printf("CBase Show: %d, %d\n", a, b);}
};CBase base;
base.Show(66); // 产生二义性,编译报错
可以看到,调用base对象的函数Show(66)时,编译器不知道该调用哪一个重载版本的函数,因为两个版本都能匹配上,故编译器会报错。解决该问题的最佳方案为:尽量不要在函数重载时指定默认参数。
默认参数与虚函数
在有派生关系的类中,如果基类和派生类的虚函数中都指定了默认参数,且默认参数的值不一致,则会出现一些不符合用户预期的结果。具体可参看下面的示例代码。
class CBase
{
public:virtual void Show(int a = 66){printf("CBase Show: %d\n", a);}
};class CDerived : public CBase
{
public:virtual void Show(int a = 88){printf("CDerived Show: %d\n", a);}
};CDerived *pDerived = new CDerived();
pDerived->Show(); // 输出为CDerived Show: 88
CBase *pBase = pDerived;
pBase->Show(); // 输出为CDerived Show: 66
可以看到,调用函数时发生了多态行为,均调用了派生类的Show函数,但输出值不一样,为什么会这样呢?我们知道,虚函数具有多态行为,是动态绑定的,但函数的默认参数却是在编译时就静态绑定的。使用派生类的指针调用函数时,绑定的是派生类中声明的函数的默认参数。使用基类的指针调用函数时,绑定的是基类中声明的函数的默认参数。