Haskell Test.HUnit能否在单个测试用例内放置多个断言

Test.HUnit 支持在单个测试用例中编写多个断言，不需要为相似场景下的每个输入变体单独创建独立测试块，可直接解决批量输入带来的代码冗余问题。

顺序多断言写法 #

TestCase 构造器本身接收一个IO ()类型的执行动作，借助do语法可以在同一个测试块中串联任意数量的断言：

testSafeHeadForEmptyScenarios :: Test
testSafeHeadForEmptyScenarios = TestCase $ do
    assertEqual "Int型空列表应返回Nothing" Nothing (safeHead ([] :: [Int]))
    assertEqual "Char型空列表应返回Nothing" Nothing (safeHead ([] :: [Char]))
    assertEqual "Bool型空列表应返回Nothing" Nothing (safeHead ([] :: [Bool]))
    assertEqual "Double型空列表应返回Nothing" Nothing (safeHead ([] :: [Double]))

运行时块内的断言会按顺序执行，任意一条断言失败都会标记整个测试用例失败，并输出对应断言的描述信息，执行效果和拆分多个独立TestCase完全一致。

批量输入的简化写法 #

当测试输入变体数量较多时，可以将测试逻辑和测试数据分离，用mapM_批量执行断言，避免重复书写相同的断言逻辑：

-- 维护所有空列表场景的测试条目：(测试描述, 输入列表)
emptyListTestInputs :: [(String, [Int])]
emptyListTestInputs = [
    ("第一组空列表校验", []),
    ("第二组空列表校验", []),
    ("第三组空列表校验", [])
    -- 新增测试变体仅需要在此处追加条目
  ]

testSafeHeadBatchEmptyLists :: Test
testSafeHeadBatchEmptyLists = TestCase $ do
    mapM_ (\(desc, input) -> assertEqual desc Nothing (safeHead input)) emptyListTestInputs

这种写法下断言逻辑只需要编写一次，后续扩展测试用例时仅需更新测试数据列表，不需要重复搭建测试块结构。

补充说明 #

TestList一般用来组织跨功能模块的测试集合，对于同场景下的细粒度输入变体，不需要单独拆分为顶级独立测试条目，直接在同一个测试块内组织多断言的写法完全符合HUnit的设计规范。

内容的提问来源于stack exchange，提问作者lattejiu