Most basic nothrow, pure, @safe functions?

bearophile bearophileHUGS at lycos.com
Tue Mar 18 16:37:54 PDT 2014


Steven Schveighoffer:

> But that solution isn't very good. At some point, the function 
> *could* throw (I hope not), and then the forced nothrow will 
> create silent bugs.

Walter has recently proposed optimizations for nothrow functions 
(like this: https://d.puremagic.com/issues/show_bug.cgi?id=12384 
). If nothrow is circumvented and the function throws, the 
program goes into undefined behavour at best. So I agree that 
those annotations should start from the ground up.

Bye,
bearophile


More information about the Digitalmars-d mailing list