如何将Ada.Real_TIme.Time转换为字符串？

我想在文件中写一个Ada.Real_Time.Time，如何将Ada.Real_TIme.Time转换为字符串？

我该怎么做？

谢谢

来源

2010-05-31 Natim

Copyedit并添加链接;如果不正确请回复。 – trashgod 2010-05-31 23:42:27

包Ada.Real_time不提供直接格式的方法。

我建议你看看Ada.Calendar.Formatting。你有一个像Ada.Real_time类似的方法。的确，有一个方法Image（parameters：Time），它返回一个String。

详情：Package: Ada.Calendar.Formatting

来源

2010-05-31 19:01:41 Lialon

最后，我们使用了Ada.Calendar.Formatting而不是'Ada.Real_Time.Clock' – Natim 2010-06-01 07:49:35

调用Ada.Real_Time.Split（）函数，其中一个时间转换为SECONDS_COUNT和Time_Span。 Seconds_Count值是历元以来经过的秒数，Time_Span值是最后一秒之后（非常小）的Time_Units的数量。详情请参阅D.8 Monotonic Time（29）。

Seconds_Count在包中是公开可见的，Time_Span可以通过To_Duration（）转换为持续时间。

请注意，您可以反转该过程并使用Time_Of（）重构Time值。

来源

2010-05-31 20:19:49

可以使用Ada.Real_Time.Split到Ada.Real_Time.Time成转换（a）中，因为时代，类型Ada.Real_Time.Seconds_Count和（b）的小数部分，类型（私人）Ada.Real_Time.Time_Span的秒数;您可以使用Ada.Real_Time.To_Duration将小数部分转换为Duration。

然后，您可以使用Ada.Real_Time.Seconds_Count'Image和Duration'Image转换为String。

但是你想要什么字符串？如果要在一次运行中发生事件时进行比较，那么很好，但在语言定义中没有什么可以说明这个时代是什么时候的;例如，它可能是电脑上次启动的时间。

来源

2010-05-31 20:31:17

如果你不需要它为可读文本，但只是希望它保存到一个文件，你可以尝试使用流输出属性（'Write）

来源

2010-06-01 05:46:50

如何将Ada.Real_TIme.Time转换为字符串？

回答

相关问题