Re: Checking function parameters in Phobos

[Dmitry Olshansky]

20-Nov-2013 22:01, Simen Kjærås пишет:
On 20.11.2013 18:45, Simen Kjærås wrote:
[snip]
May I suggest:
struct Validated(alias fn, T) {
     private T value;
     @property inout
     T get() {
         return value;
     }

Uh-hm. Add this:
        alias get this;


And it decays to the naked type in a blink of an eye. And some function 
down the road will do the validation again...

}

Validated!(fn, T) validate(alias fn, T)(T value) {
     Validated!(fn, T) result;
     fn(value);
     result.value = value;
     return result;
}

void functionThatTakesSanitizedFileNames(Validated!(sanitizeFileName,
string) path) {
    // Do stuff
}





--
Dmitry Olshansky