异常对象状态取决于抛出方式:按值最安全,生成独立副本;按引用易悬空,不推荐;按指针需手动释放,易泄漏;java因引用语义和gc保障更稳定。

抛出异常时,对象的状态取决于它被抛出的方式——是按值、按引用,还是按指针。关键不在“是不是引用类型”,而在“异常对象的生命期由谁管理”以及“catch子句如何声明”。
按值抛出:生成临时拷贝,原对象不受影响
这是最常见也最安全的方式。throw一个局部对象(比如throw MyException("error");)时,编译器会调用其拷贝构造函数,生成一个独立的异常对象副本。原局部对象在离开作用域时照常析构,而异常副本会在匹配的catch执行完毕后自动销毁。
- 即使原对象是栈上分配的,也不会因抛出而悬空
- catch参数若声明为catch(MyException e)(值传递),还会再拷贝一次;建议改用catch(const MyException& e)避免多余开销
- 拷贝构造函数必须可访问且不抛出异常,否则程序直接调用
std::terminate()
按引用抛出:危险,通常不推荐
不能直接throw一个引用变量(如throw &e;),因为引用本身不是对象。但可以throw一个引用所绑定的对象——本质仍是按值抛出。真正“按引用抛出”的场景极少,且极易引发未定义行为:
- 若throw的是局部对象的引用,该对象已在throw前析构,catch中访问将导致悬空引用
- 若throw的是堆对象引用(如throw *ptr;),实际仍按值抛出副本,堆对象本身生命周期不变
- C++标准禁止catch子句同时匹配同一类型的值和引用形式(例如不能既有catch(E)又有catch(const E&))
按指针抛出:需手动管理,易泄漏
throw一个指针(如throw new MyException("msg");)意味着异常对象在堆上分配,但运行时系统不会自动释放它。除非在catch中显式delete,否则必然内存泄漏。
- catch必须写成catch(MyException* p),且必须负责释放
- 如果异常未被捕获,或中途被另一个异常中断,new出来的对象永远无法回收
- 相比而言,按值抛出更符合RAII原则,是首选实践
Java中的对应逻辑:引用语义天然不同
Java所有对象都是引用类型,throw的始终是对象引用。JVM保证异常对象在被catch前不会被GC回收,因此状态稳定。但要注意:
- 异常对象本身是堆分配的,其字段值在throw那一刻已快照固化
- 若异常类持有可变外部状态(比如某个集合的引用),这些状态后续可能被其他线程修改,但异常对象内部字段不会变
- 使用initCause()或带cause构造器可形成异常链,原始异常的状态也被保留











