Rust中collect()转Result<Vec<_>,_>时如何省略turbofish类型注解？

问题场景 #

我想把Result<T, E>类型的迭代器通过collect()转换为Vec<T>，并且在迭代器中出现错误时提前返回。写了如下代码：

use std::error::Error;

fn main() -> Result<(), Box<dyn Error>> {
    let input = "";
    let games: Vec<Game> = input.lines().map(parse_game).collect()?;
    println!("parsed {} games", games.len());
    Ok(())
}

struct Game;

fn parse_game(_s: &str) -> Result<Game, Box<dyn Error>> {
    Ok(Game)
}

但这段代码无法编译，报错提示需要类型注解。只有给collect()加上::<Result<_,_>>的turbofish注解后才能正常运行：

let games: Vec<Game> = input.lines().map(parse_game).collect::<Result<_,_>>()?;

我疑惑为什么必须添加这个注解，想知道有没有办法省略它，或者更符合Rust惯用写法的实现方式。

原因分析 #

问题出在collect()方法的高度泛型特性上：它可以将迭代器转换为任何实现了FromIterator trait的类型。当你在collect()后面使用?操作符时，编译器需要知道这个表达式的类型是Result<_, _>——因为?只能用于Result或Option类型。

但你声明的变量类型是Vec<Game>，编译器无法从最终的Vec<Game>反向推导出collect()需要先生成Result<Vec<Game>, E>。虽然实际场景中几乎没有其他类型能通过?转换成Vec<Game>，但编译器必须严格遵循类型推断规则，不能做这种“常识性”假设，所以必须明确告诉它目标类型是Result。

解决方案 #

1. 使用try_collect（推荐，Rust 1.70+） #

Rust 1.70版本引入了Iterator::try_collect方法，专门针对这种从Result/Option迭代器收集为Result<Collection, E>的场景。它的返回类型明确是Result，不需要额外注解：

use std::error::Error;

fn main() -> Result<(), Box<dyn Error>> {
    let input = "";
    let games: Vec<Game> = input.lines().map(parse_game).try_collect()?;
    println!("parsed {} games", games.len());
    Ok(())
}

struct Game;

fn parse_game(_s: &str) -> Result<Game, Box<dyn Error>> {
    Ok(Game)
}

这是目前最符合Rust惯用写法的方案，代码简洁且语义清晰。

2. 显式声明中间变量类型 #

如果使用的是低于1.70的Rust版本，可以先把collect()的结果赋值给一个Result<Vec<Game>, _>类型的变量，再解包：

use std::error::Error;

fn main() -> Result<(), Box<dyn Error>> {
    let input = "";
    let games_result: Result<Vec<Game>, _> = input.lines().map(parse_game).collect();
    let games = games_result?;
    println!("parsed {} games", games.len());
    Ok(())
}

struct Game;

fn parse_game(_s: &str) -> Result<Game, Box<dyn Error>> {
    Ok(Game)
}

这样编译器能通过中间变量的类型推断出collect()的目标类型，不需要turbofish注解。

3. 保留turbofish注解（简洁写法） #

如果不想引入中间变量，也可以保留turbofish注解，甚至可以写得更明确一点：

let games: Vec<Game> = input.lines().map(parse_game).collect::<Result<Vec<Game>, _>>()?;

不过collect::<Result<_,_>>()已经足够简洁，编译器会自动推断出Vec<Game>和错误类型。

总结 #

• 必须加类型注解的核心原因是collect()的泛型灵活性，编译器无法从最终的Vec<T>反向推断出需要生成Result<Vec<T>, E>。
• 现代Rust（1.70+）推荐用try_collect，完全不需要额外注解，代码更直观。
• 旧版Rust可以通过中间变量或turbofish注解解决问题。

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