认识 C++ 中的 explicit 关键字

认识C++ 中的explicit 关键字

(Danny Kalev发表于2004-12-28 11:01:04)

带单一参数的构造函数在缺省情况下隐含一个转换操作符，请看下面的代码：

class C {

int i;

//...

public:

C(int i);//constructor and implicit conversion operator

//as well

};

void f() {

C c(0);

c = 5; //将5 隐式转换为C 对象，然后赋值

}

编译器重新编辑上述例子代码，如下：

//////////////////////////////////////////////////////////////////////////////////////////

//"c=5;" 被编译器转换成下面这个样子：

/////////////////////////////////////////////////////////////////////////////////////////

C temp(5);// 实例化一个临时对象,

c = temp; // 用= 赋值

temp.C::~C(); // temp 的析构函数被激活

在很多情况下，这个转换是有意的，并且是正当的。但有时我们不希望进行这种自动的转换，例如：

class String {

int size;

char *p;

//..

public:

String (int sz); //这里不希望进行隐式转换操作

};

void f ()

{

String s(10);

// 下面是一个程序员的编码；发生一个意想不到的转换：

s = 100; // 糟糕，100 被转换为一个String，然后被赋值给s

}

为了避免这样的隐式转换，应该象下面这样显式声明该带单一参数的构造函数：

class String {

int size;

char *p;

//..

public:

// 不要隐式转换

explicit String (int sz);

String (const char *s, int size n = 0); // 隐式转换

};

void f ()

{

String s(10);

s = 100; // 现在编译时出错；需要显式转换：

s = String(100); // 好；显式转换

s = "st"; // 好；此时允许隐式转换

}