c++构造函数要try catch 还是直接throw

kdkgod

有个问题比较疑惑，现有个类

class test
{
public:
   test(uint32_t num) {
     if (num ==0) {
       //如果输入为0 怎么办？
    }
    m_pdata = new int[num];
   //如果new失败怎么办？
  }
private:
  int *m_pdata;
}

大牛支招

hellioncu

抛异常就不会调用析构了，如果没事就抛吧；如果后续可以判断未初始化好就catch住吧。

建议增加一个初始化函数更好些。

windoze

构造函数里抛异常会让你有一个半截子对象，而且也不会调用这个对象的析构函数。
但是每个数据成员的析构函数都会被调！
但是每个数据成员的析构函数都会被调！
但是每个数据成员的析构函数都会被调！
重要的事情说三遍！
也就是说，只要你保证对象里的每个数据成员都符合RAII的要求，就不会有资源泄漏。
比如说你的对象里有一个unique_ptr，那么如果你在构造函数里抛出了异常，这个unique_ptr会正确的处理这种情况，如果它此时已经构造好，指向一个有效的对象，那么这个对象会析构，否则就什么也不做。
这个故事告诉我们，不要使用裸指针管理资源，像lz贴的那段代码就会烦死鸟挖，改成这样就能少烦一点了：

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. }
    

复制代码

由于new能正确处理0长度数组，所以程序可以简化成这样：

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

复制代码

如果new失败什么事也不会有

kdkgod

使用裸指针管理资源, 怎么理解?!

回复 3# windoze


   

kdkgod

我理解你的意思了,但是我们基于redhat6.3做的开发,我也想用智能指针,但是redhat6.3的gcc不支持c++11.
回复 3# windoze


   

kdkgod

我觉得二楼的提供的办法最好,也是我最常用的,加个初始化函数.

回复 3# windoze


   

windoze

回复 5# kdkgod

老版本的GCC可以用boost.smart_ptr里面的scoped_ptr凑合一下，在这个场合没什么区别。

windoze

回复 6# kdkgod

不过话说回来，你干吗不用vector<int>？这个再老版本的C++也该有了。

kdkgod

历史原因,
我实现了一个基于数组的无锁的缓冲区模板类. 数组的size是用过template传,但是这样编译之后就指定了数组的大小,为了以后能通过配置文件灵活改变缓冲区大小,所以才这样的方式传数组的大小.


回复 8# windoze