オプションと結果からアンラップコールを削除します。

Question

プロジェクトからいくつかのアンラップ関数を削除しようとしていますが、このブロックの慣用バージョンが何であるかわかりません::

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

一つの解決策を早期に返すためにtry!のようなチェーン更なる作業やマクロにResult::or_elseのようなメソッドを使用し、その後、Resultに返さOptionを変換することです：代わり

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(), 
     } 
    } 
}