[Issue 14125] std.file has gotten out of hand

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14125

Walter Bright <bugzilla at digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla at digitalmars.com

--- Comment #10 from Walter Bright <bugzilla at digitalmars.com> ---
Consider the following code:

    @trusted void* trustedMalloc(size_t n) { return malloc(n); }
    @trusted void trustedFree(void* p) { free(p); }

    @safe void foo() {
        auto p = trustedMalloc(5);
        trustedFree(p);
        trustedFree(p);
    }

foo() passes @safe checks, yet is able to corrupt memory. The fault is that the
@trusted functions failed to encapsulate what they're doing and present a safe
interface.

@trusted functions must be reviewed to determine if they present a safe
interface or not. Merely wrapping an unsafe operation is not good enough and
must not pass review.

--