为何将let keyboard移至循环内后，Rust引用冲突编译错误消失？

以下Rust代码无法正常编译（符合预期）：

use sdl2::event::Event;
use sdl2::pixels::Color;

pub fn main() {
    let sdl_context = sdl2::init().unwrap();
    let video_subsystem = sdl_context.video().unwrap();

    let window = video_subsystem
        .window("rust-sdl2 demo", 800, 600)
        .build()
        .unwrap();

    let mut canvas = window.into_canvas().build().unwrap();
    canvas.set_draw_color(Color::RGB(0, 0, 0));
    canvas.clear();
    canvas.present();

    let mut event_pump = sdl_context.event_pump().unwrap();
    let keyboard = sdl2::keyboard::KeyboardState::new(&event_pump);

    'running: loop {
        if keyboard.is_scancode_pressed(sdl2::keyboard::Scancode::Space) {
            println!("test");
        }
        for event in event_pump.poll_iter() {
            match event {
                Event::Quit { .. } => break 'running,
                _ => {}
            }
        }
    }
}

编译器给出如下错误信息：

error[E0502]: cannot borrow `event_pump` as mutable because it is also borrowed as immutable
  --> src\main.rs:25:22
   |
19 |     let keyboard = sdl2::keyboard::KeyboardState::new(&event_pump);
   |                                                       ----------- immutable borrow occurs here
...
22 |         if keyboard.is_scancode_pressed(sdl2::keyboard::Scancode::Space) {
   |            ------------------------------------------------------------- immutable borrow later used here
...
25 |         for event in event_pump.poll_iter() {
   |                      ^^^^^^^^^^^^^^^^^^^^^^ mutable borrow occurs here

我将let keyboard语句移至循环内部后，代码却能正常编译，这是为什么？我猜测这可能与对象的生命周期有关，但编译器给出的错误信息让我难以理解，我不明白为何let keyboard的位置会影响编译结果。

问题原因与解释 #

这本质是Rust的借用检查器在起作用，核心是KeyboardState和event_pump的借用关系：

• 原代码的冲突根源：
  当在循环外部创建keyboard时，KeyboardState::new(&event_pump)会对event_pump生成一个不可变借用，这个借用的生命周期和keyboard变量绑定——也就是从创建开始，直到整个main函数结束（因为keyboard在循环外，全程存在）。
  而event_pump.poll_iter()方法需要对event_pump发起可变借用（从方法签名fn poll_iter(&mut self)能明确看出）。根据Rust的核心借用规则：同一时间，一个值不能同时存在不可变借用和可变借用。
  原代码中，keyboard的不可变借用全程有效，每次循环调用poll_iter时都需要可变借用，两者直接冲突，因此触发E0502错误。

• 移至循环内部的解决逻辑：
  把let keyboard放进循环后，每次循环迭代开始时才创建keyboard，此时对event_pump发起不可变借用；当执行完if keyboard.is_scancode_pressed(...)后，keyboard变量会在当前迭代结束时被销毁——对应的不可变借用也随之失效。
  接下来执行event_pump.poll_iter()时，event_pump已经没有任何活跃的借用，可变借用可以正常进行。每次循环迭代的借用都是独立的，不会互相干扰，自然通过了借用检查。

简单总结：循环内的keyboard生命周期仅局限于当前迭代，用完就释放了event_pump的借用权，让后续的可变借用合法执行。

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