C++-explicit关键字

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; // 本不应编译,类型不匹配

上述代码中执行了一个intIntCell的赋值语句。从强类型化的角度出发,我们希望他是不成立的,因为等式两边类型不匹配,应该调用obj的write方法取代他。
但是,在正常情况下,这个等式是成立的。
为什么呢?单参数的构造函数会定义一个隐式类型转换(implicit type conversion),创建一个临时对象,这个对象令这样的赋值兼容。实际上,obj = 37;这一语句等价于以下的代码

IntCell temp = 37;
obj = temp;
posted @ 2019-03-14 14:03  Bylight  阅读(215)  评论(0编辑  收藏  举报