pattern-matching - 从 Options 和 Results 中移除 unwrap 调用而不引入双重缩进的匹配语句

Question

我正在尝试从项目中删除一些解包函数，但我无法弄清楚这个 block 的惯用版本是什么::

let free_block = match util::find_free_block(size) {
    Some(block) => unsafe { (*block).split(size) },
    None        => unsafe { (*util::request_mem(size).unwrap()).split(size) }
};

在 None 的情况下没有双重缩进的匹配语句匹配。

util::request_mem(size)返回 Result<*mut T, i32>失败时 i32应返回值。

我知道没有类似 C 语言的类似箭头运算符的等效项来取消引用和调用原始指针上的方法，这使我的一些代码看起来很糟糕，但它为什么不在语言中是可以理解的。

Answer 1

一种解决方案是将返回的Option 转换为Result，然后使用类似Result::or_else 的方法。链接进一步的工作和宏，如 try!早点回来:

struct Thing;
impl Thing {
    fn split(&self, size: u8) -> bool { false }
}

fn find_free_block(size: u8) -> Option<*mut Thing> { None }
fn request_mem(size: u8) -> Result<*mut Thing, i32> { Err(1) }

fn the_answer(size: u8) -> Result<bool, i32> {
    let thing_ptr = try!(find_free_block(size).ok_or(0).or_else(|_| request_mem(size)));
    let thing = unsafe { &*thing_ptr }; 
    Ok(thing.split(size))
}

fn main() {}

或者:

fn the_answer(size: u8) -> Result<bool, i32> {
    find_free_block(size)
        .ok_or(0)
        .or_else(|_| request_mem(size))
        .map(|t| unsafe { &*t })
        .map(|t| t.split(size))
}

---

如果这样的事情能奏效，那就太好了

fn the_answer(size: u8) -> Result<bool, i32> {
    find_free_block(size)
        .ok_or_maybe(|| request_mem(size))
        .map(|t| unsafe { &*t })
        .map(|t| t.split(size))
}

不过您现在就可以做到这一点:

trait Secret<T> {
    fn ok_or_maybe<E, F>(self, F) -> Result<T, E>
        where F: FnOnce() -> Result<T, E>;
}

impl<T> Secret<T> for Option<T> {
    fn ok_or_maybe<E, F>(self, f: F) -> Result<T, E>
        where F: FnOnce() -> Result<T, E>
    {
        match self {
            Some(e) => Ok(e),
            None => f(),
        }
    }
}