永不类型

语法
永不类型 : !

永不类型 ! 是一种没有值的类型,表示永远不会计算出确切结果。 类型为 ! 的表达式可以强制转换为其他任何类型。

let x: ! = panic!();
// 可以强制转换为任何类型。
let y: u32 = x;

注意: 预计在 1.41 版本中稳定的永不类型,但由于最后时间发现了一些回归问题,因此稳定性被暂时撤销。 目前, ! 类型只能出现在函数返回类型中。有关更多详细信息,请参见 问题跟踪