前段时间经常看到explicit关键字,由于忙,也没去搞清楚它到底什么意思。这段时间闲了下来,补补课,看了看书,终于明白它的含义了。
先说说用构造函数作为隐式转换函数。在C++中,凡是一个类有只带一个参数的构造函数,都定义了一组隐式转换,把构造函数的参数类型转换为该class的类型。比如Integer(int)就定义了一个从int到Integer类型的隐式转换。比如,对于以下代码:
extern void calc(Integer );
int i;
calc( i );
如果Integer类没有声明一个Integer(int)的构造函数,编译器将在calc(i)处报错。相反如果Integer类声明了一个Integer(int)型的构造函数,那么int值可以被用在任何需要Integer类型的地方。
如果我们不期望编译器自动的进行这种隐式转换,该怎么办呢?有一种解决办法,就是把它声明为显式的(explicit):
class Integer {
public:
explicit Integer( int);
// ...
};
这样当编译到隐式的类型转换时,编译器将报错,说明不能执行隐式转换。我们可以使用强制转换的形式显式的执行转换操作,如:
extern void func(Integer );
int main() {
func(99);//错误,从int到Integer没有隐式转换
func(Integer(99)); //OK,显式转换
func(static_cast<Integer>(99));//OK,强制转换
};