不匹配的類型。預計123-132，（）找到

Question

此代碼：

fn ackermann(m: i32, n: i32) -> i32 { 
    if m == 0 { 
     return n + 1; 
    } else if m > 0 && n == 0 { 
     return ackermann(m - 1, 1); 
    } else if m > 0 && n > 0 { 
     return ackermann(m - 1, ackermann(m, n - 1)); 
    } 
} 

編譯過程中有一個錯誤：

error: mismatched types [--explain E0308] 
--> src/main.rs:3:5 
    |> 
3 |>  if m == 0 { 
    |> ^expected i32, found() 
note: expected type `i32` 
note: found type `()` 

Answer 1

並不是所有的代碼路徑返回一個值。你可以解決這個問題的一些方法..但因爲這似乎是一個遞歸函數..你可能想辦法打破遞歸：

fn ackermann(m: i32, n: i32) -> i32 { 
    if m == 0 { 
     return n + 1; 
    } else if m > 0 && n == 0 { 
     return ackermann(m - 1, 1); 
    } else if m > 0 && n > 0 { 
     return ackermann(m - 1, ackermann(m, n - 1)); 
    } 

    return 0; // This breaks your recursion 
} 

或者，也許一個明確else：

if m == 0 { 
    return n + 1; 
} else if m > 0 && n == 0 { 
    return ackermann(m - 1, 1); 
} else if m > 0 && n > 0 { 
    return ackermann(m - 1, ackermann(m, n - 1)); 
} else { // An explicit else also works 
    return 0; 
} 

我對這個算法的功能沒有太多的考慮，但是錯誤很明顯。如何打破遞歸併讓函數返回實際值取決於您。

編輯：本傑明在評論中指出，這個特定的功能實際上不應該達到您提供的條件之外。因此，其他一些選擇包括恐慌如果代碼確實退出或者可能返回Result<i32>。

TLDR是：如果您的條件都不符合，那麼函數在預期返回一個數字時不會返回任何內容。