The GC, destructors, exceptions and memory corruption

[Don]

Alexander wrote:
> On 13.05.2011 06:53, Vladimir Panteleev wrote:
> 
>> Thus, my question is: what's the expected behavior of D programs when a destructor throws?
> 
>   I would say, the only expected (and correct, IMHO) behavior should be termination of the program because of unhandled exception.
> 
> /Alexander

Are you talking about *finalizers* or *destructors* ?

Throwing from inside a destructor should definitely work (unlike C++).
But finalizers should probably be nothrow.