问一个异常处理中栈展开的问题

jaffaz

栈展开的时候，异常处理机制是如何检测哪些对象是需要析构的？

jaffaz

我想知道编译器通常是如何在运行时实现这个功能的。
因为c++中的对象可以在函数体内的任何地方定义，并且还有块局部域、临时对象的存在，
感觉上这个栈展开过程比较复杂

jaffaz

没人顶？

lsmup

基本类型的组合，方便处理而已。
如果如果对象含有指向堆上内存的指针，就释放内存
思想上应该如此

jaffaz

原帖由 lsmup 于 2007-5-14 12:56 发表
基本类型的组合，方便处理而已。
如果如果对象含有指向堆上内存的指针，就释放内存
思想上应该如此

栈展开是不会自动释放堆上分配的内存的。
仅仅是析构已创建的对象而已。
我的问题是，是不是需要保存额外的信息来描述哪些对象已经被创建了？

hellomotor

毫无疑问，编译器需要登记这些信息，详见 http://script.chinadir.net/10594.htm

jaffaz

原帖由 hellomotor 于 2007-5-14 17:19 发表
毫无疑问，编译器需要登记这些信息，详见 http://script.chinadir.net/10594.htm

那对于一些很普通的函数岂不是很无辜，白干了这些活？
ps: void func(void) throw(); 这种声明还会不会登记这些信息

hellhell

有本讲C语言接口设计的书,里面有一章用宏在C上实现了异常处理...
抛出异常之时,只是在出方法的作用域时会把所有的局部对象析构吧.
PS:楼上某人给出的链接全是乱码.

jaffaz

原帖由 hellhell 于 2007-5-14 22:40 发表
有本讲C语言接口设计的书,里面有一章用宏在C上实现了异常处理...
抛出异常之时,只是在出方法的作用域时会把所有的局部对象析构吧.
PS:楼上某人给出的链接全是乱码.

我这里能够正常显示。