C++类定义中的隐式类型转换问题分析

前言

最近看《C++ Primer》这本书时，遇到了一个比较抽象的问题，书上的内容描述的也比较抽象，感觉不好理解。

因此我去搜索了一些资料再结合书籍原文大致弄清楚了C++在类定义中的隐式类型转换的问题，文末有书中原文内容截图，建议在看本文分析之前，先去看看这本书对应这一个问题的描述与解释，我就不再赘述，查看原书内容可以直接跳转到文末。

隐式类型转换例子

先来上一个类：

我们常见的实例化对象的方式如下：

这些都是正确且常见的实例化方法，但是接下来的就不正常了捏，因为C++的隐式类型转换机制：

从上图可以发现，这种“诡异”的写法也能正常编译通过，而这是其它语言所不具有的能力。

这是由于C++中存在隐式类型转换机制，或者叫隐式构造函数，在上面的代码中它隐式的将22转换成一个Entity，构造出一个Entity。因为有一个Entity的构造函数，接收一个整数的参数，另一个构造函数接收的字符串name “Cherno” 作为参数。

再来看下面的“诡异”情况：

这是因为22可以隐式转换成一个Entity，因为我们可以调用这个构造函数，而22是我们创建Entity的唯一参数。

同理使用唯一字符串参数的构造函数也一样可以。

但是要注意，在C++中只允许进行一次隐式类型转换，超过一次将无法完成转换进而引发错误：

可以看见上述代码的最后一行出现编译错误，为什么？因为这一行代码进行了两次的隐式类型转换，我们将"asd"转换成了string类型，因此在传入printEntity函数参数时，编译器需要先将string类型的s隐式转换成"asd"，然后再将"asd"隐式转换成Entity类型，超过两次，因此发生编译错误。

注意：虽然有些时候使用这种技巧可以写出一些炫技、简约的代码，但最佳实践是不推荐使用这样的写法，原因很简单：别人会很难看懂这样的代码，难以维护。

抑制隐式类型转换神器：explicit关键字

explicit关键字的作用就是禁用隐式类型转换技术。

该关键字放置于构造函数前面，则该构造函数将丧失隐式类型转换功能。比如上面的例子，如果要使用整数构造这个Entity对象，则必须显式调用此构造函数。

测试一下：

可以看见以唯一参数int作初始化值的构造函数的隐式类型转换失效了，这就是explicit关键字的作用。

原书内容截图