|
- UID
- 1029342
- 性别
- 男
|
本篇文章对c++中默认拷贝函数的使用进行了详细的分析介绍。需要的朋友参考下
《c++编程思想》上说一个类如果没有拷贝函数，那么编译器就会自动创建一个默认的拷贝函数。下面就让我们看一下真实的情况。
首先看一个简单的类X，这个类没有显示定义拷贝构造函数。
c++源码如下:
复制代码 代码如下:
class X {
private:
int i;
int j;
};
int main() {
X x1;//先定义对象x1
X x2 = x1;//将x1拷贝给x2
}
下面是其汇编代码:
复制代码 代码如下:
_main PROC
; 7 : int main() {
push ebp
mov ebp, esp
sub esp, 16 ; 为对象x1，x2预留16byte的栈空间
; 8 : X x1;//先定义对象x1
; 9 : X x2 = x1;//将x1拷贝给x2
mov eax, DWORD PTR _x1$[ebp];将x1的首地址里面的内容给寄存器eax，也就将x1中的成员变量i的值给eax
mov DWORD PTR _x2$[ebp], eax;将eax里面的值写入x2的首地址，也就是将eax里面的值写给x2的成员变量i
mov ecx, DWORD PTR _x1$[ebp+4];将偏移x1首地址4byte的内存里面的值给寄存器eax，也就是将x1中的成员变量j的值给ecx
mov DWORD PTR _x2$[ebp+4], ecx;将ecx里面的值写入偏移x2首地址4byte的内存里面，也就是将ecx里面的值写给x2的成员变量j
; 10 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
从汇编代码里面可以看出，根本没有函数被调用，所有的拷贝赋值都是通过寄存器与内存地址相互通信完成。和编译器提供默认构造函数一样，可以把这种情况看成是编译器提供了一个无用的拷贝构造函数。
那么，什么时候编译器才真正的提供默认拷贝构造函数，并且显示调用呢？
下面是一种情况，类X里面含有虚成员函数:
c++源码:
复制代码 代码如下:
class X {
private:
int i;
int j;
public:
virtual ~X() {}//虚析构函数
};
int main() {
X x1;//先定义对象x1
X x2 = x1;//将x1拷贝给x2
}
由于这里只讨论拷贝函数，所以只看主函数main和拷贝函数里面的汇编代码:
下面是主函数main里面的汇编代码:
复制代码 代码如下:
_main PROC
; 9 : int main() {
push ebp
mov ebp, esp
sub esp, 24 ; 由于引入了虚函数，每个类所占的空间编程12byte 成员变量i，j8byte vptr指针4byte 因此这里为x1 x2预留24byte
; 10 : X x1;//先定义对象x1
lea ecx, DWORD PTR _x1$[ebp];获取x1的首地址，放入ecx，为调用构造函数的秘密参数传入，即this
call ??0X@@QAE@XZ;调用构造函数
; 11 : X x2 = x1;//将x1拷贝给x2
lea eax, DWORD PTR _x1$[ebp];获取x1的首地址，放入寄存器eax
push eax;将eax压栈，作为拷贝构造函数的参数
lea ecx, DWORD PTR _x2$[ebp];获取x2的首地址，放入寄存器ecx，作为调用拷贝构造函数的秘密参数传入，即this
call ??0X@@QAE@ABV0@@Z;调用拷贝构造函数
; 12 : }
lea ecx, DWORD PTR _x2$[ebp];获取x2的首地址，放入ecx寄存器，作为调用析构函数传入的秘密参数，即this
call ??1X@@UAE@XZ ; 调用析构函数
lea ecx, DWORD PTR _x1$[ebp];获取x1的首地址，放入ecx寄存器，作为调用析构函数传入的秘密参数，即this
;析构的顺序与构建的顺序相反
call ??1X@@UAE@XZ ; 调用析构函数
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
可以看到，编译器为类X提供了默认的拷贝构造函数(非无用的默认拷贝构造函数)，并且显示调用。
由于一个类继承自虚基类或者继承自有虚函数成员的基类，使得它本身也含有虚函数成员，因此也就属于上一种情形。所以编译器在这种情况下，也会提供非无用的默认拷贝构造函数，并且能够显示调用。
下面是第二种情形，类X继承自类Y，类Y有显示定义的拷贝构造函数，而类没有提供拷贝构造函数：
下面是c++源码：
复制代码 代码如下:
class Y {
private:
int j;
public:
Y(const Y& y) {}
Y() {};//必须为Y提供默认的构造函数，否则编译出错
};
class X : public Y {
private:
int i;
int j;
};
int main() {
X x1;//先定义对象x1
X x2 = x1;//将x1拷贝给x2
}
下面是mian函数汇编代码:
复制代码 代码如下:
; 16 : int main() {
push ebp
mov ebp, esp
sub esp, 24 ; 为x1 x2预留24byte空间
; 17 : X x1;//先定义对象x1
lea ecx, DWORD PTR _x1$[ebp];获取x1的首地址，作为隐含参数传递给构造函数
call ??0X@@QAE@XZ;//调用编译器为类X提供的默认构造函数
; 18 : X x2 = x1;//将x1拷贝给x2
lea eax, DWORD PTR _x1$[ebp];获取x1的首地址，传给寄存器eax
push eax;将eax压栈，作为调用类X的拷贝构造函数的参数
lea ecx, DWORD PTR _x2$[ebp];获取x2的首地址，作为调用类X的拷贝函数的隐含参数
call ??0X@@QAE@ABV0@@Z;调用编译器提供的默认拷贝构造函数
; 19 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0 |
|
