rust - _ 在 Rust 中的类型错误中意味着什么？

Question

我收到这个错误:

error: mismatched types [E0308]
                         process(s);
                                 ^
help: run `rustc --explain E0308` to see a detailed explanation
note: expected type `&(u32, u32, image::Luma<u8>)`
note:    found type `&mut (u32, u32, &mut _)`

但是我不明白_是什么意思。

Answer 1

在 Rust 中，当名称无关紧要时，使用 _ 标识符。这发生在几种情况下:

• let _ = ...; 用于忽略表达式的结果(仅当所述结果用 #[must_use] 属性标记时才需要)
• 在类型中，_用于省略类型(要么是因为你更喜欢让编译器推断它，要么是因为编译器判断它无关紧要)

因此，在您的情况下，编译器忽略了类型，因为它无关紧要，因此您可以关注错误的具体原因。一开始它可能会让人感到困惑，但一旦习惯了它实际上很有帮助，尤其是当类型多如牛毛(非常大)时。

---

错误很简单:您弄错了引用和值。

您的原始签名需要:&(u32, u32, Type) 但您传递了 &mut (u32, u32, &mut Type)。

可变性的差异并不重要(在这个方向上)，但是 &mut Type 和 Type 具有非常不同的内存结构并且不可互换。