Re: @safe(bool)

[Timon Gehr via Digitalmars-d]

On 17.08.2017 18:36, HyperParrow wrote:

On Thursday, 17 August 2017 at 16:32:20 UTC, bitwise wrote:

This came to mind while working on a set of containers.

[...]
One solution could be this:

struct Container(T, bool safetyOn = true)
{
    static if(safe)
        RefCounted!(T[]) data;
    else
        T[] data;

    auto opSlice() @safe(safetyOn) {
        return Range(data, 0, data.length);
    }
}

A similar solution could be applied to @nogc as well.

Yeah, i like it more than https://github.com/dlang/DIPs/blob/master/DIPs/DIP1012.md.

That makes little sense to me, as DIP 1012 is strictly more general.

template safety(bool safetyOn){ // (this can even be in core)
    static if(safetyOn) alias safety = FunctionSafety.safe;
    else alias safety = FunctionSafety.system;
    // else alias safety = infer!FunctionSafety; // even better!
}

struct Container(T, bool safetyOn = true){
    static if(safe) RefCounted!(T[]) data;
    else T[] data;

    auto opSlice() @safety!safetyOn {
        return Range(data, 0, data.length);
    }
}