Re: C++ guys hate static_if?

[TommiT]

On Tuesday, 12 March 2013 at 02:39:06 UTC, TommiT wrote:
struct S1 implements A2 {
    void foo() { }
    void bar() { }
}

That's not good. Types shouldn't have to explicitly say that they 
implement a concept. The fact that a type implements a concept 
should be implicit, i.e. the following (pseudo-code) should work:

concept InputRange {
    if( is(typeof(this.empty) : bool)
    &&  is(typeof(this.front))
    &&  is(typeof(this.popFront() == void) )
}

struct MyRange {
    bool empty() { return false; }
    int  front() { return 42; }
    void popFront() { }
}

void main() {
    static assert(is(MyRange == InputRange));
}