Ada:重定向到 stdout 时省略换行符(测试 Put)

Question

我正在尝试为具有简单Ada.Text_IO.Put的方法编写测试。为了简单起见，这是一个我想测试的虚构方法：

procedure Say_Something is
begin
   Put("Something.");
end Say_Something;

在我的AUnit测试中，我有：

procedure Test_Put (T : in out Test) is
   pragma Unreferenced (T);
   use Ada.Text_IO;
   Stdout : constant File_Type := Standard_Output;
   Put_File_Name : constant String := "say_something_test.txt";
   Put_File : File_Type;
   Expected : constant String := "Something.";
begin
   --  Create the output file and redirect output
   Create (Put_File, Append_File, Put_File_Name);
   Set_Output (Put_File);
   Say_Something;
   --  Redirect output to stdout and close the file
   Set_Output (Stdout);
   Close (Put_File);
   --  Read file
   declare
      File_Size : constant Natural :=
         Natural (Ada.Directories.Size (Put_File_Name));
         Actual : String (1 .. File_Size);
   begin
      Actual := Read_File (Put_File_Name, File_Size);
      Ada.Directories.Delete_File (Put_File_Name);
      Assert (Expected = Actual,
              "Expected " & '"' & Expected & '"' & ", " &
              "Got "      & '"' & Actual   & '"');
   end;
end Test_Put;
function Read_File (File_Name : String; File_Size : Natural)
   return String is
   subtype File_String is String (1 .. File_Size);
   package File_String_IO is new Ada.Direct_IO (File_String);
   File : File_String_IO.File_Type;
   Contents : File_String;
begin
   File_String_IO.Open (File, File_String_IO.In_File, File_Name);
   File_String_IO.Read (File, Contents);
   File_String_IO.Close (File);
   return Contents;
end Read_File;

不幸的是，结果是：

FAIL Test Vectors.Put
    Expected "Something.", Got "Something.
"

Ada 似乎会自动在文件末尾添加一个换行符。我意识到我可以像这样将 （CR）LF 添加到我的预期字符串中：

Expected : constant String := "Something.";
   & Ada.Characters.Latin_1.CR
   & Ada.Characters.Latin_1.LF;

但一）改变我预期的字符串感觉不对，b）这将在Windows机器上运行，但在Unix/Linux/Mac上，我将不得不删除"CR"。换句话说，我的测试运行的成功取决于平台，而我的代码则不然，这很糟糕。

所以我的问题是：如何在不附加换行符的情况下写入文件？关于如何测试输出的其他建议也非常受欢迎。

我已经看到了这个相关的问题，但无法从中推断出任何有用的信息，除了我可能会尝试Append_File而不是Out_File模式，这并没有解决我的问题。

Answer 1

对不起，我之前的回答，我错过了您正在阅读的文件是您之前在程序中创建的文件。

在Ada.Text_IO中，RM （A.10（7-8）） 说"文件的末尾由行终止符紧跟页面终止符和文件终止符的组合标记"，并且"终止符的实际性质不是由语言定义的，因此取决于实现"......"它们不一定作为字符或字符序列实现"。 因此，当您创建say_something_test.txt时，它将始终以"行终止符"结尾，尽管这并不一定意味着它将以LF结尾。 这取决于实现。 您唯一可以保证的是，如果您使用 Ada.Text_IO 创建文件，如果您使用 Ada.Text_IO 将其读回，它将正常工作。 但是，如果您希望对写入文件的实际字节进行这种级别的控制，那么Ada.Text_IO实际上并不合适;你最好使用Ada.Stream_IO.

CR 和/或 LF 是否写入文件末尾取决于实现。 看起来 GNAT 确实在末尾添加了 LF（也许还有 CR），并且它没有提供关闭此行为的方法（例如Form参数）。 至少我在手册中没有看到一个。

如果您真的决定使用 Ada.Text_IO 来写入say_something_test.txt并Ada.Direct_IO将其读回，那么您需要注意该文件可能包含也可能不包含 CR/LF，输入例程应检查这些字符并将其剥离，以便可以将字符串与预期值进行比较。

Answer 2

您正在使用Text_IO作为输出，但在重新读取时Direct_IO。你不应该像那样混合它们，因为它们做不同的事情。在您的简单示例中，所有输出都是测试，因此我建议您在测试中也使用 Text_IO 将其读回。