C++中可以将构造函数声明为explicit型,以避免后台类型转换(behind-the-scenes tyoe conversions)
我们先来看这样一个模拟int的类
class IntCell {
public:
// 默认的无参构造函数
IntCell() {
storedValue = 0;
}
// 含参构造函数
IntCell(int initialValue) {
storedValue = initialValue;
}
// 返回存储的值
int read() {
return storedValue;
}
// 修改存储的值
void write(int num) {
storedValue = num;
}
priavet:
int storedValue;
}
在C++中,默认允许隐式类型转换(implicit type conversion),但这破坏了强类型化(strong typing),可能导致一些难以发现的bug。考虑以下的代码:
IntCell obj;
obj = 37; // 本不应编译,类型不匹配
上述代码中执行了一个int
到IntCell
的赋值语句。从强类型化的角度出发,我们希望他是不成立的,因为等式两边类型不匹配,应该调用obj的write方法取代他。
但是,在正常情况下,这个等式是成立的。
为什么呢?单参数的构造函数会定义一个隐式类型转换(implicit type conversion),创建一个临时对象,这个对象令这样的赋值兼容。实际上,obj = 37;
这一语句等价于以下的代码
IntCell temp = 37;
obj = temp;