您如何检测列表中Haskell中是否恰好有3个项目？

Question

我有这个，但是我得到一个错误：

-- test if a list contains exactly three characters
test :: [Char] -> Bool
test xs   | [_ , _ , _] = True
          | otherwise = False

Answer 1

模式匹配发生在垂直条的左侧 。 从而：

test :: [Char] -> Bool
test [_, _, _] = True
test _         = False

正如Norman Ramsey在下面正确指出的那样，以下代码不是一个健壮的替代解决方案（因为将其应用于（长）有限列表时效率非常低，并且不会在无限列表上停止），因此不应使用：

test :: [Char] -> Bool
test xs = length xs == 3

此外， length xs == 0应该始终替换为null xs 。

编辑：自然而然出现的问题是： 我们如何对此进行概括？ 如果我们要测试列表是否恰好具有n个元素怎么办？ 如果输入可能是无限的怎么办？ 这是一个成本为n或列表长度（以较小者为准）的解决方案，这是渐近有效的解决方案，正如我们可能希望的那样：

hasLength :: Int -> [a] -> Bool
hasLength n []     = n == 0
hasLength 0 (x:xs) = False
hasLength n (x:xs) = hasLength (n-1) xs

用法：

*Main> hasLength 3 [1..2]
False
*Main> hasLength 3 [1..3]
True
*Main> hasLength 3 [1..4]
False
*Main> hasLength 3 [1..] 
False

以负长度调用此函数是不安全的 。 如果列表是无限的，该函数将不会终止；如果列表是有限的，则它将返回False ，其成本与列表的长度成比例。 一个简单的解决方法是预先检查（仅在第一次调用时） n是否为负数，但是此解决方法会使代码难看。