关于Rust中#[inline]的作用、行为影响及性能劣化示例的问询

1. #[inline]是否仅影响性能，不会改变程序行为？ #

是的，#[inline]属性本身不会改变程序的语义行为。它只是向编译器传递一个“建议”：可以考虑将该函数的代码直接插入到调用它的位置（内联展开）。无论编译器最终是否采纳这个建议，程序的功能逻辑和运行结果都是完全一致的。

唯一需要注意的是与#[track_caller]结合的场景：当被标记#[track_caller]的函数被内联后，调用栈回溯会显示原始调用者的位置而非内联后的代码位置，但这是Rust语言规范中明确规定的预期行为，不属于语义改变。

2. 存在#[inline]导致性能下降的情况吗？能否给出示例？ #

确实存在内联导致性能下降的场景，最常见的情况是内联体积过大的函数，或者内联后引发代码膨胀，降低CPU缓存命中率。

示例：内联大函数导致缓存失效 #

// 一个包含大量计算逻辑的大函数
#[inline]
fn compute_heavy(x: i32) -> i32 {
    let mut res = x;
    // 模拟大量重复计算，让函数体积变大
    for i in 0..2000 {
        res = res.wrapping_add(i * 3);
        res = res.wrapping_mul(2);
        res = res.wrapping_sub(i);
    }
    res
}

fn main() {
    let mut total = 0;
    // 频繁调用这个大函数
    for num in 0..10000 {
        total += compute_heavy(num);
    }
    println!("Total: {}", total);
}

性能下降原因： #

• 当compute_heavy被标记#[inline]后，编译器会将其代码直接插入到main的循环体内，导致main函数的代码体积急剧膨胀。
• CPU的缓存（L1/L2指令缓存）容量有限，无法容纳膨胀后的大量代码，每次循环都需要从内存中加载指令，缓存命中率大幅下降，最终导致整体运行速度变慢。
• 如果去掉#[inline]，编译器会将compute_heavy作为独立函数编译，CPU可以缓存该函数的指令，多次调用时无需重复加载，反而能获得更好的性能。

内容的提问来源于stack exchange，提问作者Umberto Fontanazza