文件和 IO 流

Ada 标准库提供传统文本或二进制数据文件的 I / O,以及流式文件的 I / O. 二进制数据的文件将是一种类型的值的序列,而流文件可以是可能不同类型的值的序列。

为了从/向流文件读取和写入不同类型的元素,Ada 使用由类型属性表示的子程序,即'Read'Write'Input'Output。除了 Read'Write 将执行的裸输入和输出之外,后两者将读写数组边界,记录判别式和类型标记。