Rust中Debug打印结构体时出现dead_code警告的原因咨询

我是Rust新手，使用稳定版rustc 1.67.0 (fc594f156 2023-01-24)，运行代码时遇到了dead_code警告。代码及运行输出如下：

#[derive(Debug)]
//#[allow(dead_code)]
struct Account {
    balance: f32,
}

fn main() {
    let account = Account { balance: 10.0 };
    println!("{:?}", account);
}

运行输出：

$ cargo run
   Compiling bank v0.1.0 (/Users/rlfeider/projects/rust/bank)
warning: field `balance` is never read
 --> src/main.rs:4:5
  |
3 | struct Account {
  |        ------- field in this struct
4 |     balance: f32,
  |     ^^^^^^^
  |
  = note: `Account` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
  = note: `#[warn(dead_code)]` on by default

warning: `bank` (bin "bank") generated 1 warning
    Finished dev [unoptimized + debuginfo] target(s) in 0.09s
     Running `/Users/rlfeider/projects/rust/bank/target/debug/bank`
Account { balance: 10.0 }
$

我认为第9行的Debug打印会读取balance字段，但仍出现该字段未被读取的警告。请问为何会触发该警告？是否与println!宏展开时机和dead_code lint检查时机有关？

我尝试过的消除警告的方法：

• 取消注释第2行的#[allow(dead_code)]；
• 在println!中显式打印account.balance；
• 将account设为可变并在打印前修改balance值。

警告触发原因 #

这个警告的核心原因是Rust的dead_code lint故意忽略了自动派生的Debug trait实现对字段的访问，正如编译器提示的说明：

Account has a derived impl for the trait Debug, but this is intentionally ignored during dead code analysis

Rust的lint检查逻辑中，对于自动派生的trait（比如Debug、Clone等），不会将其对字段的访问视为“有效读取”。这是因为派生的trait实现由编译器自动生成，并非你手动编写的代码逻辑中主动读取字段——lint的设计目标是提醒你自己的代码是否有未使用的字段，而非编译器自动生成的代码是否使用了字段。

和宏展开、lint时机的关系 #

和println!的宏展开时机无关。println!会在编译期展开为对应代码，但dead_code lint分析时，会明确区分“用户代码的字段访问”和“编译器派生代码的字段访问”。哪怕宏展开后最终调用了Debug的方法，lint依然会忽略这部分自动生成的访问逻辑，所以还是会触发警告。

更精准的解决方式 #

除了你尝试的三种方法，还有两种更精准的抑制警告的方式：

• 只为balance字段添加#[allow(dead_code)]，避免影响整个结构体：

  #[derive(Debug)]
  struct Account {
      #[allow(dead_code)]
      balance: f32,
  }
  

• 如果该字段后续会被使用，也可以暂时用_前缀标记（仅作警告抑制，不如#[allow(dead_code)]语义明确）：

  #[derive(Debug)]
  struct Account {
      _balance: f32,
  }
  

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