跳转到内容

Ada 编程/库/Ada.Strings.Unbounded.Text IO

来自维基教科书,开放书籍,开放世界

Ada. Time-tested, safe and secure.
Ada. 经时间考验,安全可靠。

Ada.字符串.无界.Text_IO 是一个 GNAT 实现定义的包,提供直接在无界字符串上工作的 Get_Line 和 Put_Line 函数。它们比标准 Ada.Text_IO 函数更有效率,也更容易使用。

function Get_Line return Unbounded_String;

function Get_Line (File : Ada.Text_IO.File_Type) return Unbounded_String;

读取到当前行的末尾,并将结果作为适当长度的无界字符串返回。如果不存在 File 参数,则从 Current_Input 输入。

procedure Put      (U    : Unbounded_String); 
procedure Put      (File : Ada.Text_IO.File_Type;  U : Unbounded_String); 
procedure Put_Line (U    : Unbounded_String); 
procedure Put_Line (File : Ada.Text_IO.File_Type;  U : Unbounded_String);

这些等效于传递 To_String (U) 值的标准 Text_IO 例程,但运行效率更高,因为避免了对参数的额外复制。

Ada 2005 中,与该包等效的标准包是 Ada.Text_IO.Unbounded_IO.

另请参阅

[编辑 | 编辑源代码]

维基教科书

[编辑 | 编辑源代码]

外部示例

[编辑源代码]

Ada 参考手册

[编辑 | 编辑源代码]
华夏公益教科书