使用缺省参数时应该注意避开下列几种误区。
1.滥用缺省参数,损害代码的结构和可读性。
void f(bool b=false)
{
if (b)
{
file://code of open file
}
else
{
file://code of close file
}
}
打开文件和关闭文件在实现代码上没有什么共同点,把两个属于同一类别的
函数误认为是实现机制相同,凭空捏造一个参数硬把它们凑在一块,没有什么好
处!相反,谁能记得住f (true)代表打开,f ()代表关闭呢?况且,f (false
)、f()都可以关闭文件,如果调用者混合使用它们就会增加维护上的困难。这种
情况下,写成两个独立的函数,非常清晰。
void Open()
{
file://code of open file
}
void Close()
{
file://code of close file
}
推而广之,如下的做法也值得商榷。
class CString
{
private:
char * pcData;
public:
CString(char * pc=NULL);
};
CString::CString(char * pc)
{
if (pc==NULL)
{
pcData=new char[1];
//...
}
else
{
pcData=new char[strlen(pc)+1];
//...
}
}
这一个更具备迷惑性,“都是构造器嘛,当然写在一块喽。”有人说。非也!
应当看到,无参构造器与带char *参数的构造器使用的代码完全分离,并且缺省
参数值NULL在设置数据成员时没有任何作用。CString ()构造器应改写如下:
class CString
{
private:
char * pcData;
public:
CString();
CString(char * pc);
};
CString::CString()
{
pcData=new char[1];
//...
}
CString::CString(char * pc)
{
pcData=new char[strlen(pc)+1];
//...
}
总结:
(1 )凡是出现利用缺省参数值作if判断,并且判断后实现代码完全不同的,
都应该分拆成两个独立的函数。
(2 )只有缺省参数值在函数体中被无歧视的对待,也就是函数对于任何参
数的实现机制都相同时,才可能是合理的。
2.多个缺省参数,可能引入逻辑含混的调用方式]
设计一个类,不仅仅是提供给客户代码正确的功能,更重要的是,对不正确
的使用方式作力所能及的限制。
class CPoint
{
public:
int x;
int y;
CPoint(int x=0,int y=0)
{
this->x=x;
this->y=y;
}
};
乍一看,没什么问题。构造CPoint对象时如果不指定x 、y 的初值,则设为
原点坐标。让我们测试一下:
CPoint pnt1;
CPoint pnt2(100,100);
CPoint pnt3(100); file://[1]
结果发现pnt3的值为(100 ,0 ),跑到x 轴上去了。对于想绑定两个参数,
让它们同时缺省,或者同时不缺省,我们无能为力。但是如果去掉缺省参数,情
况就会好转。
class CPoint
{
public:
int x;
int y;
CPoint()
{
x=0;
y=0;
}
CPoint(int x,int y)
{
this->x=x;
this->y=y;
}
};
这样,语句[1]就会引发编译错误,提醒使用者。
抬杠的会说:“CPoint pnt3 (100 );初始化到x 轴,本来就是我想要的。”
真的吗?那么,请你在你的类文档中明确指出这种独特的调用方法,并且告诉使
用者,将点初始化到y 轴是CPoint pnt4 (0 ,100 );这种不对称的形式。
至于我嘛,self document好了。
3.重载时可能出现二义性
这个简单,随便举个例子:
void f(int a,int b=0)
{
}
void f(int a)
{
}
虽然潜在的模棱两可的状态不是一种错误,然而一旦使出现f (100 );这
样的代码,潜伏期可就结束了。
4.函数调用中的精神分裂症
Effective C++ 2nd 中的条款,为了本篇的完整性加在这里。这种罕见的症
状出现的条件是:派生类改写了基类虚函数的缺省参数值。
class CBase
{
public:
virtual void f(int i=0)
{
cout<<"in CBase "<<i<<endl;
}
};
class CDerive : public CBase
{
public:
virtual void f(int i=100)
{
cout<<"in CDerive "<<i<<endl;
}
};
CDerive d;
CBase * pb=&d;
pb->f(); file://[2]
运行后输出:
in CDerive 0
记住,缺省参数是静态绑定,而虚函数是动态绑定,所以[2] 运行的是
CDerive::f()的函数体,而使用的缺省值是CBase 的0.