for-loop - 元组在for循环中被破坏了吗？

Question

编译并输出:i32

fn print_type_of<T>(_: &T) {
    println!("{}", std::any::type_name::<T>())
}

pub fn main() {
    let regions = [
        // From 0xe0000 to 0xfffff
        (0xe0000, 0xfffff),
    ];

    for (start, end) in &regions {
        print_type_of(start);
    }
}

这失败了

fn print_type_of<T>(_: &T) {
    println!("{}", std::any::type_name::<T>())
}

pub fn main() {
    let regions = [
        // From 0xe0000 to 0xfffff
        (0xe0000, 0xfffff),
    ];

    // NEW
    for &(start, end) in &regions {
        print_type_of(start);
    }
}

和

error[E0308]: mismatched types
  --> test.rs:12:27
   |
12 |             print_type_of(start);
   |                           ^^^^^
   |                           |
   |                           expected reference, found integer
   |                           help: consider borrowing here: `&start`
   |
   = note: expected reference `&_`
                   found type `{integer}`

为什么 for &(start, end) in &regions将 start和 end捕获为一个int值
但是 for (start, end) in &regions作为引用？

Answer 1

fn print_type_of<T>(_: &T) {
    println!("{}", std::any::type_name::<T>())
}

pub fn main() {
    let &a = &32_i32;
    let b = 32_i32;
    print_type_of(&a);
    print_type_of(&b);
}

输出将是:

i32
i32

在此示例中， &a = &32_i32等效于 b = 32_i32。左侧值中的 &将成为右侧值的取消引用，这是 Destructuring Pointers的一部分。您的代码等效于:

fn print_type_of<T>(_: &T) {
    println!("{}", std::any::type_name::<T>())
}

pub fn main() {
    let regions = [
        // From 0xe0000 to 0xfffff
        (0xe0000, 0xfffff)
    ];

    // NEW
    for (start, end) in regions {
        print_type_of(start);
    }
}

因此， (start, end) = (0xe0000, 0xfffff)的类型是 start。