match如何用“continue”进行编译？

Question

我在读Rust编程语言书，偶然发现了一个简单的表达式：

let guess: u32 = match guess.trim().parse() {
    Ok(num) => num,
    Err(_) => continue,
};

match如何处理不同类型的表达式？E、 g.第一个臂将简单地“return”num，以便将其分配给猜测，但在第二个臂中，表达式只是继续。如何匹配它，而不是将其“分配”给猜测，而是执行它？整个赋值表达式本身会发生什么情况？它是否从调用堆栈中删除（如果这是正确的术语）？




Answer 1

匿名用户

继续有一个特殊类型：它返回从不类型，表示为！。

此类型表示“之后的代码是不可访问的”。由于继续跳转到循环的下一个循环，它实际上永远不会返回任何值（返回和中断也是如此，它也是恐慌的返回类型！（），包括所有恐慌的宏：unreacable！（）、todo！（）等）。

never类型是特殊的，因为它强制（自动转换）为任何类型（因为如果某个类型无法发生，我们可以将其视为u32、字符串或其他类型，这样就不会发生）。这意味着它还与任何其他类型统一，意味着任何类型和<代码>的交叉点 是另一种类型。

匹配需要表达式的类型进行统一（如果也是如此）。因此，您的代码返回！和u32==u32的统一。

您可以看到，如果您将表示类型（需要每晚，因为使用！类型不在返回类型位置是实验性的）：

let num = match num {
    Ok(num) => {
        let num: i32 = num;
        num
    }
    Err(()) => {
        let never: ! = continue;
        never
    }
};

操场。