如何使用毯子 Into 特征实现转换回原始类型？

Question

该From特征的文档对特征本身以及任何可能的失败进行了以下说明：

人们应该总是From更喜欢实现，Into因为由于标准库中的一揽子实现From，实现自动为人们提供了一种实现。Into

和

注意：此特性一定不能失败。如果转换失败，请使用TryFrom.

我有以下From将整数转换为罗马数字的实现：

/// ### UpperRoman
/// Upper-case Roman numerals. The `None` variant is for handling invalid conversions.
pub enum UpperRoman {
    M,
    CM,
    D,
    CD,
    C,
    XC,
    L,
    XL,
    X,
    IX,
    V,
    IV,
    I,
    None,
}

impl From<u32> for UpperRoman {
    /// ### from
    /// Converts a `u32` to an `UpperRoman` numeral variant.
    fn from(numeral: u32) -> Self {
        match numeral {
            1000 => Self::M,
            900 => Self::CM,
            500 => Self::D,
            400 => Self::CD,
            100 => Self::C,
            90 => Self::XC,
            50 => Self::L,
            40 => Self::XL,
            10 => Self::X,
            9 => Self::IX,
            5 => Self::V,
            4 => Self::IV,
            1 => Self::I,
            _ => Self::None,
        }
    }
}

只有少数有效案例。对于任何无效的输入，我定义了一个variant UpperRoman::None，这意味着没有罗马数字与给定的输入匹配。这会处理任何故障情况，因此满足文档中设置的要求。

如果我想使用自动生成的Into-trait 实现将罗马数字转换回整数该怎么办？该函数如何UpperRoman::into处理这种UpperRoman::None情况？我唯一的选择是在调用函数之前与可能的输入进行匹配UpperRoman::into以确保它不是变体吗？UpperRoman::None

Answer 1

这里有一个混淆。鉴于您的实现From<u32> for UpperRoman，编译器不会自动为您提供相反的转换（即从UpperRoman到u32）。相反，它会给你双重实现: Into<UpperRoman> for u32，它在语义上具有相同的方向。这种全面的实现Into将允许程序员编写以下任一内容：

let c = UpperRoman::from(100);
let c: UpperRoman = 100.into();

话虽如此，这意味着您需要努力做出有意义的相反转换。在这种情况下，最好假设从u32到 的转换UpperRoman是一个容易出错的转换，因为并非所有整数都映射到单个罗马数字。这还允许您删除None变体，该变体仅充当几乎不需要的“空”值，并且无论如何都可以添加到任何类型Option。

use std::convert::TryFrom;

pub enum UpperRoman {
    M,
    CM,
    D,
    CD,
    C,
    XC,
    L,
    XL,
    X,
    IX,
    V,
    IV,
    I,
}

impl TryFrom<u32> for UpperRoman {
    type Error = &'static str;

    fn try_from(numeral: u32) -> Result<Self, Self::Error> {
        match numeral {
            1000 => Ok(Self::M),
            900 => Ok(Self::CM),
            // expand the rest here
            4 => Ok(Self::IV),
            1 => Ok(Self::I),
            _ => Err("that is no good!"),
        }
    }
}

（为此转换创建更好的错误类型留给读者作为练习。）

完成后，转换UpperRoman为u32就很简单了：

impl From<UpperRoman> for u32 {
    fn from(v: UpperRoman) -> Self {
        Self::M => 1000,
        // ... expand the remaining variants exhaustively here, no None
    }
}

也可以看看：

• 对于易出错的转换， impl TryFrom<Bar> for Foo 与 impl From<Bar> for Result<Foo, ()> 有何优缺点？