c++構(gòu)造函數(shù)要try catch 還是直接throw

kdkgod

有個(gè)問題比較疑惑，現(xiàn)有個(gè)類

class test
{
public:
   test(uint32_t num) {
     if (num ==0) {
       //如果輸入為0 怎么辦？
    }
    m_pdata = new int[num];
   //如果new失敗怎么辦？
  }
private:
  int *m_pdata;
}

大牛支招

hellioncu

拋異常就不會(huì)調(diào)用析構(gòu)了，如果沒事就拋吧；如果后續(xù)可以判斷未初始化好就catch住吧。

建議增加一個(gè)初始化函數(shù)更好些。

windoze

構(gòu)造函數(shù)里拋異常會(huì)讓你有一個(gè)半截子對(duì)象，而且也不會(huì)調(diào)用這個(gè)對(duì)象的析構(gòu)函數(shù)。
但是每個(gè)數(shù)據(jù)成員的析構(gòu)函數(shù)都會(huì)被調(diào)！
但是每個(gè)數(shù)據(jù)成員的析構(gòu)函數(shù)都會(huì)被調(diào)！
但是每個(gè)數(shù)據(jù)成員的析構(gòu)函數(shù)都會(huì)被調(diào)！
重要的事情說三遍！
也就是說，只要你保證對(duì)象里的每個(gè)數(shù)據(jù)成員都符合RAII的要求，就不會(huì)有資源泄漏。
比如說你的對(duì)象里有一個(gè)unique_ptr，那么如果你在構(gòu)造函數(shù)里拋出了異常，這個(gè)unique_ptr會(huì)正確的處理這種情況，如果它此時(shí)已經(jīng)構(gòu)造好，指向一個(gè)有效的對(duì)象，那么這個(gè)對(duì)象會(huì)析構(gòu)，否則就什么也不做。
這個(gè)故事告訴我們，不要使用裸指針管理資源，像lz貼的那段代碼就會(huì)煩死鳥挖，改成這樣就能少煩一點(diǎn)了：

1. 
   
2. class test
   
3. {
   
4. public:
   
5.     test(uint32_t num)
   
6.     {
   
7.         if (num ==0) {
   
8.             //如果輸入為0 怎么辦？
   
9.             throw(...);
   
10.         }
    
11.         m_pdata.reset(new int[num]);
    
12.     }
    
13. private:
    
14.     std::unique_ptr<int[]> m_pdata;
    
15. }
    

復(fù)制代碼

由于new能正確處理0長(zhǎng)度數(shù)組，所以程序可以簡(jiǎn)化成這樣：

1. 
   
2.     test(uint32_t num) : m_pdata(new int[num]) {
   
3.         // ...
   
4.     }
   

復(fù)制代碼

如果new失敗什么事也不會(huì)有

kdkgod

使用裸指針管理資源, 怎么理解?!

回復(fù) 3# windoze


   

kdkgod

我理解你的意思了,但是我們基于redhat6.3做的開發(fā),我也想用智能指針,但是redhat6.3的gcc不支持c++11.
回復(fù) 3# windoze


   

kdkgod

我覺得二樓的提供的辦法最好,也是我最常用的,加個(gè)初始化函數(shù).

回復(fù) 3# windoze


   

windoze

回復(fù) 5# kdkgod

老版本的GCC可以用boost.smart_ptr里面的scoped_ptr湊合一下，在這個(gè)場(chǎng)合沒什么區(qū)別。

windoze

回復(fù) 6# kdkgod

不過話說回來，你干嗎不用vector<int>？這個(gè)再老版本的C++也該有了。

kdkgod

歷史原因,
我實(shí)現(xiàn)了一個(gè)基于數(shù)組的無鎖的緩沖區(qū)模板類. 數(shù)組的size是用過template傳,但是這樣編譯之后就指定了數(shù)組的大小,為了以后能通過配置文件靈活改變緩沖區(qū)大小,所以才這樣的方式傳數(shù)組的大小.


回復(fù) 8# windoze