注册 登录
编程论坛 C++教室

认识explicit关键字(读书笔记)

Lonelie 发布于 2007-12-25 12:57, 1367 次点击
带单一参数的构造函数在缺省情况下隐含一个转换操作符,请看下面的代码:

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";        // 好;此时允许隐式转换
}
4 回复
#2
随心2007-12-28 11:42
不错,顶一下
#3
HJin2007-12-28 12:32
very good, brother.

You may also want to know

what mutable means
what static means
what volatile means

etc
#4
Lonelie2007-12-28 16:14
回复 3# 的帖子
有用到过mutable,static和explicit,但还没有用过volatile
太多了,要一点一点的积累啊
#5
中学者2007-12-28 18:14
//////////////////////////////////////////////////////////////////////////////////////////
//"c=5;" 被编译器转换成下面这个样子:
/////////////////////////////////////////////////////////////////////////////////////////

C temp(5);// 实例化一个临时对象,
c = temp; // 用 = 赋值
temp.C::~C(); // temp 的析构函数被激活


   这里的~C()没有任何意义,不会被调用.参考《expectional C++ style》...
理由:如果设计者没有提供析构,编译器会为类声明一个类似于~C(){}的函数,当且仅当试图调用时才被合成。然而这样的函数什么也不做,调用了反而不好...可能引起异常.
  薄见~~~
1