原文
即使未定义dsds和sadsad,此代码也可以编译.
import std.typecons : Tuple;
sadsad executeFunction(Mtypes...)(dstring func, Tuple!(Mtypes) args)
{
static foreach(type; typel.keys)
{
mixin(typel[type] ~ " ret"d ~ type ~ ";");
}
dstring returnType = "Number"d;
Switch: final switch(returnType)
{
static foreach(type; typel.keys)
{
case type:
mixin("alias ret = ret"d ~ type ~ ";");
break Switch;
}
}
dsds ret;
return ret;
}
如下编译:
import std;
auto nonsense(T)(T t) {
return 5+"six";
}
void main() {
}
有Mtypes可变模板参数.尽管如此,我相信应该在编译时检测到,就像在单元测试中那样.
如果从不实例化模板,则它永远不会成为可执行文件.它是否在生产中并不重要,与测试无关.它不存在.如果编译器不知道Mtypes是什么,它如何发现问题?
对模板参数都是如此.考虑一下:
import std.stdio;
T derp(T)(T val) {
val += 10;
return val;
}
void main()
{
writeln("Hello D");
}
derp显然不适合每种类型.但是这段代码可以编译,因为从未实例化derp.编译器无法检查derp中代码是否有效,因为它不知道T是什么.如果是int的话,那就没问题了.如果是string则没办法:
void main()
{
writeln(derp!string("No way"));
}
现在,报错.
本文同步分享在 博客“fqbqrr”（CSDN）。
如有侵权，请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”，欢迎正在阅读的你也加入，一起分享。
