C++:explicit
C++explicit关键字详解
C++中的explicit关键字只能用于修饰只有一个参数的类构造函数,它的作用是表明该构造函数是显式的, 而非隐式的,跟它相对应的另一个关键字是implicit,意思是隐藏的,类构造函数默认情况下即声明为implicit(隐式)。
下面是显式声明与隐式声明构造函数的区别例子:
1 | class CxString // 没有使用explicit关键字的类声明, 即默认为隐式声明 |
free释放_pstr内存指针的时候可能会报错,完整的代码必须重载运算符"=",并在其中处理内存释放。
"CxString string2 = 10;"这句为什么是可以的呢?
在C++中, 如果的构造函数只有一个参数时,那么在编译的时候就会有一个缺省的转换操作:将该构造函数对应数据类型的数据转换为该类对象。也就是说"CxString string2 = 10;"这段代码,编译器自动将整型转换为CxString类对象, 实际上等同于下面的操作:
1 | CxString string2(10); |
但是, 上面的代码中的_size代表的是字符串内存分配的大小,那么调用的第二句 "CxString string2 = 10;"和第六句 “CxString string6 = ‘c’;” 就显得不伦不类,而且容易让人疑惑。有什么办法阻止这种用法呢?答案就是使用explicit关键字。我们把上面的代码修改一下,如下:
1 |
|
explicit关键字的作用就是防止类构造函数的隐式自动转换
上面也已经说过了,explicit关键字只对有一个参数的类构造函数有效,如果类构造函数参数大于或等于两个时,是不会产生隐式转换的,所以explicit关键字也就无效了。
但是, 也有一个例外,就是当除了第一个参数以外的其他参数都有默认值的时候,explicit关键字依然有效,此时,当调用构造函数时只传入一个参数,等效于只有一个参数的类构造函数。
总结
explicit关键字只需用于类内的单参数构造函数前面。由于无参数的构造函数和多参数的构造函数总是显示调用,这种情况在构造函数前加explicit无意义。
google的c++规范中提到explicit的优点是可以避免不合时宜的类型变换,缺点无。所以google约定所有单参数的构造函数都必须是显示的,只有极少数情况下拷贝构造函数可以不声明称explicit。例如作为其他类的透明包装器的类。
effective c++中说:被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎。因为它们禁止编译器执行非预期(往往也不被期望)的类型转换。除非我有一个好理由允许构造函数被用于隐式类型转换,否则我会把它声明为explicit,鼓励大家遵循相同的政策。







