<div dir="ltr"><div>Template this parameters (<a href="http://dlang.org/template.html#TemplateThisParameter">http://dlang.org/template.html#TemplateThisParameter</a>) are extremely useful for writing generic methods in base classes or interfaces that need to know the static type of the object they're called on.</div>
<div><br></div><div>class Base</div><div>{</div><div>    string label;</div><div><br></div><div>    this(string label_)</div><div>    {</div><div>        label = label_;</div><div>    }</div><div><br></div><div>    string toString(this This_)()</div>
<div>    {</div><div>        return This_.stringof ~ "(`" ~ label ~ "`)";</div><div>    }</div><div>}</div><div><br></div><div>class Derived: Base</div><div>{</div><div>    this()</div><div>    {</div>
<div>        super("Hello, world!");</div><div>    }</div><div>}</div><div><br></div><div>unittest</div><div>{</div><div>    Derived d = new Derived();</div><div>    assert(d.toString() == "Derived(`Hello, world!`)");</div>
<div>}</div><div><br></div><div>Of course, this wouldn't work if the toString() was called from a Base reference, instead of Derived.</div><div><br></div><div>After I tested this, immediately thought of the constructor. The constructor of the base class is guaranteed to be called when constructing a derived class, right? Even if the call is implicit, it still happens and at the call site the concrete type being constructed is known, so in theory, a template this parameter on the base class's constructor should allow the base class to know the static type of the object being constructed (which is immensely useful for implementing dynamic dispatch classes).</div>
<div><br></div><div>class Base</div><div>{</div><div>    this(this This_)()</div><div>    {</div><div>        // Build a dispatch table using __traits(allMethods, This_)</div><div>    }</div><div><br></div><div>    void opCall(Payload_)(Payload_ payload_)</div>
<div>    {</div><div>        // Dynamically dispatch payload_ using the previously built dispatch table.</div><div>    }</div><div>}</div><div><br></div><div>class Derived: Base</div><div>{</div><div>    // implicitly generated constructor will call the Base.this() and implicitly give it the static type of Derived.</div>
<div>}</div><div><br></div><div>unittest</div><div>{</div><div>    Base b = new Derived;</div><div>    b(); // 100% transparent dynamic dispatch</div><div>}</div><div><br></div><div style>Unfortunately, this is what DMD had to say about this:</div>
<div><br></div><div>C:\Users\g.gyolchanyan\Desktop\test.d(3): Error: found 'This_' when expecting ')'</div><div>C:\Users\g.gyolchanyan\Desktop\test.d(3): Error: semicolon expected following function declaration</div>
<div>C:\Users\g.gyolchanyan\Desktop\test.d(3): Error: Declaration expected, not ')'</div><div><br></div><div style>It looks like DMD thinks I was gonna write a postblit constructor and I guess the functionality is already there, but can't be reached due to a parsing error.</div>
<div style><br></div><div style>Is there any change of this being fixed any time soon?</div><div><br></div>-- <br>Bye,<br>Gor Gyolchanyan.
</div>