Question

我在Haskell写一个聊天服务器。我的可执行文件包含以下代码：

data Client = Client {idx :: Int, hClient :: Handle} deriving (Show, Eq)

tellClient :: String -> Client -> IO ()
tellClient = flip $ hPutStrLn . hClient

askClient :: Client -> IO (String)
askClient = hGetLine . hClient

我希望能够用来编写和读取文件。我正在用HSpec编写针对此代码的测试。我有以下函数来构建临时Client对象（依赖于“临时”）库：

withTempClient :: Int -> (Client -> IO a) -> IO a
withTempClient cIdx f = withTempFile "tests/generated" "clientFile.tmp" axn
  where axn _ handle = f $ Client cIdx handle

我用它来测试上面的代码如下：

main = hspec $  do
  describe "client IO" $ do
    it "can ask and tell" $ withTempClient 1 $ \c -> do
      tellClient "hello" c
      hFlush $ hClient c
      askClient c `shouldReturn` "hello"

但是测试失败并出现以下错误：

   uncaught exception: IOException of type EOF (test/generated
   /clientFile11587.tmp: hGetLine: end of file)

我想也许我在withTempClient做错了，所以我添加了以下测试用例：

it "opens a handle corectly" $ withTempClient 1 $ \(Client _ h) -> do
  hIsOpen h `shouldReturn` True
  hIsWritable h `shouldReturn` True

但是过去了，所以我不确定问题是什么。我错过了什么？

Answer 1

当您写入文件时，操作系统会跟踪您在该文件中的位置。您收到EOF错误，因为您在文件的末尾（开头是空的，而您在当前位置之前写的所有内容都是）。

要解决此问题，您需要使用hSeek在文件开头重新定位自己，如下所示：

hSeek (hClient c) AbsoluteSeek 0

有关寻求的更多细节，参见这一点real world haskell。

无法写入句柄

1 个答案: