请帮忙看下这个代码错在什么地方

toniz

就叫klocwork.  

OwnWaterloo

回复 8# toniz

Dynamically allocated memory can be lost after assignment operator.

写得越来越明显了……

toniz

  
他说动态分配的内存丢失是指什么地方呢？

OwnWaterloo

9楼

yyjshpy

MyData(MyData &r) { data = strdup(r.data); }
内存泄漏

rain_fish

总结一下：
1. 14楼说的内存泄露并不存在, 构造函数调用时data本身并没有申请内存
2. 需要实现赋值构造函数，否则默认的赋值函数只是值拷贝
MyData& operator= (const MyData& other)
{
    if ( ！data )
        free(data);
    data = strdup(other.data);
}

OwnWaterloo

回复 15# rain_fish

1. free对空指针的反应是keep silence， 包括delete也是一样。

所以：
if (p) free(p);
if (p) delete p;

都是废话， 直接：
free(p);
delete p;

2. 构造函数保证data不为空

if (data) 总是true

3. 构造时使用的是new[]

所以free是错的。

4. strdup并不是一个C/C++标准函数

用是可以用， 但也可以使用别的， 比如memcpy。

5. 析构使用delete[]

所以strdup是错的。


一个简单的， 无错的， 可能低效的：

1. 
   
2. MyData& MyData::operator=(MyData const& other)
   
3. {
   
4.       size_t len = strlen(other.data);
   
5.       char* p = new char[len+1];
   
6.       memcpy(p, other.data, len+1);
   
7.       delete[] data;
   
8.       data = p;
   
9. }
   

复制代码

syoubin_sai

不太清楚你们讨论的是嘛问题，不是析构函数中释放了内存的嘛{:2_167:}
高手们就是高深哇

OwnWaterloo

上面是我看错了。 把 if (!data) 看作 if (data)了 （因为这样写的人实在太多）

修改：

1. free 对空指针是keep silence

if (!data) free(data);
总是什么都不做。

2. 构造函数保证data不为空

if (data) 总是false

free(data) 总不执行

然后data被赋值为另一个指针（指向原地址的最后一个引用丢失）

toniz

有点明白了，是不是这样子的：

用D2去初始话D1的时候，如果不作处理，则D2和D1都指向同一个字符串，如果D2离开了域，并且D2的析构函数被调用了。那么D1就会指向一个被删除的内存区。