3
A
回答
3
如果你在Unix下,你可以使用
val Unix.truncate : string -> int -> unit
它「runcates命名的文件給定大小」。 但是這個函數沒有在OCaml的Windows版本中實現(或者更確切地說,它不是被仿真的)。
如果你是在Windows下,想模仿它,你可能會感興趣的
val really_input : in_channel -> string -> int -> int -> unit
「really_input ic buf pos len
讀取通道ic
len
字符,將它們存儲在字符串buf
,起始於字符數pos
。提高End_of_file
如果在讀取len
個字符之前達到文件結尾,則提高Invalid_argument "really_input"
如果pos
和len
未指定buf
的有效子字符串。
2
我認爲你是正確的。 open_trunc - 打開指定的文件進行寫入,並返回在該文件上一個新的輸出通道,在該文件的開頭positionned。如果該文件已存在,則該文件被截斷爲零。如果它尚不存在,則創建它。如果文件無法打開,請提起Sys_error。
請參閱此鏈接also。
2
操作系統Pervasives的能力大致相當於你可以在標準下做有沒有函數來截斷文件,以在標準的C指定長度,所有你能做的就是截斷一個文件,當你打開是空的它(通過Open_trunc
標誌暴露)。有一個在unix/POSIX(truncate
),所以尋找它在Unix
module,裏面確實有一個truncate
功能(或ftruncate
一個打開的文件,再下面Unix/POSIX)。
相關問題
- 1. 在Bash中截斷文件
- 2. Erlang文件截斷
- 3. Windows Phone - C# - 在IsolatedStorage中截斷文件
- 4. 截斷文件並在Python中登錄
- 5. 如何在Visual C++中截斷文件?
- 6. FindExecutable在C++中截斷文件名
- 7. 在TTStyledTextLabel中截斷文本
- 8. 在d3中截斷文本
- 9. 在PHP中截斷文本?
- 10. 停止截斷Java文件?
- 11. ResXResourceWriter截斷文件結尾
- 12. 截斷vim撤銷文件
- 13. XmlDocument.WriteTo截斷結果文件
- 14. Javascript文件被截斷
- 15. 瞭解文件截斷
- 16. 截斷DBX核心文件?
- 17. C#截斷CSV文件#
- 18. HDFS和截斷文件
- 19. Joomla Mootools文件被截斷
- 20. objdump的 - 文件截斷
- 21. linux cron截斷大文件
- 22. c#日誌文件截斷
- 23. 截斷Java類文件
- 24. Subwcrev.exe截斷版本文件
- 25. DBF文件名截斷
- 26. master.info文件不斷被截斷
- 27. 截斷文本,但不截斷HTML
- 28. 截斷文本
- 29. PHP回聲gzipped文件中途截斷
- 30. 從文件名中截斷字符串