Haskell多元素模式匹配：列表同类型元素交换方法问询

首先直接回答你的问题：在Haskell的列表模式匹配中，你写的Circle r1:y:Circle r2:xs里的y只能匹配单个元素，没法匹配一个或多个元素。Haskell的列表模式匹配是基于递归结构的——每个非空列表都能拆成头元素:尾列表，没有语法支持用单个变量直接匹配中间的任意多个元素。

推荐的实现方法 #

要实现“交换列表中两个同类型元素”的需求，我们可以分两步走：先判断元素是否同类型，再通过递归遍历找到要交换的元素对并重组列表。下面是具体的实现示例：

首先定义你的形状类型（加上Eq和Show方便测试）：

data Shape = Circle Float 
           | Square Float 
           | Rectangle Float Float 
           | EquilTriangle Float 
           deriving (Eq, Show)

然后写一个辅助函数，用来判断两个形状是否属于同一类型：

sameType :: Shape -> Shape -> Bool
sameType (Circle _) (Circle _) = True
sameType (Square _) (Square _) = True
sameType (Rectangle _ _) (Rectangle _ _) = True
sameType (EquilTriangle _) (EquilTriangle _) = True
sameType _ _ = False

接下来实现核心的交换函数：这个函数会遍历列表，找到第一个出现的一对同类型元素，交换它们的位置；如果找不到这样的元素对，就返回原列表。

swapFirstSameType :: [Shape] -> [Shape]
swapFirstSameType [] = []
swapFirstSameType (x:xs) = case findMatching x xs of
    -- 找到匹配元素：把匹配元素放到开头，中间元素保留，原开头元素放到匹配元素的位置
    Just (beforeMatch, matchElem, afterMatch) -> matchElem : beforeMatch ++ x : afterMatch
    -- 没找到匹配，继续处理剩下的列表
    Nothing -> x : swapFirstSameType xs
  where
    -- 辅助函数：在列表中找第一个和target同类型的元素，返回（匹配元素之前的元素，匹配元素，匹配元素之后的元素）
    findMatching :: Shape -> [Shape] -> Maybe ([Shape], Shape, [Shape])
    findMatching _ [] = Nothing
    findMatching target (y:ys)
        | sameType target y = Just ([], y, ys)
        | otherwise = case findMatching target ys of
            Just (prev, elem, next) -> Just (y:prev, elem, next)
            Nothing -> Nothing

测试示例 #

比如用你给出的列表测试：

testList = [Circle 1, Square 2, Rectangle 3 4, EquilTriangle 5, Circle 6, Rectangle 7 8]
-- 调用swapFirstSameType testList会得到：
-- [Circle 6, Square 2, Rectangle 3 4, EquilTriangle 5, Circle 1, Rectangle 7 8]

这里交换了列表中前两个Circle元素的位置。

如果你的需求是交换任意指定位置的同类型元素，只需要调整辅助函数的逻辑，比如传入位置参数，找到对应位置的元素后判断类型再交换即可。

内容的提问来源于stack exchange，提问作者T. Swiz