Re: Eponymous Aggregates

[Simen Kjaeraas]

On 2013-08-10, 14:58, JS wrote:

e.g.,
interface A
{
     static T A(T)() { ... }
}

can be used as A!T instead of A.A!T. Same for classes and structs. If  
you want a use case I'm not going to stop you from coming up with one...  
so feel free.

Tried with DMD 2.063.2, and I'm unable to make A!T compile. Are you sure
you've written the code you intended to?

For reference, this is the code I tried:

interface A {
    static T A(T)() {
        return T.init;
    }
}

void main() {
    A!int a;        // Error: template instance A!(int) A is not a  
template declaration, it is a interface
    auto b = A!int; // Error: template instance A!(int) A is not a  
template declaration, it is a interface
}

This code, of course, works:

template A(T) {
    interface A {
    }
}

void main() {
    A!int a;
}