types - 在 Julia 中使用 @code_warntype

Question

在尝试编写类型稳定的代码时，使用 @code_warntype 进行检查，我应该只担心没有任何Any或 Union在变量部分还是我也应该检查正文部分？

Answer 1

根据您的 Julia 版本，@code_warntype有时可以标记某些无害的表达式。通过一些练习，您可以轻松识别这些表达式(例如，它们通常与模块/名称查找有关)。

正如 Reza 所说，最简单的方法是查看变量部分和函数的返回类型；如果您没有看到任何类型不确定的数量(Any 或 Union s)，您可能无需担心。如果您想深入挖掘，请开始尝试理解它所标记的 body 表情。对于学习，一件有用的事情是将结果与 track-allocation 获得的结果进行比较。 ，因为真正的类型不稳定性与内存分配有关。

但是，我认为 @code_warntype 的问题已经在当前的 master 上修复了，所以无论如何下一个版本的 julia 应该更容易解释。