Haskell：hSetFileSize：無効な引数（無効な引数）

Question

私のプログラムで何が問題になっているのか、何かが助けてくれますか？

hSetFileSize：私は、次のプログラムを実行しようとしたとき、私は、次のエラーメッセージ取得しています無効な引数（無効な引数）あなたは読み取り専用でファイルを開いている

import System.IO 

main = do 
    putStrLn "Enter file name (Including full path) to read" 
    fileName <- getLine 

    handle <- openFile fileName ReadMode 
    sizeBeforeTrunc <- hFileSize handle 
    content <- readFile fileName 

    putStrLn $ "Size of the file Before truncation is " ++ (show sizeBeforeTrunc) ++ " bytes" 
    putStrLn $ "Content of the file is " ++ content 

    putStrLn "**************************************" 
    let n = sizeBeforeTrunc `div` 2 
    putStrLn $ "Truncating file to " ++ (show n) ++ " bytes" 

    info1 <- hSetFileSize handle (toInteger 10) 
    putStrLn $ show info1 
    sizeAfterTrunc <- hFileSize handle 

    putStrLn $ "Size of the file After truncation is " ++ (show sizeAfterTrunc) ++ " bytes" 
    putStrLn $ "Content of the file is " ++ content   

    hClose handle 

Answer 1

を。切り捨ては書き込み操作です。あなたの代わりに何ができるか

は

main = do 
    putStrLn "Enter file name (Including full path) to read" 
    fileName <- getLine 

    sizeBeforeTrunc <- withFile fileName ReadMode $ \h -> do 
     sizeBeforeTrunc <- hFileSize h 
     content <- hGetContents h 

     putStrLn $ "Size of the file Before truncation is " ++ (show sizeBeforeTrunc) ++ " bytes" 
     putStrLn $ "Content of the file is " ++ content 

    putStrLn "**************************************" 
    let n = sizeBeforeTrunc `div` 2 
    putStrLn $ "Truncating file to " ++ (show n) ++ " bytes" 

    sizeAfterTrunc <- withFile fileName WriteMode $ \h -> do  
     info1 <- hSetFileSize h (toInteger 10) 
     putStrLn $ show info1 
     hFileSize h 

    putStrLn $ "Size of the file After truncation is " ++ (show sizeAfterTrunc) ++ " bytes" 
    putStrLn $ "Content of the file is " ++ content    

Answer 2

^{のようなものです。注：この答えは文芸Haskellで書かれています。 .lhsで保存し、GHCiで試してみるかコンパイルしてください。}

> import System.IO 

ファイルの変更は読み取り専用ではありません。あなたは書き込みのためにファイルを開く必要があります。しかし、これは問題につながります。なぜなら、1人のライターか複数のリーダーしかいないからです。 readFileを使用してファイルを開くので、オープンモードを変更することはできません。

コードをリファクタリングすると簡単になります。私たちは即座に、あなたが繰り返さない、つまりサイズを取得し、内容を伝えるという2つの違反を見ることができます。それでは、これを修正しましょう：

> putAndCount :: FileName -> String -> IO Int 
> putAndCount fn msg = withFile fn ReadMode $ \handle -> do 
>  size <- hFileSize handle 
>  content <- hGetContents handle 
>  putStrLn $ "Size of the file " ++ msg ++ " is " ++ show size ++ " bytes" 
>  putStrLn $ "Content of the file is " ++ content 
>  return size 

withFileは、私たちのハンドルが閉じられ、さらにアクションをネジ止めすることができないことを確認します。今度は、ハンドルを使用せずに、ファイルのサイズを変更するには、別の関数を書いてみましょう：

> setFileSize :: FileName -> Integer -> IO() 
> setFileSize fn s = withFile fn ReadWriteMode $ \handle -> 
>  hSetFileSize handle s 

WriteModeがゼロバイトにファイルが切り捨てられますので、それは、ここReadWriteModeとないWriteModeを使用することが重要です！ところで、Cのfopenと同じ動作です。 readFileのfileName`は、GHCのランタイムは、いずれか一方のみができますので、 - <のOpenFile fileNameにWriteMode`はコンテンツ `でエラーにつながる`使用：

> main :: IO() 
> main = do 
>  putStrLn "Enter file name (Including full path) to read" 
>  fileName <- getLine 
> 
>  sizeBeforeTrunc <- putAndCount fileName "Before truncation"  
>  putStrLn "**************************************" 
> 
>  let n = sizeBeforeTrunc `div` 2 
>  putStrLn $ "Truncating file to " ++ (show n) ++ " bytes"  
>  setFileSize fileName n 
>  putAndCount fileName "After truncation"