Haskell嵌套列表提取问题：函数结果不符与非穷尽模式报错求助

嘿，我来帮你搞定这个问题～先看看你写的函数哪里出了问题：

你的函数代码是：

example :: [[a]] -> [a]
example [] = []
example [x:xs] = [x]

问题分析 #

1. 模式匹配范围太窄：[x:xs]这个模式只匹配恰好包含一个非空子列表的嵌套列表，比如[[1,2,3]]就会命中这个模式。但当你的输入是多个子列表（比如[[1,2,3],[4,5,6]]）时，没有对应的模式能匹配，所以会触发Non-exhaustive patterns错误。
2. 逻辑偏离需求：就算命中了[x:xs]模式，你把第一个子列表拆成了x（子列表的第一个元素）和xs（子列表剩下的元素），然后返回[x]——这相当于只取了第一个子列表的第一个元素，而不是你想要的整个第一个子列表。

正确的写法 #

根据你的需求（提取嵌套列表的第一个子列表），我们只需要匹配任意非空的嵌套列表，直接取它的第一个元素就行：

example :: [[a]] -> [a]
example [] = []  -- 处理空嵌套列表的情况，返回空列表
example (firstSubList : _) = firstSubList

这里的(firstSubList : _)是关键：

• firstSubList就是嵌套列表的第一个子列表，直接返回它就满足你的需求。
• _是通配符，表示我们不关心嵌套列表剩下的元素（不管有多少个子列表都没关系）。

测试验证 #

• 输入[[1,2,3],[4,5,6]]：返回[1,2,3]，符合预期。
• 输入[[1,2,3]]：返回[1,2,3]，不再只返回[1]。
• 输入[]：返回[]，和你原来的逻辑保持一致。

如果你的场景需要更严谨的错误处理（比如不允许输入空嵌套列表），也可以返回Maybe [a]类型，避免运行时错误：

example :: [[a]] -> Maybe [a]
example [] = Nothing
example (first : _) = Just first

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