一、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最主要目的只有一个,防止编译器的隐式转换产生不可预知的结果。而这一结果进而提高了代码的可维护性。
四、总结
其实一直对这个关键字没有注意过,虽然也会使用,但也没有什么深刻的印象。有的时候看代码发现多个参数的构造函数也应用了这个关键字,也没有发现有什么不妥。直到后来一次实际操作中,才发现其实多个参数使用它没有实际意义。虽然不至于有什么问题,但仍然是对细节的把控不到位。
写这篇文章就是和诸君共勉!