異常對象是程序結(jié)束才被釋放????!!!

飛灰橙

原文見：
http://blog.csdn.net/mulinb/archive/2007/08/29/1763240.aspx
其中寫到：9)        throw出的對象稱為異常對象(exception object)，由編譯器管理，catch接受到的對象如果不是引用或指針的話，則進(jìn)行對象拷貝。但是異常對象是程序結(jié)束才被釋放。

異常對象是程序結(jié)束才被釋放，這句話說錯了吧

anthony1983

沒啥問題吧，那你覺得什么時候被釋放呢，自己寫個例子看看什么時候被析構(gòu)的吧

yuanchengjun

try的時候，保留所有寄存器狀態(tài)，按照函數(shù)一層層調(diào)用，先后入棧；
可能所有catch都是當(dāng)作函數(shù)處理，就好象函數(shù)重載一樣，因異常不同而調(diào)用不同catch；
當(dāng)throw的時候，保存的寄存器狀態(tài)出棧，回復(fù)寄存器，那樣就能直接跳回到try，然后匹配catch；
如果沒有匹配到，保存的寄存器狀態(tài)出棧，……
直到有匹配的catch，如果沒有，就……

[ 本帖最后由 yuanchengjun 于 2007-11-9 17:33 編輯 ]

飛灰橙

樓上兩位，寫這么一個代碼，
如果異常對象要到程序結(jié)束才釋放，那么這個代碼立刻就能將內(nèi)存耗盡。顯然不是這樣的。

1. 
   
2. struct exc
   
3. {
   
4.     int *p;
   
5.     exc()
   
6.     {
   
7.         p = new int;
   
8.     }
   
9.     ~exc()
   
10.     {
    
11.         delete p;
    
12.     }
    
13. };
    
14. 
    
15. 
    
16. while ( 1 )
    
17. {
    
18.      try
    
19.      {
    
20.           throw exc();
    
21.      }
    
22.      catch ( exc const &e )
    
23.      {
    
24.      }
    
25. }
    

復(fù)制代碼

anthony1983

  你都捕獲了，當(dāng)然釋放了

tyc611

顯然不是這樣的嘛，異常對象一旦被捕獲不再拋出，它就可以釋放了（也應(yīng)當(dāng)立即釋放，不能讓它占著坑吧，呵呵）

寫個測試代碼：

1. 
   
2. #include <iostream>
   
3. #include <exception>
   
4. using namespace std;
   
5. 
   
6. class MyException: public exception
   
7. {
   
8. public:
   
9.     MyException() {
   
10.         num = ++max;
    
11.         cout << "Constructor " << num << endl;
    
12.     }
    
13.    
    
14.     MyException(const MyException &) {
    
15.         num = ++max;
    
16.         cout << "Copy Constructor" << num << endl;
    
17.     }
    
18.    
    
19.     ~MyException() throw() {
    
20.         cout << "Destructor " << num << endl;
    
21.     }
    
22.    
    
23.     static void* operator new (size_t size) {
    
24.         cout << "new in MyException" << endl;
    
25.         return ::operator new(size);
    
26.     }
    
27.    
    
28.     static void operator delete (void* p) {
    
29.         cout << "delete in MyException" << endl;
    
30.         ::operator delete(p);
    
31.     }
    
32.    
    
33. private:
    
34.     static int max;
    
35.     int num;
    
36. };
    
37. 
    
38. int MyException::max = 0;
    
39. 
    
40. void func1()
    
41. {
    
42.     throw MyException();
    
43. }
    
44. 
    
45. void func2()
    
46. {
    
47.     func1();
    
48. }
    
49. 
    
50. void func3()
    
51. {
    
52.     func2();
    
53. }
    
54. 
    
55. void func4()
    
56. {
    
57.     try {
    
58.         func3();
    
59.     } catch (const MyException &e) {
    
60.         throw;
    
61.     }
    
62. }
    
63. 
    
64. int main()
    
65. {
    
66.     try {
    
67.         func4();
    
68.     } catch (MyException e) {
    
69.     }
    
70.    
    
71.     char ch;
    
72.     cin >> ch;
    
73.    
    
74.     return 0;
    
75. }
    

復(fù)制代碼

運行結(jié)果：

Constructor 1
Copy Constructor2
Destructor 2
Destructor 1
q

Terminated with return code 0
Press any key to continue ...

由輸出可見，此編譯器實現(xiàn)（MinGW）可能是將異常對象分配在堆上，異常捕獲后如果不再拋出則釋放對象