如何查找Rust特定条件下的隐藏未使用变量？克隆能否被优化？

算力阿峰

2026-6-22

问题：Release模式下未使用的调试变量与克隆优化问题

Rust的代码检查工具（linter）擅长检测未使用变量，但我们关注的是特定条件（release模式、feature特性）下未被使用的变量。

举个简单例子：

pub struct Thing {
  pub values: [u64; 5],
}

pub fn do_stuff(thing: &mut Thing) {
  let before = thing.clone();
  thing.values[0] = 1;
  tracing::debug!("before: {:?}, after: {:?}", before, thing);
}

在debug模式下，我们需要通过do_stuff的日志查看变更；但生产环境中会开启tracing/release_max_level_warn以避免大量debug日志（对性能敏感场景很重要）。此时before变量实际未被使用，但由于在某些场景下它会被用到，代码检查工具不会提示其未使用。

核心问题：

该.clone()调用在release构建中最终会被编译器优化掉吗？
有没有办法结合feature flags来查找这类"before"式的未使用变量？

为验证克隆是否被优化，我做了如下基准测试（用Box类型避免被优化为简单内存拷贝，但对基准测试不太熟悉，希望结论有误）：

#[derive(Clone, Debug)]
pub struct Thing {
  pub values: Vec<Box<u64>>,
}

#[inline(never)]
pub fn cloned(thing: &mut Thing) {
  let before = thing.clone();
  thing.values[0] = Box::new(2);
}

#[inline(never)]
pub fn uncloned(thing: &mut Thing) {
  thing.values[0] = Box::new(2);
}

#[cfg(test)]
mod tests {
    use super::*;
    use test::Bencher;

    #[bench]
    fn bench_clone_test(b: &mut Bencher) {
      let mut thing = crate::Thing {
        values: vec![Box::new(1); 1000],
      };
    
      b.iter(|| crate::cloned(&mut thing));
    }

    #[bench]
    fn bench_uncloned_test(b: &mut Bencher) {
      let mut thing = crate::Thing {
        values: vec![Box::new(1); 1000],
      };
    
      b.iter(|| crate::uncloned(&mut thing));
    }
}

测试结果：

test tests::bench_clone_test    ... bench:      54,280.90 ns/iter (+/- 241.36)
test tests::bench_uncloned_test ... bench:          31.91 ns/iter (+/- 0.39)

回答

1. Release模式下的克隆优化问题

从你的基准测试结果来看，当前的clone()调用确实没有被编译器优化掉。原因在于：

tracing::debug!宏在release模式下（开启tracing/release_max_level_warn）会被完全移除，但before变量的初始化（thing.clone()）和变量本身的声明并没有被条件编译包裹——编译器无法确定clone()方法是否有副作用（比如内部可能包含日志、全局状态修改等），因此不会贸然优化掉这个调用。
即使Thing的clone()是纯无副作用的操作，Rust编译器的优化也需要明确的代码路径提示才能触发。如果没有条件编译来隔离debug-only代码，编译器很难安全地消除这个克隆操作。

2. 结合Feature Flags检测这类未使用变量的方法

有几种可行的方案来解决这个问题：

方案一：用条件编译包裹debug-only代码

直接将debug相关的变量和日志用debug_assertions或自定义feature包裹：

pub fn do_stuff(thing: &mut Thing) {
  thing.values[0] = 1;
  #[cfg(debug_assertions)]
  {
    let before = thing.clone();
    tracing::debug!("before: {:?}, after: {:?}", before, thing);
  }
}

这样在release模式下，整个代码块都会被移除，克隆操作自然不会执行。同时linter在release构建时也不会检测到这个变量（因为代码不存在）。

方案二：使用`#[cfg_attr]`标记未使用变量

如果不想完全移除代码，可以用属性标记变量在特定模式下允许未使用：

pub fn do_stuff(thing: &mut Thing) {
  #[cfg_attr(not(debug_assertions), allow(unused))]
  let before = thing.clone();
  thing.values[0] = 1;
  tracing::debug!("before: {:?}, after: {:?}", before, thing);
}

这种方式下，release模式下linter会忽略before的未使用警告，而debug模式下依然会正常检查。

方案三：自定义lint规则

如果需要批量检测这类场景，可以使用clippy的自定义lint或者编写自己的lint工具，通过分析代码中的条件编译宏（比如tracing::debug!）和变量使用情况，找出在特定feature或模式下未被使用的变量。

补充：优化基准测试的小建议

你的基准测试代码有个小问题：tests模块里的use super::test::Bencher;应该改成use test::Bencher;（因为test是标准库的测试 crate），不过这不会影响最终的测试结果。如果要更准确验证优化情况，可以查看编译后的汇编代码（用cargo rustc --release -- --emit asm），直接确认clone()调用是否被保留。

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