Question

我有以下代码：

F (S core ps) = FAll core [] ps
  where
    FAll core acc ((name, (pc : pcs)) : ps) 
       = case F' (pc : pcs) (readC pc core) core of
            Nothing -> 
                        if (length pcs) /= 0 then FAll core ((name, pcs) : acc) ps

                        else FAll core acc ps


            Just (core', [pc']) -> let
                                     pc'' = pc' `mod` coresize
                                     pcs' = pcs ++ [pc'']
                                   in  FAll core' ((name, pcs') : acc) ps
stepAll core acc [] = S core (reverse acc)

它编译得很好但是当我运行程序时它会出现以下错误：

Melon.hs：（172,10） - （182,74）：案件中的非详尽模式

其中表示行的数字是来自“= case F'（pc：pcs）（readC pc core）核心”到FAll核心中的“（名称，pcs'）：acc）ps “

我认为问题在于耗尽（pc：pcs）的模式，但我无法理解如何解决它。

任何帮助都将不胜感激。

代码已使用以下内容进行更新：

我写了以下内容：

Just (core', (pc' : pcs')) -> let
                                  pc'' = pc' `mod` coresize
                                  pcs' = pcs' ++ [pc'']
                              in  stepAll core' ((name, pcs') : acc) ps
Just (core', []) -> stepAll core acc ps

但程序只是陷入无限循环：S

Answer 1

“非详尽模式”表示您有一组模式匹配，但未涵盖所有可能的组合。在您的代码中，您有以下情况：

case {- stuff -} of
    Nothing ->               -- etc.
    Just (core', [pc']) ->   -- etc.

您处理Maybe部分的两种模式，并且该对只有一种模式，但您只匹配单元素列表，因此这将失败的模式看起来像Just (core', [])或Just (core', (pc' : pcs'))。

通常最好处理所有可能的情况（即，具有详尽的模式匹配），即使您预期某些情况永远不会发生。如果您确实非常确定案例是不可能的，那么请使用类似error "this will never happen because blah blah blah"的内容。如果你无法解释为什么它永远不会发生，那么你应该考虑正确处理它。：

Haskell - 非详尽的模式以防万一

1 个答案: