Question

http://www.ats-lang.org/Documents.html包括“ATS编程简介”，其中包含fileref_get_line_string返回Strptr1的断言（filebas.dats中的一个表示它返回String 1}}来自strptr2string），它包含以下代码：

#include "share/atspre_staload.hats"
#include "share/atspre_staload_libats_ML.hats"

implement main0() = loop() where
  fun loop(): void = let
      val isnot = fileref_isnot_eof(stdin_ref)
    in
    if isnot then let
      val line = fileref_get_line_string(stdin_ref)
      val () = print_string(line)
      val () = strptr_free(line)
    in
      loop()
    end else ()
  end
end

如果包含strptr_free行，则会引发类型错误。如果不包括该行，程序会公然泄漏内存。是否有当前文档或 ATS2 示例显示如何使用fileref_ *单词？什么是上面代码的 ATS2 版本？

Answer 1

fileref_get_line_string有两个版本：一个在prelude / filebas和另一个在libats / ML / filebas中。要获得线性字符串，您需要前者：

#include
"share/atspre_staload.hats"

implement
main0() = loop() where
  fun
  loop(): void = let
    val
    isnot =
    fileref_isnot_eof(stdin_ref)
  in
    if isnot then let
      val line =
      fileref_get_line_string(stdin_ref)
      val () =
      print_strptr(line)
      val () = free(line)
    in
      loop()
    end else ()
  end
end

如何在ATS2中释放字符串？

1 个答案: