c++支持两种格式的初始化:direct和copy
direct用()
copy用 =
这两种格式基本没有差别,唯独当构造函数声明为explicit(只能显式调用)时,用copy初始化将出现complied-error,因为copy总是隐式调用构造函数!
例如:
/*
**demo.cpp
*/
class demo
{
private:
int ct;
public:
demo(){}
explicit demo(int i) : ct(i){}
explicit deno(const demo& tmp) : ct(tmp.ct){}
demo is_equal(const demo& tmp)
{
if (ct == tmp.ct)
return *this;
else
return tmp;
}
};
demo x(1); //ok
demo y=1; //error
demo a(x); //ok
demo b=x; //error
x.is_equal(demo(1)); //ok
x.is_equal(1); //error
demo c(x.is_equal(demo(1))); //ok
demo d=x.is_equal(demo(1)); //error
最近翻c++primer看了看constructor部分,说当构造函数为一个参数时,用copy格式调用,如demo y=1,
其实编译器做了两步:
一,先调用demo(int i)产生一个临时demo对象
二,在调用deno(const demo& tmp)把刚产生的临时deno对象给y赋值
编以上代码测试了下,发现并非这样,编译器在处理这类构造初始化时,实际是直接调用其对应的构造函数,只不过隐式调用(故声明为explicit时会出错),并未产生中间对象再来复制!
当用一下方式初始化时:demo x = demo();若复制构造函数声明为non explicit时编译ok,在复制构造函数中加入打印信息,却未被打印,说明未调用自定义的复制构造函数;若复制构造函数声明为explicit,编译出错,说明又和自定义的复制构造函数有关!可能解释是,demo()产生的结果直接被x引用,explicit限制的只是copy格式!有点不可思议!
Linux联盟收集整理 ,转贴请标明原始链接,如有任何疑问欢迎来本站Linux论坛讨论