为什么这个函数中有非详尽的模式？

1 回答

• 5

  您尚未指定处理一个或两个参数为负的情况的逻辑 . 但是，你的函数会很高兴地允许将负参数传递给它，这就是你得到错误的原因 . 要解决此问题，您可以在最后添加一个包含所需错误处理逻辑的catch-all otherwise 语句，如下所示：

  permutations :: Integer -> Integer -> Integer
  permutations x y
          | y == 1 || x == y = x
          | (x>0) && (y>0) = permutations (x-1) y * x
          | otherwise = error "invalid input"
  

  请注意，我在第一种情况下添加了一个条件 - 您不应该计算 x < y 所在的排列，因此基本情况应该是 y = 1 或 x == y .

  Demo

  给出正确答案的替代解决方案是这样的：

  import Data.List(foldl')
  
  permutations :: Integer -> Integer -> Integer
  permutations x y = if any (<=0) [x,y] then 0 else foldl' (*) 1 [x+1-y..x]
  

  回复于 2024-04-26T22:26:44+08:00