跟我学C++中级篇——explicit的分析

一、C++中的类型转换

在学习C++（包括C语言）的过程中，有一个细节非常容易被开发者忽略，就是有一些类型编译器可以自做主张的进行转换。最简单的就是short,int,long,char这些基本类型，编译器会假定开发者就是想转换，所以它会自动转一下。这个在前面分析过有符号和无符号类型时，跳过大坑儿。不过随着开发工具和编译器的升级，这种一般会提供显示的警告。
而在一些类对象中，也存在着这种问题，比如一些常见的库类，会默认对一些对象进行自动的转换，而这种自动转换，往往不是开发者需要的或者说没有考虑到的。那么其行为和后果，是一种不可预知的状态。而这恰恰是非常危险的，不是开发者想看到的。

二、explicit的目的

正如反复强调的，解决某种问题并不需要一蹴而就，一步步解决就行。而explicit关键字就是这么一种方法 ，先搞定一些想通过构造函数进行隐式转换的行为。看下面的代码：

#include <iostream>
#include <string>
using namespace std;
class Data {
public:
  /×explicit×/ Data(int d) {
    d_ = d;
    std::cerr << "set value:" << d << std::endl;
  }

private:
  int d_ = 0;
};
int main() {
  Data d = 10;
  return 0;
}

在上面的代码中，程序会正常的执行，类对象可以使用一个普通的整形值进行赋值。这就是刚刚提到的隐式转换。但是如果在构造函数前增加explicit关键字，那么编译器会报一个编译错误：
“error: conversion from ‘int’ to non-scalar type ‘Data’ requested”，同时指出代码的位置。
和explicit相对应的是implicit。这样看就容易理解explicit这个关键字了，它就是显示的指定，这样也就容易明白它的用法了，想使用它限定的函数（主要就是构造函数，当然有些情况下也可以使用其它一些函数），就必须明确的调用它，而不是让编译器自做主张。说得更直白一些，就是不要约定俗成，必须明白的告诉编译器开发者想怎么做。

三、explicit注意点

使用explicit关键字，有几个需要注意的地方，在开发者经常会被忽略。
1、它只对一个参数的构造函数有意义
这种一个参数，既包括真正只有一个参数的构造函数，也包括其它形式的如虽然有多个参数但其它参数都有默认值的。因为拥有多个参数的构造函数是无法进行自动转换的。所以在一些编程风格的要求中，一个参数的构造函数，都必须显示使用explicit关键字。
2、防止隐式转换的情况
一般开发者只是认为防止转换构造函数（单参数的），其实对于转换运算符的隐式转换也是可以控制的。也就是上面提到的，其它情况下的一些函数，看代码：

class Data {
public:
  /*explicit*/ Data(int d) {
    d_ = d;
    std::cerr << "set value:" << d << std::endl;
  }
  /*explicit*/ operator int() const { return d_; }

private:
  int d_ = 0;
};
int main() {
  Data d = 10;
  int d1 = d;
  return 0;
}

使用explicit最主要目的只有一个，防止编译器的隐式转换产生不可预知的结果。而这一结果进而提高了代码的可维护性。

四、总结

其实一直对这个关键字没有注意过，虽然也会使用，但也没有什么深刻的印象。有的时候看代码发现多个参数的构造函数也应用了这个关键字，也没有发现有什么不妥。直到后来一次实际操作中，才发现其实多个参数使用它没有实际意义。虽然不至于有什么问题，但仍然是对细节的把控不到位。
写这篇文章就是和诸君共勉！