haskell - 是否可以使用 QuickCheck 检查抛出异常的情况？

Question

假设我有一个函数应该在一种情况下计算一些值并且否则抛出异常。我想使用 QuickCheck 来确保我的函数行为正确，但如何执行这种排序并不明显的检查。是否可能，如果是，如何检查某些异常类型被抛出并且它包含有关其原因的正确信息？

Answer 1

确实ioProperty是此类测试的关键。您需要将其与 catch 结合使用。或try 。这里我展示后者:

prop_exceptional :: Int -> Property
prop_exceptional n = ioProperty $ do
  result <- try . evaluate $ myDangerousFunction n
  return $ r === result
  where r | n == 0    = Left  MyException
          | otherwise = Right 42

很明显，myDangerousFunction 在获取 0 时应该抛出 MyException，否则返回 42。注意有用的功能evaluate ，您需要使用它来计算 IO 上下文中的纯函数，以捕获其中产生的异常。