types - 为什么 Rust 不能推断 Iterator::sum 的结果类型？

Question

此代码有效:

fn main() {
    let a: i32 = (1i32..10).sum();
    let b = a.pow(2);
}

如果我从 a 中删除 i32 类型，则会出现此错误:

rustc 1.13.0 (2c6933acc 2016-11-07)
error: the type of this value must be known in this context
 --> <anon>:3:13
  |
5 |     let b = a.pow(2);
  |             ^^^^^^^^

Run the example

我原以为 Rust 会将 (1i32..10) 变成一个 i32 迭代器，然后 sum() 知道返回一个i32。我错过了什么？

Answer 1

方式sum已定义，返回值是开放式的；不止一种类型可以实现特征 Sum<i32> .这是一个示例，其中 a 的不同类型被使用，两者都编译:

#[derive(Clone, Copy)]
struct Summer {
    s: isize,
}

impl Summer {
    fn pow(&self, p: isize) {
        println!("pow({})", p);
    }
}

impl std::iter::Sum<i32> for Summer {
    fn sum<I>(iter: I) -> Self
    where
        I: Iterator<Item = i32>,
    {
        let mut result = 0isize;
        for v in iter {
            result += v as isize;
        }
        Summer { s: result }
    }
}

fn main() {
    let a1: i32 = (1i32..10).sum();
    let a2: Summer = (1i32..10).sum();
    let b1 = a1.pow(2);
    let b2 = a2.pow(2);
}

Playground

由于两种结果类型都是可能的，因此无法推断类型，必须明确指定类型，可以通过涡轮鱼 (sum::<X>()) 或作为表达式的结果 (let x: X = ...sum();)。