d我想要动态模板虚

template T(int i=3)
{
    mixin template M(int m)
    {
	    enum t = i;
    }
}

{
	mixin T!1.M!1;
	pragma(msg, t);   // 1
}
{
	mixin T!().M!1;
	pragma(msg, t);   // 3
}
{
	mixin T.M!1;
	pragma(msg, t);//我想省略`!()`.
}

用别名,如

alias t = T!();

目前,没好办法.
我想保留t != T,但不能:alias T = T!(),报已定义T.

alias T = TImpl!();

模板与模板函数,这里有些不一致:

import std.stdio;

void f(int i=3)()
{
    writeln(i);
}

void main()
{
    f!1;  // 1
    f!(); // 3
    f;    // 3
}

化简:

template T(int i = 3) {
  enum value = i;
}

void main() {
  pragma(msg, T!().value);  //要求T!()
}

用定型模板,同样有不一致

struct S(int i = 3) {
}

void main() {
  S!() s;  // 要求S!()
}

应该改.

函数模板可从函数参数隐式实例化.而模板不行.
要加个!()来实例化.函数不能返回类型别名.你做不到.只能加!()或用不同别名.

---

class Base {
    virtual string serialize(this This)() {
        return This.stringof; // 示例
    }
}

class Derived : Base {
}

void main() {
    Base b = new Derived();
    assert(b.serialize() == "Derived");
}

当前,仍然是返回基类.如果能够动态应该是比较好的.
但,如果序化有个虚表项,就像不是模板一样.每个子类自动得到自己的实例.
虽然crtp/模板插件可实现,但继承类都必须在子类写它.
如果再次为子类自动实例化基类模板,但仍像普通虚调用一样工作,那就太酷了.

我把typeof(this)放入(暴露前向引用编译器漏洞闻名的)模板插件中来实现.