explicit作用
在C++中,explicit关键字用来修饰类的构造函数,被修饰的构造函数的类,不能发生相应的隐式类型转换,只能以显示的方式进行类型转换。
使用注意事项
explicit 关键字只能用于类内部的构造函数声明上。
explicit 关键字作用于单个参数的构造函数。
explicit 关键字用来修饰类的构造函数,被修饰的构造函数的类,不能发生相应的隐式类型转换
未加explicit时的隐式类型转换
class Circle { public: Circle(double r) : R(r) {} Circle(int x, int y = 0) : X(x), Y(y) {} Circle(const Circle& c) : R(c.R), X(c.X), Y(c.Y) {} private: double R; int X; int Y; }; int_t main(int argc, _TCHAR* argv[]) { Circle A = 1.23; // 发生隐式类型转换 // 编译器会将它变成如下代码 // tmp = Circle(1.23) // Circle A(tmp); // tmp.~Circle(); Circle B = 123; // 注意是int型的,调用的是Circle(int x, int y = 0) // 它虽然有2个参数,但后一个有默认值,任然能发生隐式转换 Circle C = A; // 这个算隐式调用了拷贝构造函数 return 0; }
加了explicit关键字后,可防止以上隐式类型转换发生
class Circle { public: explicit Circle(double r) : R(r) {} explicit Circle(int x, int y = 0) : X(x), Y(y) {} explicit Circle(const Circle& c) : R(c.R), X(c.X), Y(c.Y) {} private: double R; int X; int Y; }; int_t main(int argc, _TCHAR* argv[]) { // 以下3句,都会报错 // Circle A = 1.23; // Circle B = 123; // Circle C = A; // 只能用显示的方式调用了 // 未给拷贝构造函数加explicit之前可以这样 Circle A = Circle(1.23); Circle B = Circle(123); Circle C = A; // 给拷贝构造函数加了explicit后只能这样了 Circle A(1.23); Circle B(123); Circle C(A); return 0; }
google的c++规范中提到explicit的优点是可以避免不合时宜的类型变换,缺点无。所以google约定所有单参数的构造函数都必须是显示的,只有极少数情况下拷贝构造函数可以不声明称explicit。例如作为其他类的透明包装器的类。
effective c++中说:被声明为explicit的构造函数通常比其non-explicit兄弟更受欢迎。因为它们禁止编译器执行非预期(往往也不被期望)的类型转换。除非我有一个好理由允许构造函数被用于隐式类型转换,否则我会把它声明为explicit。