Fromtrait的文档对trait 本身和任何可能的失败有以下说明：
人们应该总是更喜欢实现
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,
}
}
}
只有少数有效案例。对于任何无效输入，我定义了一个变体UpperRoman::None，这意味着没有罗马数字匹配给定的输入。这会处理任何故障情况，因此满足文档中设置的要求。
如果我想使用自动生成的Into-trait 实现将罗马数字转换回整数怎么办？该UpperRoman::into函数如何处理这种UpperRoman::None情况？在调用函数之前，我唯一的选择是匹配可能的输入UpperRoman::into以确保它不是UpperRoman::None变体吗？
这里有一个混淆。鉴于您对 的实现From<u32> for UpperRoman，编译器不会自动为您提供相反的转换（即 from UpperRomanto u32）。相反，它将为您提供双重实现: Into<UpperRoman> for u32，在语义上具有相同的方向。的这种全面实现Into将允许程序员编写以下任一项：
let c = UpperRoman::from(100);
let c: UpperRoman = 100.into();
话虽如此，这意味着您需要努力进行有意义的相反转换。在这种情况下，最好假设从u32to的转换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
}
}
也可以看看：
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句