具有递归功能的Stackoverflow

Question

let rec f a p n = if p n then a else a + f a p (n - 1) 
let a, p, n = 3, (fun x -> x = 1), 4 
f a p n 

当n < = 0时获得stackoverflow。不知道如何解决这个问题。

Answer 1

你p = fun x -> x = 1其中，当然，检查是否x是1

你的递归调用使用p上n，否则递减n。

这将导致n变得越来越负，导致无限递归，因为n永远不会是1.要解决这个问题，您不需要调用p的值为n小于1或更改您的检查函数来执行除检查值1以外的其他值。

也许尝试let a, p, n = 3, (fun x -> x <= 1), 4。