05-Never 类型

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/never.html

r[type.never]

Never 类型

r[type.never.syntax]

NeverType -> `!`

r[type.never.intro] Never 类型 ! 是没有值的类型，表示永不完成的计算的结果。

r[type.never.coercion] 类型为 ! 的表达式可以被强制转换为任何其他类型。

r[type.never.constraint] 目前 ! 类型只能出现在函数返回类型中，表示这是一个永不返回的发散函数。

1
2
3

fn foo() -> ! {
    panic!("This call never returns.");
}

1
2
3

unsafe extern "C" {
    pub safe fn no_return_extern_func() -> !;
}