Haskell自定义异常实现求助：迭代达3000次时抛出异常

一、定义自定义异常 #

先导入Control.Exception模块，定义一个能承载迭代次数的异常类型，并让它成为Exception类型类的实例。如果需要自定义错误消息，重写displayException方法即可——这正是你需要的功能。

示例代码：

import Control.Exception (Exception, throwIO, catch)

-- 自定义异常类型，存储触发异常的迭代次数
data ReachedMax = ReachedMax Int deriving (Show)

-- 实现Exception实例，自定义错误消息
instance Exception ReachedMax where
  displayException (ReachedMax n) = "Exception: " ++ show n ++ " iterations"

二、抛出异常 #

在迭代逻辑中，当计数达到阈值（比如3000）时，用throwIO抛出ReachedMax异常：

-- 示例迭代函数：从count开始递增，到3000时抛出异常
iterativeFunc :: Int -> IO ()
iterativeFunc count
  | count >= 3000 = throwIO $ ReachedMax 3000
  | otherwise = do
      -- 这里替换为你的图像处理核心逻辑
      iterativeFunc (count + 1)

三、捕获异常 #

用catch函数捕获ReachedMax类型的异常，编写对应的处理逻辑：

main :: IO ()
main = do
  iterativeFunc 0
    `catch` \(ReachedMax n) -> do
      putStrLn $ "捕获到迭代超限异常：" ++ displayException (ReachedMax n)
      -- 这里可以添加异常后的恢复逻辑，比如记录日志、终止当前图像任务等

四、关于你的ReachedMax构造 #

如果你的ReachedMax已经定义成类似data ReachedMax = ReachedMax Int的形式，并且派生了Show、实现了Exception实例，那完全可以继续使用。建议保留存储迭代次数的字段，不要硬编码3000，这样后续调整阈值时更灵活。

五、图像处理场景适配 #

针对你处理2D图像的场景：

• 如果是你自己实现的迭代逻辑，直接把上述异常抛出逻辑嵌入到计数判断中即可；
• 如果是依赖包的函数触发迭代超限，先确认该包是否抛出特定异常：如果是标准异常（比如ErrorCall），可以通过消息匹配捕获；如果是该包自定义的异常，直接捕获对应类型即可。

内容的提问来源于stack exchange，提问作者Stéphane Laurent