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