用户损坏,Data.Binary或破损安装损坏?

时间:2013-09-08 19:34:17

标签: haskell serialization

我正在尝试使用 Data.Binary 来序列化地图,但是我收到了一个错误:没有足够的字节。然后,我尝试使用整数列表来制作一个更简单的示例,此处也不起作用。什么可能是错的?我的代码中是否有错误,我误解了或者我的安装有问题,在这种情况下我该如何解决?

以下是我的测试代码......

import Data.Binary

worldfile = "binarysimple.world"
main = do
  ser <- decodeFileOrFail worldfile
  case ser of
       Right w -> showWorld $ show (w :: [Int]) 
       Left (_,s) -> putStrLn ("the error:"++s) >> newworld

newworld = do
  let world = [1,2,3] :: [Int]
  showWorld $ show world 
  encodeFile worldfile $ encode world

showWorld = putStrLn

...运行时的输出:

ghci binarysimple.hs
GHCi, version 7.6.3: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 1] Compiling Main             ( binarysimple.hs, interpreted )
Ok, modules loaded: Main.
*Main> main
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package binary-0.7.1.0 ... linking ... done.
the error:demandInput: not enough bytes
[1,2,3]
*Main> newworld
[1,2,3]
*Main> main
the error:demandInput: not enough bytes
[1,2,3]
*Main> newworld
[1,2,3]
*Main>
Leaving GHCi.
$ ls -l binarysimple.world
-rw-r--r--  1 btobias  staff  40  8 Sep 21:15 binarysimple.world

我不知道确切的格式,但这可能是合理的输出:

$ hexdump -C binarysimple.world
00000000  00 00 00 00 00 00 00 20  00 00 00 00 00 00 00 03  |....... ........|
00000010  00 00 00 00 00 00 00 01  00 00 00 00 00 00 00 02  |................|
00000020  00 00 00 00 00 00 00 03                           |........|
00000028

1 个答案:

答案 0 :(得分:8)

问题

让我们回顾一下您的想法以及您在做什么。

您认为您正在使用binaryInt的列表进行编码,并将该字节字符串写入文件中。然后,您从文件中读取并解码Int的列表,只是让它失败。

您实际在做的是将Int的列表编码为字节串,然后将该字节串编码为字节串(因此,将额外的长度字段添加到字节之前)并将该字节串写入磁盘。您的解码失败,因为您在磁盘encode(encode(list))上而不是encode(list)

解决方案

只需更改行读数:

encodeFile worldfile $ encode world

encodeFile worldfile world

读取Hexdump

00000000  00 00 00 00 00 00 00 20  00 00 00 00 00 00 00 03  |....... ........|
00000010  00 00 00 00 00 00 00 01  00 00 00 00 00 00 00 02  |................|
00000020  00 00 00 00 00 00 00 03

因此上面的hexdump可以读作一系列64位整数:0x20,3,1,2,3。第一个值,十进制32,是Bytestring编码的一部分,表示长度剩余的字节串(8字节* 4英寸)。第二个值3是列表编码的一部分 - 它表示列表的长度。最终值是列表中的各个元素。

最后,您不需要在线随机人员向您解释格式,您只需从binary包中的实例中读取格式(一旦您熟悉Haskell)。