Rust 为什么Option类型try块需要类型注释

发布于10月20日

编译器:rustc 1.71.0-nightly (c609da59d 2023-04-18)

我试着每晚#![feature(try_blocks)]次，用这个:

#![feature(try_blocks)]
fn test_try(input: Option<i32>) {
    let output = try {
        input?
    };

    println!("{:?}", output);
}

但是编译器声称output需要类型注释.完整的错误信息在这里:

error[E0282]: type annotations needed
 --> src/main.rs:3:9
  |
3 |     let output = try {
  |         ^^^^^^
  |
help: consider giving `output` an explicit type
  |
3 |     let output: /* Type */ = try {
  |               ++++++++++++

如果我试了let output: Option<i32> = ...次，一切都很好.

看起来output应该是Option<i32>，但编译器不能推断这一点.

是因为功能不稳定，还是我错过了什么？output可以是Option<i32>以外的任何其他类型吗？

推荐答案

由于推理问题，try_blocks功能大部分不稳定.Try特征(支持try块和?运算符)的设计使其非常灵活，但编译器也很难推断类型.

在STD中，此表达式的结果只能是Option<i32>.但我们可以写一个，因为驱动try块go 糖化的不是它里面?的类型，而是它产生的类型.所以它可以是任何东西，只要它支持?/Option<i32>.例如:

#![feature(try_blocks, try_trait_v2)]

use std::convert::Infallible;
use std::ops::ControlFlow;

#[derive(Debug)]
struct MyFancyType;

impl std::ops::FromResidual<Option<Infallible>> for MyFancyType {
    fn from_residual(_residual: Option<Infallible>) -> Self {
        Self
    }
}

impl std::ops::FromResidual for MyFancyType {
    fn from_residual(_residual: Infallible) -> Self {
        Self
    }
}

impl std::ops::Try for MyFancyType {
    type Output = i32;
    type Residual = Infallible;

    fn from_output(_output: i32) -> Self {
        Self
    }

    fn branch(self) -> ControlFlow<Self::Residual, Self::Output> {
        ControlFlow::Continue(0)
    }
}

fn test_try(input: Option<i32>) {
    let output: MyFancyType = try { input? };

    println!("{:?}", output);
}

Playground.