Re: how to instantiate explicitly template parameters in struct A(T1){this(T2)(){...}}

[Juan Manuel Cabo]

On Tuesday, 14 May 2013 at 03:34:52 UTC, Timothee Cour wrote:

A)

The behavior of __ctor (whether or not documented) seems broken / unreliable:

struct A{this(T)(T x){}}

void fun(T){
  auto a=A.__ctor!(int)(1);
}
void main(){
  auto a=A.__ctor!(int)(1); //ok
  fun!int(); //Error: type A is not an expression
}


Is that a bug?

B)

Why not use 'this' instead of '__ctor', and make it documented (and

reliable, ie work in the above case) ?

I don't see how that could create ambiguity, and that would solve the

problem raised in this thread.

I declared fun(T) as fun(T)() with the added parenthesis, and it
worked (tested on dmd 2.062 / ubuntu 64bits).

The following prints "it works" twice:

    import std.stdio;

    struct A {
        this(T)(T x) {
            writeln("it works");
        }
    }

    void fun(T)(){
         auto a=A.__ctor!(int)(1);
    }
    void main(){
         auto a=A.__ctor!(int)(1); //ok
         fun!int(); //ok too
    }

--jm