如何用閉包定義相互遞歸？

Question

我可以做這樣的事情：

fn func() -> (Vec<i32>, Vec<i32>) { 
    let mut u = vec![0;5]; 
    let mut v = vec![0;5]; 

    fn foo(u: &mut [i32], v: &mut [i32], i: usize, j: usize) { 
     for k in i+1..u.len() { 
      u[k] += 1; 
      bar(u, v, k, j); 
     } 
    } 
    fn bar(u: &mut [i32], v: &mut [i32], i: usize, j: usize) { 
     for k in j+1..v.len() { 
      v[k] += 1; 
      foo(u, v, i, k); 
     } 
    } 
    foo(&mut u, &mut v, 0, 0); 
    (u,v) 
} 

fn main() { 
    let (u,v) = func(); 
    println!("{:?}", u); 
    println!("{:?}", v); 
} 

，但我更願意做這樣的事情：

fn func() -> (Vec<i32>, Vec<i32>) { 
    let mut u = vec![0;5]; 
    let mut v = vec![0;5]; 

    let foo = |i, j| { 
     for k in i+1..u.len() { 
      u[k] += 1; 
      bar(k, j); 
     } 
    }; 
    let bar = |i, j| { 
     for k in j+1..v.len() { 
      v[k] += 1; 
      foo(i, k); 
     } 
    }; 
    foo(0, 0); 
    (u,v) 
} 

fn main() { 
    let (u,v) = func(); 
    println!("{:?}", u); 
    println!("{:?}", v); 
} 

第二個例子不與錯誤編譯：無法解析名稱bar。 在我的任務中，我可以通過一次遞歸來完成，但看起來不太清楚。 有沒有人有任何其他建議？

Answer 1

我有一個相互遞歸閉包的解決方案，但它不適用於多個可變借項，所以我無法將其擴展到您的示例。

有一種方法可以使用類似於this answer單遞歸的方法來定義相互遞歸閉包。你可以把閉包放在一個結構體中，每個結構體都可以借用該結構體作爲額外的參數。

fn func(n: u32) -> bool { 
    struct EvenOdd<'a> { 
     even: &'a Fn(u32, &EvenOdd<'a>) -> bool, 
     odd: &'a Fn(u32, &EvenOdd<'a>) -> bool 
    } 
    let evenodd = EvenOdd { 
     even: &|n, evenodd| { 
      if n == 0 { 
       true 
      } else { 
       (evenodd.odd)(n - 1, evenodd) 
      } 
     }, 
     odd: &|n, evenodd| { 
      if n == 0 { 
       false 
      } else { 
       (evenodd.even)(n - 1, evenodd) 
      } 
     } 
    }; 
    (evenodd.even)(n, &evenodd) 
} 

fn main() { 
    println!("{}", func(5)); 
    println!("{}", func(6)); 
}