为什么要避免单参数构造函数?
下面的代码定义了两个类A和B,B支持<<,A不支持(这是一个疏忽),正常情况下这应该发生编译错误,但是由于B存在从A构造的功能(注意,这是A不能控制的),代码编译通过,但是执行结果是完全无法理解的。如果此问题发生在一个大型项目中(也就是涉及到的类和函数分布在不同目录的不同文件中),不能假设这个问题可以被轻易解决。
class A
{
public:
string type()const{return "A";}
};
class B
{
public:
B(){cout<<"B()"<<endl;}
B(A a){cout<<"B(A a)"<<endl;}//此代码导致A可以被自动构造出B
string type()const{return "B";}
};
ostream& operator<<(ostream& os, const B& tmp)
{
return os<<tmp.type()<<" "<<&tmp;
}
void defaulttest()
{
A a;
B b;
cout<<b.type()<<" "<<&b<<endl;
cout<<b<<endl;
cout<<endl;
cout<<a.type()<<" "<<&a<<endl;
cout<<a<<endl;
}
输出:
B()
B 0xfffffffffffefb1
B 0xfffffffffffefb1 ----------------- cou<<b
A 0xfffffffffffefb0
B(A a)
B 0xfffffffffffeff8 -------------------cout<<a 很明显这个B是新构造的
删除B(A a)后编译出错,这才是正确的结果:
"operator<<(ostream &, const B &)" is not a viable candidate.
(示例代码运行环境:IBM AIX , xlC)