haskell - 损坏的用户、损坏的 Data.Binary 或损坏的安装？

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

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

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

最佳答案

问题

让我们回顾一下您认为自己在做什么以及正在做什么。

您认为您正在使用 binary 对 Int 列表进行编码并将该字节串写入文件。然后，您从文件中读取并解码 Int 的列表，但结果却失败了。

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

解决方案

只需更改行阅读:

encodeFile worldfile $ encode world

至

encodeFile worldfile 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

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

最后，你不需要一些随机的人在网上给你解释格式，你可以从 binary 包中的实例中读取格式(一旦你对 Haskell 足够熟悉)。

关于haskell - 损坏的用户、损坏的 Data.Binary 或损坏的安装？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/18687816/