c++构造函数中发生错误，如何处理？ http://www.opengpu.org/forum.php?mod=viewthread&tid=2918

c++构造函数中发生错误，如何处理？ [复制链接]

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	电梯直达 1#   发表于 2010-6-30 17:34:28  | 只看该作者  | 倒序浏览 本帖最后由 songge09 于 2010-6-30 17:37 编辑 如果构造函数中发生错误，如何处理较为妥当？不要说构造函数中不可能发生错误，那要么是你没有处理，要么是总是空的构造函数。 我目前得方法是这样的 SomeClass obj; if (!obj.init()) {     log("error."); } 复制代码 但总觉得这样是不是太c style了，并不是说c style不好，而是c++本身的style是什么？ c++作者搞了个raii的方案，我不喜欢，不够kiss。 望牛哥指点。
	分享0 收藏0 0 0
	使用道具 举报

mayax 上轻车都尉（正四品） 注册时间 2010-5-11 积分 2340 串个门 加好友 打招呼 发消息	2#   发表于 2010-6-30 17:44:24  | 只看该作者 我会尽量减少在构造函数里的工作量，尽量往外移，构造函数尽可能仅赋值，以及进行无IO、无异步的内部构建。。。。 1 查看全部评分 vanish87
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	3#   发表于 2010-6-30 18:39:27  | 只看该作者 是的，析构函数同样有这个问题，所以我现在不得不把大部分类都加上 init destroy 这两个函数，并显示调用判别并处理错误。 但是这样，构造函数和析构函数就完全变成无用的东西了
	使用道具 举报

goncely 上柱国（正二品） 注册时间 2010-3-12 积分 19555 串个门 加好友 打招呼 发消息	4#   发表于 2010-6-30 22:43:51  | 只看该作者 构造函数中的错误一般通过抛出异常来处理 1 查看全部评分 vanish87
	I Love 3D
	使用道具 举报

xoyojank 轻车都尉（从四品） 注册时间 2009-10-18 积分 1674 串个门 加好友 打招呼 发消息	5#   发表于 2010-7-1 00:00:03  | 只看该作者 嗯, 一般只用它初始化变量
	使用道具 举报

mayax 上轻车都尉（正四品） 注册时间 2010-5-11 积分 2340 串个门 加好友 打招呼 发消息	6#   发表于 2010-7-1 10:31:58  | 只看该作者 构造函数中的错误一般通过抛出异常来处理 goncely 发表于 2010-6-30 22:43  这是有问题的，构造函数，不应该抛出异常，考虑 AClass * a = nullptr; try { a = new AClass(); } catch(...) { // what is a ? a is nullptr! real a is missing! } 复制代码 这个情况就相当尴尬了，构造函数一旦抛出异常，a 根本就没有赋值，也就是说，new 的结果泄露了。 构造函数和析构函数是一定不能抛出异常的，否则将引来更多问题。
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	7#   发表于 2010-7-1 12:10:07  | 只看该作者 本帖最后由 songge09 于 2010-7-1 12:14 编辑 这是有问题的，构造函数，不应该抛出异常，考虑 这个情况就相当尴尬了，构造函数一旦抛出异常，a 根 ... mayax 发表于 2010-7-1 10:31  new 失败会产生异常，如果不catch异常，那么怎么得知出现了错误呢？ new失败了，就证明内存没有分配，何来泄露之说呢？或者new失败是由于AClass的构造函数调用失败造成的，但是AClass的构造函数应该会catch这个异常并处理，而不是继续抛出吧。 我是比较反对仅仅在构造函数里写 pointer = 0; 这样的语句，完全没什么作用么。 我认为 Creation = Initializition，这也应该是c++本身所倡导的。
	使用道具 举报

lidudu 超级版主 注册时间 2009-10-18 积分 9652 串个门 加好友 打招呼 发消息	8#   发表于 2010-7-1 12:54:02  | 只看该作者 本帖最后由 lidudu 于 2010-7-2 10:31 编辑 构造函数执行时，对象的内存已经分配了。 按C++ Spec，构造函数抛异常时，会立刻执行已成功构造的成员对象的析构函数并释放内存。所以不会有内存泄露。 但是，这并不意味着没问题了，因为在析构函数里，你并不知道哪些成员已经初始化了而需要delete，这意味着需要在构造函数初始化列表里将指针都初始化成NULL，然后再构造函数体内创建对象赋值，这样析构才能判断。 即便不会出错误了，要满足C++ spec意味着编译器要对每个可能抛异常的构造的new操作自动生成一个try-catch来调用析构和释放内存。在意性能的程序员会很心痛~心痛~心痛~ 所以，便有了构造析构不干活，而另做init()/destroy()的用法。 但C++创始人strovstrup认为应该用Resource Acqusition is Initialization的模式，也就是要用构造和析构。但出错时未必要抛异常，而可以将对象置于无效状态，如file("abc.txt")构造后，如果文件不存在，那么if (file) 为假。这个方法的麻烦就是构造之后要多做一步检查，但总比init()/destroy()简单。 1 查看全部评分 vanish87
	使用道具 举报

net00 骑都尉（从五品） 注册时间 2009-9-8 积分 221 串个门 加好友 打招呼 发消息	9#   发表于 2010-7-1 14:30:00  | 只看该作者 标准方法: 抛异常
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	10#   发表于 2010-7-1 16:15:18  | 只看该作者 回复 8# lidudu     回答的好！
	使用道具 举报

lidudu 超级版主 注册时间 2009-10-18 积分 9652 串个门 加好友 打招呼 发消息	11#   发表于 2010-7-2 10:28:21  | 只看该作者 本帖最后由 lidudu 于 2010-7-2 10:39 编辑 纠正一下，前面说的有错。当new obj()抛异常时，obj.~obj()不会执行，但其已经成功初始化的成员对象的析构会被执行。也就是说，成功分配内存的单纯的指针成员变量会导致内存泄露，所以必须用smart_ptr这种带析构函数的包装。 另外，即使构造函数没有抛异常，但任何new运算符都可能因为out of memory抛异常（按C++ spec），那么理论上编译器总要在new外边套一层try-catch，才能保证正确释放资源。这个比较郁闷。 不论如何，C++的构造函数里最好还是避免异常，析构更是。STL里绝大多数类的构造都不抛异常。当然，这个不是太有说服力，因为STL最早出现时，C++还没有异常处理这个特性呢。 对于异常方面的问题，可以参考http://yosefk.com/c++fqa/exceptions.html#fqa-17.2
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	12#   发表于 2010-7-2 12:18:23  | 只看该作者 对于异常方面的问题，可以参考http://yosefk.com/c++fqa/exceptions.html#fqa-17.2 lidudu，谢谢，这个上面的资料正是我想搞清楚的东西，你真有学问
	使用道具 举报

keeperX 头像被屏蔽 禁止访问 注册时间 2010-7-10 积分 87 串个门 加好友 打招呼 发消息	13#   发表于 2010-7-21 01:39:40  | 只看该作者 提示:  作者被禁止或删除 内容自动屏蔽
	签名被屏蔽
	使用道具 举报

crazii 上轻车都尉（正四品） 疯哥哥 注册时间 2010-7-23 积分 2168 串个门 加好友 打招呼 发消息	14#   发表于 2010-7-23 03:33:12  | 只看该作者 没有深入研究过,学习. 貌似这里的氛围不错,是个好地方.
	http://www.cnblogs.com/crazii
	使用道具 举报

bell123 云骑尉（正七品） 注册时间 2010-8-13 积分 38 串个门 加好友 打招呼 发消息	15#   发表于 2010-8-16 16:27:20  | 只看该作者 构造函数只做成员变量的默认值的赋与，大量的操作还是放在Init()函数的好。
	使用道具 举报

lisa 上骑都尉（正五品） 注册时间 2009-10-9 积分 647 串个门 加好友 打招呼 发消息	16#   发表于 2010-8-17 18:48:33  | 只看该作者 本帖最后由 lisa 于 2010-8-17 18:52 编辑 另外，即使构造函数没有抛异常，但任何new运算符都可能因为out of memory抛异常（按C++ spec），那么理论上编译器总要在new外边套一层try-catch，才能保证正确释放资源。 并不是要靠try-catch才能保证正确释放资源的，调new的话最终会掉MSVCR90(D).dll这类CRT的函数（如果调试debug版的CRT会发现调new的话会调malloc，然后是一系列的debug版malloc实现，非常多，最终有一个函数调了HeapAlloc,release比较简单，最终也是调HeapAlloc），最终由HeapAlloc、VirtualAlloc这类函数负责分配内存，当程序结束时进程负责摧毁所有的堆（如果没掉HeapCreate的话就一个默认堆），堆摧毁时内存就释放了，所以编译器并不需要去给new加try-catch来保证资源被释放的，CRT会加try-catch，但它不是为了正确释放内存用的。
	使用道具 举报

ixnehc2010 护军（从三品） 注册时间 2010-4-29 积分 4949 串个门 加好友 打招呼 发消息	17#   发表于 2010-8-17 20:10:54  | 只看该作者 一开始是无序状态,构造函数使对象变成"空"的状态,Init()使它变成"有内容"的状态,Clear()使它变回"空"的状态,析构函数使它变回无序状态,这样比较清楚.
	使用道具 举报

socket9999 骑都尉（从五品） 注册时间 2009-9-6 积分 337 串个门 加好友 打招呼 发消息

18#   发表于 2010-8-19 14:11:08  | 只看该作者 本帖最后由 socket9999 于 2010-8-19 14:12 编辑 这是有问题的，构造函数，不应该抛出异常，考虑 这个情况就相当尴尬了，构造函数一旦抛出异常，a 根 ... mayax 发表于 2010-7-1 10:31  这个问题貌似C++ Primer和Effective C++里都提到过。 解决方法是把a改成智能指针，这样a被销毁时也会delete所指对象。

c++构造函数中发生错误，如何处理？ [复制链接]

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	电梯直达 1#   发表于 2010-6-30 17:34:28  | 只看该作者  | 倒序浏览 本帖最后由 songge09 于 2010-6-30 17:37 编辑 如果构造函数中发生错误，如何处理较为妥当？不要说构造函数中不可能发生错误，那要么是你没有处理，要么是总是空的构造函数。 我目前得方法是这样的 SomeClass obj; if (!obj.init()) {     log("error."); } 复制代码 但总觉得这样是不是太c style了，并不是说c style不好，而是c++本身的style是什么？ c++作者搞了个raii的方案，我不喜欢，不够kiss。 望牛哥指点。
	分享0 收藏0 0 0
	使用道具 举报

mayax 上轻车都尉（正四品） 注册时间 2010-5-11 积分 2340 串个门 加好友 打招呼 发消息	2#   发表于 2010-6-30 17:44:24  | 只看该作者 我会尽量减少在构造函数里的工作量，尽量往外移，构造函数尽可能仅赋值，以及进行无IO、无异步的内部构建。。。。 1 查看全部评分 vanish87
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	3#   发表于 2010-6-30 18:39:27  | 只看该作者 是的，析构函数同样有这个问题，所以我现在不得不把大部分类都加上 init destroy 这两个函数，并显示调用判别并处理错误。 但是这样，构造函数和析构函数就完全变成无用的东西了
	使用道具 举报

goncely 上柱国（正二品） 注册时间 2010-3-12 积分 19555 串个门 加好友 打招呼 发消息	4#   发表于 2010-6-30 22:43:51  | 只看该作者 构造函数中的错误一般通过抛出异常来处理 1 查看全部评分 vanish87
	I Love 3D
	使用道具 举报

xoyojank 轻车都尉（从四品） 注册时间 2009-10-18 积分 1674 串个门 加好友 打招呼 发消息	5#   发表于 2010-7-1 00:00:03  | 只看该作者 嗯, 一般只用它初始化变量
	使用道具 举报

mayax 上轻车都尉（正四品） 注册时间 2010-5-11 积分 2340 串个门 加好友 打招呼 发消息	6#   发表于 2010-7-1 10:31:58  | 只看该作者 构造函数中的错误一般通过抛出异常来处理 goncely 发表于 2010-6-30 22:43  这是有问题的，构造函数，不应该抛出异常，考虑 AClass * a = nullptr; try { a = new AClass(); } catch(...) { // what is a ? a is nullptr! real a is missing! } 复制代码 这个情况就相当尴尬了，构造函数一旦抛出异常，a 根本就没有赋值，也就是说，new 的结果泄露了。 构造函数和析构函数是一定不能抛出异常的，否则将引来更多问题。
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	7#   发表于 2010-7-1 12:10:07  | 只看该作者 本帖最后由 songge09 于 2010-7-1 12:14 编辑 这是有问题的，构造函数，不应该抛出异常，考虑 这个情况就相当尴尬了，构造函数一旦抛出异常，a 根 ... mayax 发表于 2010-7-1 10:31  new 失败会产生异常，如果不catch异常，那么怎么得知出现了错误呢？ new失败了，就证明内存没有分配，何来泄露之说呢？或者new失败是由于AClass的构造函数调用失败造成的，但是AClass的构造函数应该会catch这个异常并处理，而不是继续抛出吧。 我是比较反对仅仅在构造函数里写 pointer = 0; 这样的语句，完全没什么作用么。 我认为 Creation = Initializition，这也应该是c++本身所倡导的。
	使用道具 举报

lidudu 超级版主 注册时间 2009-10-18 积分 9652 串个门 加好友 打招呼 发消息	8#   发表于 2010-7-1 12:54:02  | 只看该作者 本帖最后由 lidudu 于 2010-7-2 10:31 编辑 构造函数执行时，对象的内存已经分配了。 按C++ Spec，构造函数抛异常时，会立刻执行已成功构造的成员对象的析构函数并释放内存。所以不会有内存泄露。 但是，这并不意味着没问题了，因为在析构函数里，你并不知道哪些成员已经初始化了而需要delete，这意味着需要在构造函数初始化列表里将指针都初始化成NULL，然后再构造函数体内创建对象赋值，这样析构才能判断。 即便不会出错误了，要满足C++ spec意味着编译器要对每个可能抛异常的构造的new操作自动生成一个try-catch来调用析构和释放内存。在意性能的程序员会很心痛~心痛~心痛~ 所以，便有了构造析构不干活，而另做init()/destroy()的用法。 但C++创始人strovstrup认为应该用Resource Acqusition is Initialization的模式，也就是要用构造和析构。但出错时未必要抛异常，而可以将对象置于无效状态，如file("abc.txt")构造后，如果文件不存在，那么if (file) 为假。这个方法的麻烦就是构造之后要多做一步检查，但总比init()/destroy()简单。 1 查看全部评分 vanish87
	使用道具 举报

net00 骑都尉（从五品） 注册时间 2009-9-8 积分 221 串个门 加好友 打招呼 发消息	9#   发表于 2010-7-1 14:30:00  | 只看该作者 标准方法: 抛异常
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	10#   发表于 2010-7-1 16:15:18  | 只看该作者 回复 8# lidudu     回答的好！
	使用道具 举报

lidudu 超级版主 注册时间 2009-10-18 积分 9652 串个门 加好友 打招呼 发消息	11#   发表于 2010-7-2 10:28:21  | 只看该作者 本帖最后由 lidudu 于 2010-7-2 10:39 编辑 纠正一下，前面说的有错。当new obj()抛异常时，obj.~obj()不会执行，但其已经成功初始化的成员对象的析构会被执行。也就是说，成功分配内存的单纯的指针成员变量会导致内存泄露，所以必须用smart_ptr这种带析构函数的包装。 另外，即使构造函数没有抛异常，但任何new运算符都可能因为out of memory抛异常（按C++ spec），那么理论上编译器总要在new外边套一层try-catch，才能保证正确释放资源。这个比较郁闷。 不论如何，C++的构造函数里最好还是避免异常，析构更是。STL里绝大多数类的构造都不抛异常。当然，这个不是太有说服力，因为STL最早出现时，C++还没有异常处理这个特性呢。 对于异常方面的问题，可以参考http://yosefk.com/c++fqa/exceptions.html#fqa-17.2
	使用道具 举报

songge09 骑都尉（从五品） 注册时间 2010-6-1 积分 228 串个门 加好友 打招呼 发消息	12#   发表于 2010-7-2 12:18:23  | 只看该作者 对于异常方面的问题，可以参考http://yosefk.com/c++fqa/exceptions.html#fqa-17.2 lidudu，谢谢，这个上面的资料正是我想搞清楚的东西，你真有学问
	使用道具 举报

keeperX 头像被屏蔽 禁止访问 注册时间 2010-7-10 积分 87 串个门 加好友 打招呼 发消息	13#   发表于 2010-7-21 01:39:40  | 只看该作者 提示:  作者被禁止或删除 内容自动屏蔽
	签名被屏蔽
	使用道具 举报

crazii 上轻车都尉（正四品） 疯哥哥 注册时间 2010-7-23 积分 2168 串个门 加好友 打招呼 发消息	14#   发表于 2010-7-23 03:33:12  | 只看该作者 没有深入研究过,学习. 貌似这里的氛围不错,是个好地方.
	http://www.cnblogs.com/crazii
	使用道具 举报

bell123 云骑尉（正七品） 注册时间 2010-8-13 积分 38 串个门 加好友 打招呼 发消息	15#   发表于 2010-8-16 16:27:20  | 只看该作者 构造函数只做成员变量的默认值的赋与，大量的操作还是放在Init()函数的好。
	使用道具 举报

lisa 上骑都尉（正五品） 注册时间 2009-10-9 积分 647 串个门 加好友 打招呼 发消息	16#   发表于 2010-8-17 18:48:33  | 只看该作者 本帖最后由 lisa 于 2010-8-17 18:52 编辑 另外，即使构造函数没有抛异常，但任何new运算符都可能因为out of memory抛异常（按C++ spec），那么理论上编译器总要在new外边套一层try-catch，才能保证正确释放资源。 并不是要靠try-catch才能保证正确释放资源的，调new的话最终会掉MSVCR90(D).dll这类CRT的函数（如果调试debug版的CRT会发现调new的话会调malloc，然后是一系列的debug版malloc实现，非常多，最终有一个函数调了HeapAlloc,release比较简单，最终也是调HeapAlloc），最终由HeapAlloc、VirtualAlloc这类函数负责分配内存，当程序结束时进程负责摧毁所有的堆（如果没掉HeapCreate的话就一个默认堆），堆摧毁时内存就释放了，所以编译器并不需要去给new加try-catch来保证资源被释放的，CRT会加try-catch，但它不是为了正确释放内存用的。
	使用道具 举报

ixnehc2010 护军（从三品） 注册时间 2010-4-29 积分 4949 串个门 加好友 打招呼 发消息	17#   发表于 2010-8-17 20:10:54  | 只看该作者 一开始是无序状态,构造函数使对象变成"空"的状态,Init()使它变成"有内容"的状态,Clear()使它变回"空"的状态,析构函数使它变回无序状态,这样比较清楚.
	使用道具 举报

socket9999 骑都尉（从五品） 注册时间 2009-9-6 积分 337 串个门 加好友 打招呼 发消息

18#   发表于 2010-8-19 14:11:08  | 只看该作者 本帖最后由 socket9999 于 2010-8-19 14:12 编辑 这是有问题的，构造函数，不应该抛出异常，考虑 这个情况就相当尴尬了，构造函数一旦抛出异常，a 根 ... mayax 发表于 2010-7-1 10:31  这个问题貌似C++ Primer和Effective C++里都提到过。 解决方法是把a改成智能指针，这样a被销毁时也会delete所指对象。