【发布时间】:2018-06-07 00:34:24
【问题描述】:
由于我对 Rust 还很陌生,因此我需要有关如何以惯用方式完成错误处理的指导。我发现错误处理样板真的很烦人。
我被多个Option<T>s 卡住了。手动处理每个None 案例太冗长了。
例如,在 Haskell 中,您可以将可选值 (Maybe) 操作与各种运算符链接起来:fmap、<*>、>>= 等:
f x = x * x
g x = x ++ x
main = print $ g <$> show <$> f <$> Just 2
在 Rust 中,这似乎是不可能的。我正在尝试将两个字符的卡片字符串解析为结构 Card:
const FACES: &'static str = "23456789TJQKA";
const SUITS: &'static str = "CDHS";
enum Face { /* ... */ }
enum Suit { C, D, H, S }
struct Card {
face: Face,
suit: Suit
}
impl FromStr for Card {
type Err = ();
fn from_str(x: &str) -> Result<Self, Self::Err> {
let mut xs = x.chars();
let a = chain(xs.next(), |x| FACES.find(x), Face::from_usize);
let b = chain(xs.next(), |x| SUITS.find(x), Suit::from_usize);
if let (Some(face), Some(suit)) = (a, b) {
Ok(Card::new(face, suit))
} else {
Err(())
}
}
}
这段代码在 Haskell 中看起来像这样:
import Data.List (elemIndex)
x = Just 'C'
suits = "CDHS"
data Suit = C | D | H | S deriving Show
fromInt 0 = C
find = flip elemIndex
main = print $ x >>= find suits >>= return . fromInt
感谢>>= 的链接,Haskell 使得操纵 monad 的内部值成为可能(而且很容易!)。为了达到接近的效果,我不得不编写 chain 函数,这似乎非常单调:
fn join<T>(x: Option<Option<T>>) -> Option<T> {
if let Some(y) = x {
y
} else {
None
}
}
fn bind<A, B, F>(x: Option<A>, f: F) -> Option<B>
where
F: FnOnce(A) -> Option<B>,
{
join(x.map(f))
}
fn chain<A, B, C, F, G>(x: Option<A>, f: F, g: G) -> Option<C>
where
F: FnOnce(A) -> Option<B>,
G: FnOnce(B) -> Option<C>,
{
bind(bind(x, f), g)
}
【问题讨论】: