Re: Template Trick

[matovitch]

To be more precise the code below doesn't compile :

struct Vector(T, uint N)
{
        alias T type;
        enum dimension = N;
        T data[N];
}

void func(V, V.type def_val) (uint i, V v)
{
        if (i < v.dimension) {
                v.data[i] = def_val;
        }
}

void main()
{
        alias Vector!(int, 3) Vec3i;
        Vec3i v;
        func!(Vec3i, 42)(2, v);
}

With the error message :

test.d(8): Error: no property 'type' for type 'V'
test.d(8): Error: V.type is used as a type