认识 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";        // 好；此时允许隐式转换
}