Rust ndarray中直接调用row_mut更新矩阵行失败的原因探究

问题场景 #

我尝试在Rust ndarray中更新二维矩阵的一行，但直接调用row_mut似乎无法完成更新操作。示例代码如下：

let mut array = array![[1., 2.], [3., 4.]];
let y = array![5., 5.];
array.row_mut(0) += &y;

但如果将可变切片赋值给临时变量后再执行+=操作，代码就能正常运行：

let mut array = array![[1., 2.], [3., 4.]];
let y = array![5., 5.];
let mut z = array.row_mut(0);
z += &y;

原因解析 #

这是因为row_mut返回的ArrayViewMut1类型，其AddAssign trait的实现要求左侧必须是一个被绑定到变量的可变左值，而直接链式调用array.row_mut(0)时，返回的是一个临时右值，Rust的借用规则不允许对这类临时值执行需要可变借用的复合赋值操作（如+=）。

具体细节：

• 当把row_mut(0)的结果赋值给let mut z时，z是明确的可变绑定变量，编译器可以确认它的生命周期和可变借用的有效性，因此AddAssign trait能正常触发执行。
• 直接调用array.row_mut(0) += &y时，row_mut(0)返回的临时ArrayViewMut1未绑定到任何变量，Rust判定该临时值的生命周期不足以支撑+=所需的可变借用，编译器会直接拒绝这种写法——这是Rust安全机制的体现，防止临时值的可变引用被滥用后产生悬空引用风险。

此外，AddAssign的底层实现要求操作目标是可被持续持有可变引用的左值，临时值虽属于可变类型，但未绑定到变量时无法满足Rust对左值的判定标准，复合赋值运算符也就无法生效。

内容的提问来源于stack exchange，提问作者Devil