当 x 和 y 是引用时，为什么 `x + y` 和 `*x + *y` 给出相同的结果？

Question

我必须实现一个将两个数字相加的函数：

fn add(x: &i32, y: &i32) -> i32 {
    println!("x is: {}, y is {}", x, y);
    println!("*x is: {}, *y is {}", *x, *y);
    x + y
}

fn double(x: i32) -> i32 {
    add(&x, &x)
}

fn main() {
    assert_eq!(double(5), 10);
    println!("Success!");
}

输出是：

x is: 5, y is 5
*x is: 5, *y is 5
Success!

根据我的理解，该add函数不应该能够执行，x+y因为它们都是地址。仅*x + *y当它取消引用地址并提供存储在那里的值时才应该起作用。然而，这两个语句产生相同的结果。这是为什么？

Answer 1

特征Add(operator +) 是为&i32s 以及i32s 实现的。事实上，你可以有任何组合：

• i32 + i32
• i32 + &i32
• &i32 + i32
• &i32 + &i32

他们都做同样的事情，都是为了方便。

也可以看看：

• 为什么在比较时需要取消引用变量，但在算术时不需要？
• Rust 如何将 &i32 与 i32 相乘？
• 为什么 Rust 中 &v[1] + &v[2] 与 v[1] + v[2] 的结果相同？
• 添加引用和数字值时理解（自动？）解引用/强制