Enum core::convert::Infallible

pub enum Infallible {}

永远不会发生的错误的错误类型。

由于此枚举没有成员，因此这种类型的值永远不会实际存在。 这对于使用 Result 并参数化错误类型的泛型 API 很有用，以指示结果始终为 Ok。

例如，对于存在反向 Into 实现的所有类型，TryFrom trait (返回 Result 的转换) 都具有通用实现。

impl<T, U> TryFrom<U> for T where U: Into<T> {
    type Error = Infallible;

    fn try_from(value: U) -> Result<Self, Infallible> {
        Ok(U::into(value))  // 永不返回 `Err`
    }
}

Future 兼容性

该枚举与 never 类型 (!) 具有相同的作用，在此版本的 Rust 中不稳定。 当 ! 稳定后，我们计划将 Infallible 用作它的类型别名:

pub type Infallible = !;

… 并最终弃用 Infallible。

但是，在一种情况下，可以在将 ! 稳定为完整类型之前使用 ! 语法: 在函数的返回类型位置。 具体来说，可能有两种不同的函数指针类型的实现:

trait MyTrait {}
impl MyTrait for fn() -> ! {}
impl MyTrait for fn() -> std::convert::Infallible {}

Infallible 是枚举，此代码有效。 但是，当 Infallible 成为 never type 的别名时，两个 impl 将开始重叠，因此将被语言的 trait 一致性规则所禁止。

Trait Implementations

impl Clone for Infallible

fn clone(&self) -> Infallible

返回值的副本。

fn clone_from(&mut self, source: &Self)

从 source 执行复制分配。

impl Debug for Infallible

fn fmt(&self, _: &mut Formatter<'_>) -> Result

使用给定的格式化程序格式化该值。

impl Display for Infallible

fn fmt(&self, _: &mut Formatter<'_>) -> Result

使用给定的格式化程序格式化该值。

impl From<!> for Infallible

fn from(x: !) -> Self

执行转换。

impl From<Infallible> for TryFromIntError

fn from(x: Infallible) -> TryFromIntError

执行转换。

impl From<Infallible> for TryFromSliceError

fn from(x: Infallible) -> TryFromSliceError

执行转换。

impl Hash for Infallible

fn hash<H: Hasher>(&self, _: &mut H)

将该值输入给定的 Hasher。

fn hash_slice<H: Hasher>(data: &[Self], state: &mut H) where
    Self: Sized, 

将这种类型的切片送入给定的 Hasher 中。

impl Ord for Infallible

fn cmp(&self, _other: &Self) -> Ordering

此方法返回 self 和 other 之间的 Ordering。

#[must_use]

fn max(self, other: Self) -> Self where
    Self: Sized, 

比较并返回两个值中的最大值。

#[must_use]

fn min(self, other: Self) -> Self where
    Self: Sized, 

比较并返回两个值中的最小值。

#[must_use]

fn clamp(self, min: Self, max: Self) -> Self where
    Self: Sized, 

将值限制为一定的时间间隔。

impl PartialEq<Infallible> for Infallible

fn eq(&self, _: &Infallible) -> bool

此方法测试 self 和 other 值是否相等，并由 == 使用。

#[must_use]

fn ne(&self, other: &Rhs) -> bool

此方法测试 !=。

impl PartialOrd<Infallible> for Infallible

fn partial_cmp(&self, _other: &Self) -> Option<Ordering>

如果存在，则此方法返回 self 和 other 值之间的顺序。

#[must_use]

fn lt(&self, other: &Rhs) -> bool

此方法测试的内容少于 (对于 self 和 other)，并且由 < 操作员使用。

#[must_use]

fn le(&self, other: &Rhs) -> bool

此方法测试小于或等于 (对于 self 和 other)，并且由 <= 运算符使用。

#[must_use]

fn gt(&self, other: &Rhs) -> bool

此方法测试大于 (对于 self 和 other)，并且由 > 操作员使用。

#[must_use]

fn ge(&self, other: &Rhs) -> bool

此方法测试是否大于或等于 (对于 self 和 other)，并且由 >= 运算符使用。

impl Copy for Infallible

impl Eq for Infallible