文件和 IO 流

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

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