深度探索C++ 对象模型(4)-Default Copy Constructor(3)

程序转化语意学

1. 显式初始化

原代码为：

X x0;
void foo_bar()
{ X x1(x0);X x2 = x0; X x3 = X(x0);}

编译器将产生拷贝构造函数，调用拷贝构造函数X::X(const X& xx)：

void foo_bar()
{ X x1; X x2; X x3; x1.X::X(x0); x2.X::X(x0); x3.X::X(x0);
}

2. 参数初始化

原代码为：

X xx;
foo(xx);

被转化为：

X __temp0;
__temp0.X::X(xx);
foo(__temp0);

3. 返回值初始化

原代码为：

X bar()
{X xx; // 处理 xx ... return xx;
}

被转化为：

void bar(X& __result)
{ X xx;xx.X::X(); __result.X::X(xx); return;
}

再次优化：

void bar(X& __result)
{  __result.X::X(); //直接处理return;
}

也可以程序优化：

X bar(const T& y, const T& z)
{ return X(y, z);
}

4. 例子总结：

X xx = bar();
<=>
X xx;
bar(xx);

bar().memfunc();
<=>
X __temp0;
(bar( __temp0 ), __temp0).memfunc();

x( *pf )();//函数指针
pf = bar;
<=>
void ( *pf )( X& );
pf = bar;

5. 效率比较

X xx0(1024);
<=>
xx0.X::X(1024);

xx1 xx2 调用两次构造函数，一次是构造函数，另一次是拷贝构造函数

X xx1=X(1024);
X xx2=(X)1024;
<=>
X __temp0;
__temp0.X::X(1024);
xx1.X::X(__temp0);
__temp0.X ::~X();

【引用】
[1]: <<深度探索C++ 对象模型 Inside The C++ Object Model >> Stanley B.Lippman 候捷译

深度探索C++ 对象模型(4)-Default Copy Constructor(3)相关推荐

深度探索C++ 对象模型(4)-Default Copy Constructor(2)
没有Default Constructor, class Myclass{ public://... private:int a;char *str; }; 编译器执行的是"位逐次拷贝(Bi ...
深度探索C++ 对象模型(4)-Default Copy Constructor(4)
编译器层NRV优化(Named Return Value) 原代码为: class testObj{friend testObj foo(double);public:testObj(){memset ...
深度探索C++ 对象模型(4)-Default Copy Constructor(1)
3种地方出现: 1.明确的调用拷贝构造函数 class X { }; X tmp; X xx=tmp; 2.作为参数时,对临时变量调用拷贝构造函数 void foo(X x); { }; X xx; ...
深度探索C++ 对象模型(3)-默认构造函数Default Constructor
1. Default Constructor只对base class subobjects和member class objects初始化,对data member不做操作 2. 编译器构造Defau ...
深度探索C++ 对象模型(3)-默认构造函数Default Constructor续
(1)带有虚函数的类 class Widget { public: virtual int flip() = 0;//..}; void flip(const Widget* widget ) { w ...
《深度探索C++对象模型（Inside The C++ Object Model ）》学习笔记
来源:http://dsqiu.iteye.com/blog/1669614 之前一直对C++内部的原理的完全空白,然后找到<Inside The C++ Object Model>这本书 ...
深度探索C++对象模型第2章构造函数语义学
默认构造函数两个误区: 1 任何class如果没有定义默认构造函数,就会被合成一个出来:只有在某些情况下被合成 2 编译器合成出来的默认构造函数会明确设定class中每一个数据成员的默认值 :默认值 ...
第2章构造函数语义学读书笔记——深度探索c++对象模型
深度探索c++对象模型第2章构造函数语义学 2.1 Default Constructor的构建操作 2.2 Copy Constructor的构造操作 2.3 程序转化语义学 2.4 成员的初始 ...
《深度探索C++对象模型》读书笔记第五章：构造析构拷贝语意学
<深度探索C++对象模型>读书笔记第五章:构造析构拷贝语意学对于abstract base class(抽象基类),class中的data member应该被初始化,并且只在constr ...

深度探索C++ 对象模型(4)-Default Copy Constructor(3)

程序转化语意学

深度探索C++ 对象模型(4)-Default Copy Constructor(3)相关推荐

最新文章

热门文章