从汇编的眼光看C++(之指针拷贝)
【 声明:版权所有,欢迎转载,请勿用于商业用途。 联系信箱:feixiaoxing @163.com】
指针是编程人员的梦魇,对C语言的开发者是如此,对C++的开发者也是如此。特别是在C++中,如果不注意处理类中的指针,非常容易出问题。如果朋友们不相信可以看看下面的代码:
class data
{
int* value;
public:
data(int num){
if(num > 0)
value = (int*)malloc(sizeof(int)* num);
}
~data(){
if(value)
free(value);
}
};
void process()
{
data m(10);
data p = m;
}
class data
{
int* value;
public:
data(int num){
if(num > 0)
value = (int*)malloc(sizeof(int)* num);
}
~data(){
if(value)
free(value);
}
};
void process()
{
data m(10);
data p = m;
} 上面的这段问题有没有什么问题?大家可以自己先用笔在草稿纸上面画一画。然后上机用实际环境验证一下。果不其然,系统提示内存发生了错误。为什么呢?就是因为内存发生了两次释放。我们看以看一下process的汇编代码:
21: data m(10);
0040105D push 0Ah
0040105F lea ecx,[ebp-10h]
00401062 call @ILT+15(data::data) (00401014)
00401067 mov dword ptr [ebp-4],0
22: data p = m;
0040106E mov eax,dword ptr [ebp-10h]
00401071 mov dword ptr [ebp-14h],eax
23: }
00401074 lea ecx,[ebp-14h]
00401077 call @ILT+5(data::~data) (0040100a)
0040107C mov dword ptr [ebp-4],0FFFFFFFFh
00401083 lea ecx,[ebp-10h]
00401086 call @ILT+5(data::~data) (0040100a)
0040108B mov ecx,dword ptr [ebp-0Ch]
0040108E mov dword ptr fs:[0],ecx
00401095 pop edi
00401096 pop esi
00401097 pop ebx
00401098 add esp,54h
0040109B cmp ebp,esp
0040109D call __chkesp (004015b0)
004010A2 mov esp,ebp
004010A4 pop ebp
004010A5 ret
21: data m(10);
0040105D push 0Ah
0040105F lea ecx,[ebp-10h]
00401062 call @ILT+15(data::data) (00401014)
00401067 mov dword ptr [ebp-4],0
22: data p = m;
0040106E mov eax,dword ptr [ebp-10h]
00401071 mov dword ptr [ebp-14h],eax
23: }
00401074 lea ecx,[ebp-14h]
00401077 call @ILT+5(data::~data) (0040100a)
0040107C mov dword ptr [ebp-4],0FFFFFFFFh
00401083 lea ecx,[ebp-10h]
00401086 call @ILT+5(data::~data) (0040100a)
0040108B mov ecx,dword ptr [ebp-0Ch]
0040108E mov dword ptr fs:[0],ecx
00401095 pop edi
00401096 pop esi
00401097 pop ebx
00401098 add esp,54h
0040109B cmp ebp,esp
0040109D call __chkesp (004015b0)
004010A2 mov esp,ebp
004010A4 pop ebp
004010A5 ret
21行:data调用构造函数,分配内存给value
22行: 这里我们发现程序进行内存拷贝,那么表示m变量value的数值和p变量中value的数值是一样的
23行:这里函数即将结束,所以系统调用m和p的析构函数,第一次析构的时候value指向的内存被释放,第二次析构的时候由于p变量value的数值非0,所以也需要释放内存,当然也需要进行析构处理,但是此时内存已经释放了,所以内存进行了二次释放,系统报错。
经过上面的研究,我们发现了问题和原因,那么应该怎么解决呢?既然问题是在拷贝函数这里,那么就要对拷贝函数进行特殊处理。目前就我个人理解,有两个方法供大家选择:
(1)对拷贝构造函数进行private处理,这样一旦出现了拷贝操作,编译器就会提示出错。
c
补充:软件开发 , C++ ,