Rust引用与解引用差异疑问：整数与String为何表现不同？

示例代码 #

fn main() {
    let mut i: i32 = 1;
    println!("i in main: {}", i);
    increment(&mut i);
    println!("i in main: {}", i);

    let mut a = String::from("ABCD");
    println!("a in main: {}", a);
    addchr(&mut a);
    println!("a in main: {}", a);
}

pub fn increment(i: &mut i32) {
    *i += 1;
    println!("i in increment: {}", *i);
}

pub fn addchr(s: &mut String) {
    s.push('a');
    println!("a in addchr: {}", s);
}

问题 #

在这段代码中，处理整数类型时，接收引用的函数需要显式解引用（*i）才能操作值；但处理String类型时，无需显式解引用即可直接调用方法（如s.push('a')），仿佛解引用是自动完成的。请问造成这种差异的原因是什么？该差异是否仅与内存分配位置（栈或堆）有关？

解答 #

核心原因是Rust的方法调用自动解引用规则，和内存分配位置（栈/堆）没有直接关系，具体拆解如下：

1. 方法调用的自动解引用语法糖
   Rust在处理方法调用时，会自动对引用类型进行多层解引用，直到找到能匹配目标方法的类型。比如&mut String调用push时，编译器会自动将其解引用为String——因为push是String类型的方法，这个过程完全由编译器自动完成，不需要手动写(*s).push('a')。

2. 直接值操作需要显式解引用
   对于整数这类基本类型，+=这类运算符是针对i32本身定义的，而非&mut i32。因此必须通过*i显式解引用，得到底层的i32值后才能执行运算。如果直接对&mut i32使用+=，编译器会报错，因为没有为该引用类型实现对应的运算符逻辑。

3. 内存分配位置不影响该规则
   栈/堆分配和这个差异完全无关，我们可以用一个栈上存储的自定义类型验证：

#[derive(Debug)]
struct StackOnlyType(i32);

impl StackOnlyType {
    fn add_one(&mut self) {
        self.0 += 1;
    }
}

fn main() {
    let mut val = StackOnlyType(3);
    let ref_val = &mut val;
    ref_val.add_one(); // 无需显式解引用即可调用方法
    println!("{:?}", val); // 输出 StackOnlyType(4)
}

这个自定义类型完全存储在栈上，但它的可变引用依然可以直接调用方法，说明栈/堆不是决定因素。

总结：差异的本质是方法调用的自动解引用机制，而直接操作值时运算符不支持引用类型，必须显式解引用。内存分配位置和该差异无关。

内容的提问来源于Stack Exchange，提问作者T. Decker