Re: exceptions & dataflow

Jason Merrill wrote:
>> I'm not sure what you're saying. I'm not very familiar with Java, but
>> finally blocks seem analogous to C++ implicit destructors in terms of
>> when they get run;


>>>>> David L Moore <dlmoore@ix.netcom.com> writes:
> In Java, the finalizer is run when the storage for the object
> gets garbage collected, which can be much later.


I was actually refferring to the try...finally construct in Java, not to
finalizers.


> you could use this implementation in C++ too. Whenever you create an
> object on the stack you could put a pointer to it and its destructor
> somewhere in a known spot so that when you unwind the stack you can
> call the destructor.


Yep; the setjmp/longjmp-based EH implementation in gcc uses a stack of
cleanups. I am given to understand that Ada requires something similar...?
Our PC range table implementation expands out the cleanups to avoid any
time overhead in the unexceptional case.


Jason
--

Return to the comp.compilers page.
Search the comp.compilers archives again.