Rust自定义反序列化器报错：match分支无法推断Some(s)类型

问题描述 #

实现自定义反序列化器时，以下代码无法编译：

match de::Deserialize::deserialize(deserializer)
    .map_err(|_| None)
    .ok()
{
    Some(s) if s == "1" => Ok(Some(true)),
    _ => Ok(None),
}

报错信息为Some(s)处cannot infer type。但单独执行以下代码时，编译器能自动识别s的类型为&str：

let s = de::Deserialize::deserialize(deserializer)?;

需要解决两个问题：

1. 有没有简便方法告知编译器Some(s)是Option<&str>？
2. 为何编译器在此场景下无法自动推断类型？

解决方案与解释 #

1. 显式指定类型的简便方法 #

可以通过turbofish语法直接为deserialize方法指定目标类型，让编译器明确知道要反序列化成&str：

match de::Deserialize::deserialize::<&str>(deserializer)
    .map_err(|_| None)
    .ok()
{
    Some(s) if s == "1" => Ok(Some(true)),
    _ => Ok(None),
}

或者给中间结果加显式类型标注，同样能解决问题：

let result: Result<&str, _> = de::Deserialize::deserialize(deserializer);
match result.map_err(|_| None).ok() {
    Some(s) if s == "1" => Ok(Some(true)),
    _ => Ok(None),
}

2. 编译器无法自动推断的原因 #

单独使用let s = de::Deserialize::deserialize(deserializer)?;时，?会将错误传播到函数的返回值，而函数的返回类型（比如Result<T, E>）会给编译器提供足够的上下文，让它能反推出s的类型。

但在你的match代码中：

• deserialize返回的Result被map_err(|_| None)转换为Result<T, Option<_>>，接着又被.ok()转为Option<T>
• 后续match分支返回的是Ok(Option<bool>)，这个类型和前面的Option<T>之间没有直接的类型关联，编译器无法从最终的返回值反推T应该是&str
• 加上map_err和ok的链式调用后，原本的类型推导链被打断，编译器失去了足够的上下文信息来确定T的具体类型，因此需要显式指定。

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