Re: Template mixins and struct constructors

[Daniel Kozak via Digitalmars-d-learn]

On Wednesday, 2 March 2016 at 12:27:04 UTC, Adrian Matoga wrote:
I can do this:
struct Foo {
        int a;
        string b;
        this(int a) { this.a = a; }
	this(Args...)(string b, auto ref Args args) { this.b = b; 
this(args); }
}

unittest {
        auto foo1 = Foo(5);
        auto foo2 = Foo("foo", 15);
}

However, the following code is invalid:

mixin template AddField(T) {
        T b;
        this(Args...)(T b, auto ref Args args)
        {
                this.b = b;
                this(args);
        }
}

struct Bar {
        mixin AddField!string;
        int a;
        this(int a) { this.a = a; }
}

unittest {
        auto bar1 = Bar(5);
        auto bar2 = Bar("bar", 15);  // line 31
}

sctor.d(31): Error: constructor sctor.Bar.this (int a) is not 
callable using argument types (string, int)

Is it by design or is it a bug?
And, if it is by design, what is the reason for that?

I would say it is by design. What this will generate is something 
like:

struct Bar {
    static struct _scope {
        string b;
        this(Args...)(string b, auto ref Args args) {
            this.b = b; this(args);
        }
    }
    int a;
    this(int a) { this.a = a; }
}