C构造函数、析构函数可以抛出异常吗我们先回忆一下构造函数负责“出生”创建一个对象。析构函数负责“离开”销毁一个对象清理资源。比如class Student { public: Student() { cout 学生出生了 endl; } ~Student() { cout 学生毕业了 endl; } };程序Student s;执行学生出生了 ... 学生毕业了一、什么是异常生活中小明去学校出门 ↓ 坐公交 ↓ 突然下大雨 ↓ 无法到学校“大雨”就是一种特殊情况。程序中int a 10; int b 0; cout a / b;除数不能为 0。程序遇到了无法正常处理的问题。这种情况叫异常ExceptionC中使用throw抛出异常throw 错误信息;使用try { } catch() { }接住异常。二、构造函数可以抛异常吗答案✅可以而且非常常见。1. 为什么构造函数需要抛异常因为构造函数负责创建对象。例如我们创建一个文件对象class File { public: File(string name) { if(name) { throw 文件名为空; } } };使用try { File f(); } catch(const char* e) { cout e; }输出文件名为空为什么因为创建对象 | | ↓ 发现无法创建 | | ↓ 抛异常这个对象根本没有成功出生。三、构造函数抛异常后对象存在吗这是重点。答案❌ 不存在例如class Student { public: Student() { cout开始创建endl; throw 创建失败; } }; int main() { try { Student s; } catch(...) { } }执行开始创建然后异常。对象没有创建成功。所以Student s;不存在。四、构造函数抛异常会调用析构函数吗答案❌ 不会调用这个对象的析构函数为什么因为构造失败 ↓ 对象没有出生 ↓ 没有死亡 ↓ 不用析构比如class A { public: A() { cout构造endl; throw 1; } ~A() { cout析构endl; } }; int main() { try { A a; } catch(...) { } }输出构造没有析构五、但是已经创建成功的成员会析构吗这里是一个重要知识。看class B { public: B() { coutB构造endl; } ~B() { coutB析构endl; } }; class A { B b; public: A() { coutA构造endl; throw 1; } ~A() { coutA析构endl; } };执行try { A a; } catch(...) { }过程创建A | 创建成员b | B成功出生 | A构造函数失败 | A没有创建成功 | 销毁已经创建的b输出B构造 A构造 B析构注意没有A析构但是B析构原因对象A没有完整出生。但是它里面已经出生的成员需要清理。六、析构函数可以抛异常吗答案技术上✅ 可以但是实际开发❌ 强烈不推荐为什么因为析构函数什么时候运行通常程序正常 | 对象离开作用域 | 析构例如{ Student s; }离开大括号调用析构但是如果析构函数里面抛异常~Student() { throw 错误; }会发生什么七、最危险情况异常里面又遇到析构异常看try { Student s; throw 外部错误; } catch(...) { }过程发生异常 | 开始寻找catch | 需要销毁对象s | 调用s析构函数 | 析构函数又throw | 两个异常同时存在C不知道怎么办。于是程序直接结束std::terminate()简单理解两个小朋友同时喊小明 老师我有问题 小红 老师我也有问题老师程序只能停止。八、所以C规定析构函数最好不要抛异常原因析构函数的任务清理东西不应该制造新的麻烦。例如正确~File() { close(); }错误~File() { throw 关闭失败; }九、现代C推荐写法C11以后析构函数默认noexcept意思这个函数保证不会抛异常。例如class Student { public: ~Student() noexcept { } };如果析构函数真的可能失败怎么办不要~Student() { throw; }而应该提前处理student.close();例如文件file.close();网络socket.shutdown();资源提前释放。十、总结表函数能否抛异常推荐构造函数✅ 可以常用析构函数⚠️ 可以不要构造失败对象不存在不会调用自己的析构成员已经创建会调用成员析构保证资源释放析构抛异常可能导致程序终止避免给小学生的一句话总结构造函数像“出生检查”发现不能出生可以报告错误抛异常。析构函数像“打扫卫生”最好安安静静完成任务不要制造新的问题。在C工程中构造函数抛异常✅ 很正常析构函数抛异常❌ 大忌这也是为什么很多大型C项目要求构造函数可以失败析构函数必须成功。这和前面讲的RAII资源管理思想对象负责管理资源是紧密相关的也是C面向对象非常核心的设计思想。