Never type

never类型

never.md
commit: 6eacdb0d8551dcdb9e9782e4abad60ec17ddb214
本章译文最后维护日期：2023-07-21

^句法
NeverType : !

never类型(!)是一个没有值的类型，表示永远不会完成计算的结果。! 的类型表达式可以强转为任何其他类型。

类型! 目前只能出现在函数返回类型中，这表明它是一个从不真正返回的发散函数。

#![allow(unused)]
fn main() {
fn foo() -> ! {
    panic!("This call never returns.");
}
}

#![allow(unused)]
fn main() {
extern "C" {
    pub fn no_return_extern_func() -> !;
}
}