C++中的关键字explicit主要是用来修饰类的构造函数,被修饰的构造函数的类,不能发生相应的隐式类型转换,只能以显示的方式进行类型转换。类构造函数默认情况下声明为隐式的即implicit。
隐式转换即是可以由单个实参来调用的构造函数定义了一个从形参类型到该类类型的隐式转换。编译器在试图编译某一条语句时,如果某一函数的参数类型不匹配,编译器就会尝试进行隐式转换,如果隐式转换后能正确编译,编译器就会继续执行编译过程,否则报错。
explicit关键字只能用于类内部的构造函数声明上,而不能用在类外部的函数定义(函数实现)上,它的作用是不能进行隐式转换;explicit关键字作用于单个参数的构造函数,如果构造函数有多个参数,但是从第二个参数开始,如果各参数均有默认赋值,也可以应用explicit关键字。
当构造函数只有一个参数时,会进行自动隐式转换,当构造函数参数个数超过或等于两个时自动取消隐式转换,当只有一个必须输入的参数,其余的为有默认值的参数时使用explicit也起作用。
一般只将有单个参数的构造函数声明为explicit,而拷贝构造函数不要声明为explicit。
explicit关键字只能对用户自己定义的对象起作用,不对默认构造函数起作用。此关键只能够修饰构造函数。无参数的构造函数和多参数的构造函数总是显示调用,这种情况在构造函数前加explicit无意义。
当不希望进行自动类型转换时用explicit,标准库的许多构造函数都是explicit的。
以下是参考网上的一个测试代码:
explicit.hpp:
#ifndef FBC_MESSY_TEST_EXPLICIT_HPP
#define FBC_MESSY_TEST_EXPLICIT_HPP
// reference Bjarne Stroustrup sample
class String{
public:
explicit String(int n) {};
String(const char *p) {};
};
void test_explicit();
#endif // FBC_MESSY_TEST_EXPLICIT_HPP
explicit.cpp:
#include <explicit.hpp>
static void test1()
{
String s1 = 'a'; // 错误:不能做隐式char->String转换
String s2(10); // 可以:调用explicit String(int n);
String s3 = String(10); // 可以:调用explicit String(int n);再调用默认的复制构造函数
String s4 = "Brian"; // 可以:隐式转换调用String(const char *p);再调用默认的复制构造函数
String s5("Fawlty"); // 可以:正常调用String(const char *p);
}
static void f(String)
{
}
static String g()
{
f(10); // 错误:不能做隐式int->String转换
f("Arthur"); // 可以:隐式转换,等价于f(String("Arthur"));
return 10; // 同上
}
void test_explicit()
{
test1();
g();
}
总结:
explicit关键字只需用于类内的单参数构造函数前面。由于无参数的构造函数和多参数的构造函数总是显示调用,这种情况在构造函数前加explicit无意义。
google的c++规范中提到explicit的优点是可以避免不合时宜的类型变换,缺点无。所以google约定所有单参数的构造函数都必须是显示的,但是拷贝构造函数通常没必要声明explicit。
effective c++中说:被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎。因为它们禁止编译器执行非预期(往往也不被期望)的类型转换。除非我有一个好理由允许构造函数被用于隐式类型转换,否则我会把它声明为explicit,鼓励大家遵循相同的政策。