d实例化模板应跳过生成代码

原文
参考

在D中,经常使用助手来生成串插件等代码:

public string ctfeHelper()(string a)
{
    return "int " ~ a ~ " = 42;";
}

extern(C) int main() @nogc
{
    mixin(ctfeHelper("a"));
    return a;
}

使用-betterC时,此代码当前会失败,并显示以下消息:需要GC,而-betterC不提供该GC.
但是,在仅支持CTFE即GC在概念上总是可用的环境中,专门用该代码.
注意,如果ctfe助手是普通函数,因为它是公共的且可从外部代码调用,必须发出运行时代码.因此,此时,错误是正确的.

对该示例,'ctfe助手'是个模板,可认为只使用CTFE的实例化,应该与运行时实例化区别开:如果在CTFE环境中,应可以不为模板生成代码:运行时调用ctfe助手的应再次实例化模板,因此,可在那里生成代码.在运行时环境中实例化模板时,用户应该在那里得到错误.
考虑下面代码,它已可同-betterC工作:

string ctfeHelper()(string a)
{
    return "int " ~ a ~ " = 42;";
}

extern(C) int main() @nogc
{
    return  __traits(compiles, ctfeHelper("a"));
}

这里,

__traits(compiles,...)

是需要的线索,谢谢!

决定在哪"只编译"的代码是一团糟.花了一段时间才弄清楚该转动哪个旋钮.
对@nogc,在CTFE中,可更多的利用GC.对大多数CTFE,已关闭了检查GC.只是对该特例,是在代码生成器中检查betterC的nogc.