CPP Exception

CPP Exception

已知
异常类/异常对象, CPP-runtime/编译器会维护一个副本copy
进入catch-handler时, 在try子句中, 编译器管理已构造局部对象(非指针), 进行析构
具体同如下DO

异常与构造函数

• 抛出异常
  • 别人抛异常 => 我catch
  • 我基本不抛 => 否则, 擦屁股有哪些事 => DO
• 捕获异常
  • 使用函数try语句块, try位于冒号之前, 将捕获的范围扩大到构造函数初始值列表(即构造函数正确姿势), 即初始化 => 对应被聚合对象的构造函数异常
  • catch-handler/catch子句做什么事情 => DO
• DO
  • 已知, 即使不在try子句已经成功构造的成员对象(非指针, 有成员), CPP编译器会调用析构
  • 已知, 不会调用自己的析构
  • 问题是指针维护的资源比如堆, 句柄, 着色器, DB等依靠拷贝控制成员的东西, 且已经分配完成 => 资源泄露
  • 解决方式
    • 使用smart pointer 对象, 属于成员对象的析构
    • 此处, 必要时, 手动执行析构应有的动作

异常与析构函数

• 抛出异常
  • 是UB, 任何析构该类对象时, 不捕获 => std::terminate(); 捕获 => 即自己吃自己的屎 => 有意义么
  • try子句中任何使用该类的局部对象, 编译器自动执行如上已知时, 进入任何一个catch-handler/catch子句, 即发生UB/terminate`, 否则无异常属于第一点情况
• 捕获异常
  • 完全捕获所有异常, 且不要在catch-handler中继续抛出异常
  • 同时注意析构功能的完整性, 否则, 再次手动执行析构应有的动作
• RAII简述
  • 不需要finally关键字, 一个动作的执行, 使用OO/OOP, 使用ctor/dtor
  • 对于异常发生, try子句范围/成员对象范围, CPP编译器有自动析构
  • 将指针用于smart-ptr<T>模板才能解决所有问题啊!