在C++中,explicit关键字主要用于防止隐式转换,用于修饰构造函数、复制构造函数。
例如有一个类:
class A
{
public:
A( int count ) : m_data( count ){}
private:
int m_data;
}; int main()
{
A a = ; //ok , conver int to A a = ; // 这里是什么操作? 等价与 a.operator=( 10 );
}
1、 A a = 0;
首先编译器( compiler )认为这样写是不符合规矩的,因为 A = A才是正常行为但是它不放弃,通过搜索发现A可以根据一个int构造,同时这个A( int count)没有用explicit修饰过。那么A a=0编译器将自动将整形转为A类对象,实际上等同下面操作
A temp( 0);
A a = temp;
这里需要说明的是 A a = tmp 调用的是拷贝构造函数( copy constructor),虽然clas A中没有,但是通常不写的话,编译器会生成一个成员逐一赋值( memberwise assignment )的拷贝构造函数,底层实现通常会以memcpy进行
2、a = 10;
首先这里同构造函数一样,编译器( compiler ) 无法进行直接操作,等同于代码
a.operator=( 10 );
需要注意的是, a = tmp是调用的赋值运算符( assignment操作 ), 同构造函数一样,我们自己不写, 编译器会生成一个成员逐一赋值(memberwise assignment)操作。
3、fun( A a )
同样, fn(10)也是不对的, 但是"按照惯例", 会有:
A tmp(10);
fn( tmp ) ;
注意:拷贝构造函数的写法只能是 T::T(const T &);
而赋值运算符的写法可以多变,即以任意T为例:
可以有
T &operator = (int n);
也可有
T &operator = (const char *);
当然, 你要确认如此的定义是对T而言有意义.