2310d亚当1009

本文主要是介绍2310d亚当1009，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

原文

考虑缓存CTFE结果的潜在新示例:只需在标准运行时函数中,包装它们即可.在模板实例周围使用属性取器,而不是声明变量.表明发射到目标文件,而不是在导入时重新计算.

ctfe缓存

SS在Discord聊天室发现了MartinNowak在Phobos中编写的一些旧代码,带有一条奇怪的注释:它说它在自动返回函数中,包装一些ctfe,因此直到实际调用函数时,才会在函数体上运行语义.

在dmd中,有各种叫语义可执行一大堆特别是包括,在函数中运行必要的CTFE,并在函数体中处理导入,甚至还会计算推导属性等活动的函数.

函数的语义族一般是构建中最昂贵的部分之一(特别是包括CTFE时),因此避免它可节省大量时间.

然而,对缓存ctfe,动(auto)函数并不是特别有趣,因为无论是编译还是导入,总是在调用函数时处理它的主体.

这与推导属性起作用的原因相同,使用函数时必须处理主体,因此不需要显式告诉编译器属性.也表明即使之前已完成且结果已在目标文件中,使用时也会重新处理函数内的CTFE.

仅导入自动文件不会触发其函数体中的CTFE,但即使已预编译模块,导入并调用它时也会重新处理.

即使只是导入且从未使用过的全局变量,也总是计算它,这是对全局变量(不变还是枚举无区别)的改进,但它还不够好.

我想可导入一个函数并调用它,仍可用预编译的CTFE结果.
好吧,旧的代码注释和Walter一贯说的话,这里

是推导属性会损害编译速度,这让我想到:是否现在可在导入的非根模块的函数体上运行语义.
我做了一个测试来调查:

//ctfe.d
template thing() {string helper() {string s;foreach(i; 0 .. 50000)s ~= "ok";return s;}enum thing = helper;
}
//immutable getThing2 = thing!();
//enum getThing2 = thing!();
string getThing() {//import ctfe3; int a = "foo";return thing!();
}

及主模块:

//ctfe2.d
import ctfe;
void main() {string s = getThing();//enum foo = getThing() ~ "lol";
}

经过调整,导入模块中的追加循环,要花一秒的编译时间.编译速度与构建行数无关,而与你如何处理它们有关.

在dmd(及LDC和GDC)中,CTFE的~=操作符有个可怕的实现,所以使用它,很容易破坏你的编译时间.一般,应避免使用它.

现在可通过观察编译时间来判断是否运行CTFE.很容易区分,一秒构建与大约1/10秒构建.

故意让int a="foo"的类型不匹配;或导入不存在模块也是确认未运行语义,也是在运行语义时,生成这些错误.

我在此注释掉它们以编译模块,如果不注释它,则仅导入时不会生成错误!

关键是,当前dmd实现中,在本次导入但未编译的模块,即非根模块中会完全跳过非模板非自动返回的函数体.
当然,会令牌化它们,并至少经过最低限度解析,来知道函数何时结束,但没有语义分析,没有ctfe,没有代码生成,跳过了构建中昂贵部分.

但是,有时它们非常昂贵!getThing中的该ctfe就是一例,除非绝对必要,否则确实不想再次运行语义.我想我会修改推导属性提案,以添加方法来抑制推导属性,并保留当前行为.

今天已解决di问题.

再次看测试:

template thing() {string helper() {string s;foreach(i; 0 .. 50000)s ~= "ok";return s;}enum thing = helper;
}
string getThing() {return thing!();
}

实际计算ctfe,还有几层,与助手函数一样:一个包装器模板,然后是一个包装器标准函数.它们类似,但一个在编译时,一个在运行时.
包装器模板编译时缓存CTFE结果.用相同参数再次引用模板时,编译器会从内存缓存中拉回缓存结果.

它还抑制生成助手函数代码,避免在目标文件中的运行时使用,并避免编译器浪费时间在上面生成代码.

然后,包装器属性,注意它有个显式返回类型,导致在目标文件中输出ctfe结果,而下次导入模块时,会跳过正文,不会再执行模板+ctfe;相反从预编译文件中引用它.

但是,如果确实想用CTFE的结果,函数体仍在且可按需使用,但要为每次编译再支付CTFE成本.

因此,它不会按单独编译CTFE单元可重用方式来缓存它,但确实适合只是试在代码中正常调用函数的用户.

这是个相当不错的结果,在今天编译器中可用,且仅微小的调整了代码.
单独编译,最大好处是,如果有非常昂贵的东西及一个非常基本的公共接口.
如果生成代码来把Web接口或脚本语言粘合在一起,则归结为在公共接口中查找表来生成函数,则可通过这些基本函数来来再次生成构建代码.