为何Rust调用pow方法时无法正确推断整数类型？

正常运行的代码： #

let items = [1, 2, 3];
let mut cumulator = 0;

for next in items.iter() {
    cumulator += next;
}

println!("Final {}", cumulator);

报错的代码： #

let items = [1, 2, 3];
let mut cumulator = 0;

for next in items.iter() {
    cumulator += next.pow(2);
}

println!("Final {}", cumulator);

报错信息： #

no method named `pow` found for reference `&{integer}` in the current scope
method not found in `&{integer}`rustc (E0599)

核心原因分析 #

1. 第一段代码的类型推断逻辑 #

第一段代码里，cumulator += next这个操作给了编译器完整的类型上下文：

• items.iter()返回的迭代器元素是&{integer}（未指定具体类型的整数引用）
• Rust的AddAssign trait支持对引用类型的自动解引用，执行cumulator += next时，编译器会先解引用next，同时根据cumulator初始值0的默认推断（默认i32），反向确定数组items的元素类型也是i32，整个类型链完整，因此代码能正常编译。

2. 第二段代码的报错根源 #

第二段代码调用next.pow(2)时，打断了类型推断的链条：

• pow是具体整数类型（如i32、u64）的专属方法，Rust的抽象整数类型{integer}并没有统一实现这个方法
• next此时是&{integer}类型，编译器无法从pow(2)这个调用中推断出具体的整数类型——不同整数类型都有pow方法，但没有通用约束让{integer}调用该方法
• 缺少明确的类型上下文，编译器无法确定{integer}对应哪种具体类型，因此抛出“找不到方法”的错误。

简洁修复方案 #

不需要冗余声明数组类型，只需给cumulator指定明确类型，就能让编译器完成整个类型推断链：

let items = [1, 2, 3];
let mut cumulator: i32 = 0; // 明确指定类型

for next in items.iter() {
    cumulator += next.pow(2); // 编译器自动解引用&i32，调用pow方法
}

println!("Final {}", cumulator);

或者手动解引用next（效果一致）：

let items = [1, 2, 3];
let mut cumulator = 0;

for next in items.iter() {
    cumulator += (*next).pow(2); // 手动解引用，编译器通过cumulator推断类型
}

println!("Final {}", cumulator);

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