Exception/Error division in D

[deadalnix]

Le 01/06/2012 02:57, Walter Bright a écrit :
> On 5/31/2012 2:23 AM, Lars T. Kyllingstad wrote:
>> On Thursday, 31 May 2012 at 02:18:22 UTC, Walter Bright wrote:
>>> A recoverable exception is NOT a logic bug in your program, which is
>>> why it is
>>> recoverable.
>>>
>>> If there is recovery possible from a particular assert error, then
>>> you are
>>> using asserts incorrectly.
>>
>> I think this is a key point. Asserts are there to verify and debug
>> program
>> logic, they are not part of the logic itself. They are a useful tool
>> for the
>> programmer, nothing more. Specifically, asserts are NOT an error handling
>> mechanism!
>
> Right. And I'd like to amplify that the asserts are also there to detect
> program faults hopefully before damage is done.
>
> If a program must continue even after it has failed, then you have a
> WRONGLY designed system.
>
> It is extremely important to understand this point if you are
> implementing any sort of critical software.

We are talking about runing scope statement and finally when unwiding 
the stack, not trying to continue the execution of the program.

This is, most of the time, the point of error/exceptions. You rarely 
recover from them in real life.