手动实例显示定义导致堆栈空间溢出

Question

当我手动编写PhisicalCell数据类型的简单show实例时,程序会占用所有空间.在派生他自己的Show版本时,这不会发生.为什么？

这是我正在编写的代码的精简版本:

import Data.Array

type Dimensions = (Int, Int)
type Position = (Int, Int)
data PipeType = Vertical | Horizontal | UpLeft | UpRight | DownLeft | DownRight deriving (Show)

data PhisicalCell = AirCell
                  | PipeCell PipeType
                  | DeathCell
                  | RecipientCell Object
                  -- deriving (Show) SEE THE PROBLEM BELOW  

data Object = Pipe { pipeType :: PipeType  -- tipo di tubo
                   , position :: Position  -- posizione del tubo
                   , movable  :: Bool      -- se posso muoverlo
                   }
            | Bowl { position   :: Position                 -- posizione dell'angolo in alto a sinistra
                   , dimensions :: Dimensions               -- dimensioni (orizzontale, verticale)
                   , waterMax   :: Int                      -- quanta acqua puo' contenere al massimo
                   , waterStart :: Int                      -- con quanta acqua parte 
                   , hatch      :: Maybe Position           -- un eventuale casella di sbocco
                   , sourceIn   :: [Position]               -- posti da cui l'acqua entra
                   , movable    :: Bool                     -- se posso muoverlo
                   }
            | Death
            deriving (Show)

data Level = Level Dimensions [Object]
type LevelTable = Array Dimensions PhisicalCell

-- HERE IS THE PROBLEM -- 
instance Show PhisicalCell where
show AirCell = " "
show (PipeCell _) = "P"
show DeathCell = "X"
show (RecipientCell _) = "U"

both :: (a -> b) -> (a,a) -> (b,b)
both f (a,b) = (f a, f b)

levelTable :: Level -> LevelTable
levelTable (Level dim _) = initial
  where initial = array ((0,0), both (+1) dim) $
                    [((x,y), AirCell) | x <- [1..fst dim], y <- [1..snd dim] ]
                    ++ [((x,y), DeathCell) | x <- [0..fst dim + 1], y <- [0, snd dim + 1]]
                    ++ [((x,y), DeathCell) | x <- [0, fst dim + 1], y <- [0..snd dim + 1]]

main = print $ levelTable (Level (8,12) []) 

Answer 1

该Show类型的类已经相互引用的默认实现:

class  Show a  where
    -- | Convert a value to a readable 'String'.
    --
    -- 'showsPrec' should satisfy the law
    -- ...
    ...
    showsPrec _ x s = show x ++ s
    show x          = shows x ""
    showList ls   s = showList__ shows ls s

...

shows           :: (Show a) => a -> ShowS
shows           =  showsPrec 0

因此,如果您声明一个Show实例而不定义任何方法

instance Show where

nextNewFunction :: Bla
...

GHC将很乐意编译所有默认值,因此不会有任何错误.但是,只要你尝试使用其中任何一个,你被困在为致命作为你的一个循环Objects......和相互递归终将吹堆栈.

现在,你的代码看起来并不像你有这样一个空的instance Show声明,但实际上你做的是:由于错误的缩进,show你定义的是被认为是一个新的免费顶级函数,只是恰好有了同名GHC.Show.show.你可以添加

show :: PhisicalCell -> String

到你的文件,得到与现在相同的结果.