On Fri, 13 May 2011 11:25:01 +0300, Don <[email protected]> wrote:
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.
How would you distinguish the two in the language? Class destructors =
finalizers?
Come to think of it, SafeD shouldn't allow accessing anything on the heap
in finalizers as well...
--
Best regards,
Vladimir mailto:[email protected]
