d我想要动态模板虚

template T(int i&＃61;3)
{mixin template M(int m){enum t &＃61; 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);//我想省略&＃96;!()&＃96;.
}


用别名,如

alias t &＃61; T!();


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

alias T &＃61; TImpl!();


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

import std.stdio;void f(int i&＃61;3)()
{writeln(i);
}void main()
{f!1; // 1f!(); // 3f; // 3
}


化简:

template T(int i &＃61; 3) {enum value &＃61; i;
}void main() {pragma(msg, T!().value); //要求T!()
}


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

struct S(int i &＃61; 3) {
}void main() {S!() s; // 要求S!()
}


应该改.

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

class Base {virtual string serialize(this This)() {return This.stringof; // 示例}
}class Derived : Base {
}void main() {Base b &＃61; new Derived();assert(b.serialize() &＃61;&＃61; "Derived");
}


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

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