В чем разница между неизменяемыми и изменяемыми ссылками на i32 при добавлении?

Question

У меня есть

fn plus_one(x: &i32) -> i32 { 
    x + 1 
} 

fn plus_one_star(x: &i32) -> i32 { 
    *x + 1 
} 

fn plus_one_mut(x: &mut i32) -> i32 { 
    x + 1 
} 

fn plus_one_mut_star(x: &mut i32) -> i32 { 
    *x + 1 
} 

fn main() { 
    let a: i32 = 5; 
    let mut b: i32 = 5; 

    println!("{:?}", plus_one(&a)); 
    println!("{:?}", plus_one_star(&a)); 
    println!("{:?}", plus_one_mut(&mut b)); 
    println!("{:?}", plus_one_mut_star(&mut b)); 
    // I expect all to print '6' as I never actually mutate b 
} 

Третья функция, plus_one_mut, не может скомпилировать с: error[E0369]: binary operation `+` cannot be applied to type '&mut i32'

Почему эта функция с изменяемой ссылкой не компилировать?

Answer 1

В сообщении об ошибке говорит:

бинарная операция + не может быть применен к типу '& MUT I32'

Это потому, что это не реализовано. Обзор the documentation for i32, вы увидите эти реализации Add:

• impl Add<i32> for i32
• impl<'a> Add<i32> for &'a i32
• impl<'a> Add<&'a i32> for i32
• impl<'a, 'b> Add<&'a i32> for &'b i32

Вы должны разыменованием &mut i32, чтобы добраться до i32, который действительно имеет Add реализации.

Почему у этого нет такой реализации? Я не уверен. Возможно, вы можете отправить PR в Rust, чтобы добавить его ... Лично я не могу вспомнить, когда-либо нуждался в этом. Обычно, если у вас есть &mut T, это потому, что вы хотите, чтобы обновить его, чтобы у вас было что-то вроде *foo += 1.