Question

我有一个OptionList.hs文件，有一个名为OptionList的新数据类型。我想在显示OptionList时隐藏EmptyOpt：

module OptionList (
    OptionList,
    voidOption,
    (+:)
) where


data OptionList a b = EmptyOpt | OptionList { optListHead :: a, optListTail :: b } deriving (Read)

instance (Show a, Show b) => Show (OptionList a b) where
    show (OptionList voidOption a) = "{" ++ (show a) ++"}"
    show (OptionList a voidOption) = "{" ++ (show a) ++"}"
    show (OptionList a b) = "{"++ (show a) ++ ", " ++ (show b) ++"}"
    show voidOption = ""




voidOption::(OptionList Int Int)
voidOption = EmptyOpt



(+:) :: a -> b -> (OptionList a b)
infixr 5 +:
t1 +: t2 = OptionList t1 t2

然后我有主文件todo.hs

import OptionList


main = do
    print ( 0 +: "test" +: voidOption )

但编译器告诉OptionList.hs中的模式匹配是重叠的：

OptionList.hs:12:9: Warning:
    Pattern match(es) are overlapped
    In an equation for ‘show’:
        show (OptionList a voidOption) = ...
        show (OptionList a b) = ...

当我执行它时，它确实是重叠的。它产生以下输出：

{{}}

（我希望它是{0, {"test"}}）

但为什么这些模式重叠？

Answer 1

在第

行

show (OptionList voidOption a) = "{" ++ (show a) ++"}"

voidOption是一个新的局部变量，就像a一样。它与下面定义的voidOption变量无关。基本上，上面的行相当于

show (OptionList b a) = "{" ++ (show a) ++"}"

因此，它始终与以下行匹配并重叠。

如果我们将模式中的所有变量视为由模式定义的变量，则很容易记住这一点。从某种意义上说，它们是“走出”模式的价值观，而非“在”中。

启用警告（-Wall）应该警告您这个错误，因为voidOption的新本地绑定会影响全局错误。

在模式中，您应该使用EmptyOpt构造函数。 E.g。

show (OptionList EmptyOpt a) = "{" ++ (show a) ++"}"

图案重叠，为什么会发生？

1 个答案: