On 05/22/2010 12:58 PM, SHOO wrote:
Do you mean that don't mark @trusted without thought, and should mark @system if it have any risk? (For example, precision loss for cast, or pointer operation)
Yes. Essentially @trusted from a client's perspective is just like @safe. When in doubt, err on the side of @system, not @trusted.
The classic model of safe programming is Java's - class-based, garbage-collected, no true templates. We all need to think a lot on how that translates to template functions.
Andrei _______________________________________________ phobos mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/phobos
