如果我有以下功能:
fn a() -> ! {
b()
}
fn b() -> ! {
loop {}
}
Rust 是否优化了对简单跳转的此类调用?
我查看了一个Playground来展示程序集,但a
似乎只是功能。callq
b
总是这样吗?
如果我有以下功能:
fn a() -> ! {
b()
}
fn b() -> ! {
loop {}
}
Rust 是否优化了对简单跳转的此类调用?
我查看了一个Playground来展示程序集,但a
似乎只是功能。callq
b
总是这样吗?
首先,您可以使用 : 告诉编译器内联函数#[inline]
:从技术上讲,这并不能保证内联,但它应该在合理的情况下工作。我会推荐使用这个。
其次,如评论中所述,您必须进行优化构建才能看到这种内联。也许一个更好的工具是编译器资源管理器。这是您的示例的轻微修改(注意-O
编译器选项中的标志)。可以看到,所有的东西都内联到一个无限循环中,如果编译器能证明它是无用的,它甚至可以消除循环中所做的一些工作。
总的来说,除非您使用 ,否则#[inline]
结果将取决于 和 的a
内容b
。a
因此,我建议为您尝试使用and实现的目标创建某种最小可行的实现b
,然后在 Compiler Explorer 中对其进行测试。