我是Rust的新手,并试图了解引用的工作原理。在以下代码中,当我想对a1
i32
进行计算时,我不必取消引用它。但是b1
是Box
,我必须取消引用它。
实际上,let a2 = a1 * 2;
和let a3 = *a1 * 2;
的行为都相似。看起来像原语中的解引用是可选的,或者编译器隐式地为我们做这件事。
fn main(){
let a = 5;
let b = Box::new(10);
let a1 = &a;
let b1 = &b;
println!("{} {}", a1, b1);
let a2 = a1 * 2;
let b2 = (**b1) * 10;
let a3 = *a1 * 2;
println!("{} {} {}", a2, a3, b2);
}
有人可以解释一下这个功能吗?
答案 0 :(得分:5)
Rust中的所有算术运算符都是针对原始值和对运算符两侧的基元的引用实现的。例如,请参阅std::ops::Mul
的Implementors
部分,该部分是控制*
运算符覆盖的特征。
你会看到类似的东西:
impl Mul<i32> for i32
impl<'a> Mul<i32> for &'a i32
impl<'a> Mul<&'a i32> for i32
impl<'a, 'b> Mul<&'a i32> for &'b i32
依旧等等。
在您的示例中,b1
的类型为&Box<i32>
(默认的整数类型),而Box
实现了许多特征作为其包含类型的直通(例如{{1}算术运算符不在其中。这就是为什么你必须取消引用该框。