delete 类对象指针的注意事项]

http://blog.csdn.net/infoworld/article/details/45560219

场景:
1. C++类有构造和析构函数,析构函数是在类对象被delete时(或局部变量自动销毁时)调用来释放资源。

2. C++类对象指针很多情况下需要赋值给void*通用指针来达到传输对象的目的,但是往往这种void*指针就是造成内存泄漏或程序错误的根源,

这就是为什么C++存在泛型的目的,它也是为了在编译时刻消除这种对象不确定性,避免delete或使用时的错误.

3. delete void*类型时,注意要强制转换为类类型才delete, 如 delete (A*) data_;

好了,看代码,以下代码有什么问题?

#include <iostream>
using namespace std;
class A
{
public:
    A()
    {
        i = new int;
        cout << "A()! " << "lenI:"<<sizeof(i) << endl;
    }
    ~A()
    {
        delete i;
        cout << "~A ! " << endl;
    }
    int* i;
};
class B
{
public:
    B(void* data)
    {
        data_ = data;
        cout << "B(void* data) ! " << endl;
    }
    ~B()
    {
        delete data_;
        cout << "~B()! " << endl;
    }
    void* data_;
};
template <class T>
class C
{
public:
    C(T* data)
    {
        data_ = data;
        cout << "C(T* data)! " << endl;
    }
    ~C()
    {
        delete data_;
        cout << "~C()! " << endl;
    }
    T* data_;
};
void Wrong()
{
    A *a = new A();
    B b(a); //函数返回时A 的析构函数不会调用
    cout << "Wrong()! " << endl;
}
void Right()
{
    A *a = new A();
    C<A> c(a); //函数返回时A 的析构函数会调用
    cout << "Right)! " << endl;
}
int main(int argc, char* argv[])
{
    Wrong();
    Right();
    return 0;
}

  1. // test_class.cpp : 定义控制台应用程序的入口点。
  2. //
  3. #include "stdafx.h"
  4. #include <iostream>
  5. class A
  6. {
  7. public:
  8. A()
  9. {
  10. i = new int;
  11. }
  12. ~A()
  13. {
  14. delete i;
  15. }
  16. int* i;
  17. };
  18. class B
  19. {
  20. public:
  21. B(void* data)
  22. {
  23. data_ = data;
  24. }
  25. ~B()
  26. {
  27. delete data_;
  28. }
  29. void* data_;
  30. };
  31. template <class T>
  32. class C
  33. {
  34. public:
  35. C(T* data)
  36. {
  37. data_ = data;
  38. }
  39. ~C()
  40. {
  41. delete data_;
  42. }
  43. T* data_;
  44. };
  45. void Wrong()
  46. {
  47. A *a = new A();
  48. B b(a); //函数返回时A 的析构函数不会调用
  49. }
  50. void Right()
  51. {
  52. A *a = new A();
  53. C<A> c(a); //函数返回时A 的析构函数会调用
  54. }
  55. int _tmain(int argc, _TCHAR* argv[])
  56. {
  57. Wrong();
  58. Right();
  59. return 0;
  60. }

解析:

B 的析构里deleta data_, 看反汇编代码,并没有调用析构函数.

  1. 011D1643  mov         eax,dword ptr [this]
  2. 011D1646  mov         ecx,dword ptr [eax]
  3. 011D1648  mov         dword ptr [ebp-0D4h],ecx
  4. 011D164E  mov         edx,dword ptr [ebp-0D4h]
  5. 011D1654  push        edx
  6. 011D1655  call        operator delete (11D1096h)

C 的析构里deleta data_, 看反汇编代码,有调用析构函数.

      1. 011D1883  mov         eax,dword ptr [this]
      2. 011D1886  mov         ecx,dword ptr [eax]
      3. 011D1888  mov         dword ptr [ebp-0D4h],ecx
      4. 011D188E  mov         edx,dword ptr [ebp-0D4h]
      5. 011D1894  mov         dword ptr [ebp-0E0h],edx
      6. 011D189A  cmp         dword ptr [ebp-0E0h],0
      7. 011D18A1  je          C<A>::~C<A>+58h (11D18B8h)
      8. 011D18A3  push        1
      9. 011D18A5  mov         ecx,dword ptr [ebp-0E0h]
      10. 011D18AB  call        A::`scalar deleting destructor' (11D102Dh)
      11. 011D18B0  mov         dword ptr [ebp-0E8h],eax
      12. 011D18B6  jmp         C<A>::~C<A>+62h (11D18C2h)