Rust中如何为迭代器指定类型解决Option泛型T推断报错

None是泛型枚举Option<T>的变体，你写的闭包只返回None，上下文里没有任何信息能让编译器推断出这个Option包裹的值类型T到底是什么——不管T是i32、String还是其他类型，None都是合法值，编译器没法替你猜类型，就会抛出这个泛型参数推断失败的错误。

只要给编译器明确T的具体类型就能解决问题，三种常用写法任选即可：

• 用turbofish语法（::<>）直接给None指定类型，写法最简洁：

fn main(){
    let a = vec![1,2,3,4,5];
    // 示例用i32，实际替换成你业务需要的类型即可
    let values = a.iter().map(|_| None::<i32>);
    println!("{:?}", values.len());
}

• 直接标注闭包的返回值类型，代码可读性更好：

fn main(){
    let a = vec![1,2,3,4,5];
    let values = a.iter().map(|_| -> Option<i32> { None });
    println!("{:?}", values.len());
}

• 给接收结果的变量标注迭代器元素类型，适合需要明确迭代器整体类型的场景：

fn main(){
    let a = vec![1,2,3,4,5];
    let values: impl Iterator<Item = Option<i32>> = a.iter().map(|_| None);
    println!("{:?}", values.len());
}

注意：因为你的代码最后只调用迭代器的len()方法，不会实际消费迭代器产出的Option值，所以这里的T指定为任意合法类型都能正常编译，哪怕是单元类型()也可以，只要是确定的、编译器能识别的类型就行。

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