第10章 输入输出流
最后更新于
最后更新于
不见即不得。
<span title="这句话的原文是“What you see is all you get.”,没找到出处,可见于他的维基百科页面 https://en.wikipedia.org/wiki/Brian_Kernighan ,未见官方翻译,有一个译法是 ,但我理解这里强调的是“某些内容被抛弃”,故按此翻译。"。>—— Brian W.
I/O流程序库为文本和数字值提供带缓冲输入输出,无论这些值是格式化还是未格式化的。
ostream
将带有类型的对象转化成字符(字节)流:
istream
将字符(字节)流转化成带有类型的对象:
这些有关istream
和ostrean
的操作在 §10.2 和 §10.3 叙述。
这些操作是类型安全、大小写敏感的,并且可扩展以便处理用户定义的那些类型(§10.5)。
其它形式的用户交互,例如图形I/O,可利用程序库处理,但它们并非ISO标准的组成部分, 因此在这里不加赘述。
这些流可用于二进制的 I/O,用于多种字符类型,可进行本地化,还可以采用高级缓冲策略, 但这些主题不在本书的讨论范畴之内。
这些流可用于输入进或输出自string
(§10.3),可格式化进string
缓冲(§10.8),
还可以处理文件 I/O(§10.10)。
I/O 流相关的类全都具有析构函数, 这些函数会释放所拥有的全部资源(比如缓冲以及文件执柄)。 也就是说,它们是“资源请求即初始化”(RAII;§5.3)的示例。
I/O流库在<ostream>
中为所有内建类型定义了输出。
此外,为用户定义类型定义输出也不难(§10.5)。
操作符<<
(“输出到”)是指向ostream
类型对象的输出操作符。
默认情况下,写到cout
的那些值会被转化成一个字符流。
例如,要输出十进制数字10
,可以这样写:
这将把字符1
后跟着个字符0
放置到标准输出流中。
还可以写成这样的等价形式:
不同的类型在输出时可以清晰直观的方式组合:
对于h(10)
,将会输出:
输出多个相关内容的时候,人们很快就会不耐烦去反复敲打输出流的名字。 好在,输出表达式的结果可用于后续输出,例如:
h2()
的输出跟h()
一样。
字符常量是由单引号包围的字符。请注意,字符会作为字符输出而非一个数值。例如:
'b'
的整数值是98
(在C++实现所采用的ASCII编码中),因此输出是a98c
。
标准库在<istream>
中提供了istream
用于输入。
与ostream
相似,istream
也处理以字符串形式表现的内建类型,
也不难处理用户定义类型。
操作符>>
(提取自)被用作输入操作符;cin
是标准输入流。>>
的右操作数类型决定了可接受的输入内容和输入对象。例如:
以上操作从标准输入读取一个数字,例如1234
,进入变量i
,
以及一个浮点数,例如12.34e5
,进入双精度浮点数变量d
。
与输出操作相似,输入操作也可以链式进行,因此可以写作等价的:
在以上两例中,整数的读取会被任何非数字字符终止。
默认情况下,>>
会忽略起始的空白字符,因此一个合适的完整输入可以是:
通常,我们需要读取一个字符序列。一个便捷的方式是将其读进一个string
。例如:
如果你输入Eric
,输出将是:
默认情况下,任意空白字符,例如空格或换行,都会终止输入,
因此,如果你假装自己是命运多舛约克之王而输入Eric Bloodaxe
,输出仍会是:
你可以用getline()
函数读取一整行。例如:
借助这段程序,输入的Eric Bloodaxe
就能得到预期的输出:
行尾的换行符被丢弃了,因此cin
就已经准备好接收下一行输入了。
使用格式化的 I/O 操作通常不易出错,高效,也比一个个字符的操作代码量少。
特别是,istream
还会负责内存管理和越界检查。
可以用stringstream
针对内存中的内容进行格式化输入和输出(§10.8)。
标准字符串具有良好的可扩展性,能够保存你放入其中的内容;你无需预计算最大长度。 因此,如果你输入几兆字节的分号,程序就会显示很多页的分号给你。
一个iostream
具有一个状态,可以查询它,以确定某个操作是否成功。
最常见的操作是读取一连串的值:
这段代码从is
中读取,直到遇到非数字的内容。该内容通常会成为输入的结束。
此处的情形是is>>i
操作返回is
的引用,
并检测iostream
是否产生了true
,并为下一个操作做好准备。
通常,I/O状态持有待读取和写入全部信息,例如格式化信息(§10.6),
错误状态(例如,到达 输入的结尾(end-of-input)了吗?),以及所使用缓冲的类型。
另外,用户可以设置这些状态,以表示某个错误的发生(§10.5)
还可以清除该状态,如果它不是严重问题。
例如,可以想象read_ints()
的某个版本接收一个终止字符串:
除了针对内建类型和string
的 I/O,iostream
库还允许程序员为他们自己的类型定义I/O。
例如,考虑一个简单的类型Entry
,可用它表示电话薄的一个条目:
可以定义一个简单的输出操作符,使用 {"name",number} 格式将其打印出来, 该格式与代码中初始化它的时候类似:
用户定义的输出操作符接收输出流(传引用)作为第一个参数,并返回这个流作为结果。
对应的输入操作符相对复杂一些,因为此操作需要检查格式的正确性,并处理错误:
输入操作返回一个指向其istream
的引用,可用于检测操作是否成功。
例如:作为条件使用时,is>>c
表示“是否成功从is
读取一个char
置入了c
?”
is>>c
默认会跳过空白字符,但是is.get(c)
不会,
因此这个Entry
-输入 操作符忽略(跳过)name字符串外的空白字符,
但是不会忽略name中的。例如:
可以这样从输入读取这对值进入一个Entry
:
输出是:
有关在字符流中识别模式的更系统化的技术(正则表达式匹配),请参阅 §9.4。
iostream
库提为控制输入和输出格式化供了大量的控制操作。
最简单的格式化控制叫做 操控符(manipulator) ,
可见于<ios>
、<istrean>
、<ostream>
和<iomanip>
(针对接收参数的操控符)。
例如,可以将整数作为(默认的)十进制、八进制或十六进制数字输出:
可以显式为浮点数设置输出格式:
这将输出:
浮点数的精度是个决定其显示位数的整数:
常规(general) 格式(defaultfloat
)让编译器选择格式去呈现某个值,
以便该格式在可用空间内能最好地展示其值。此精度可指定最大位数。
科学计数法(scientific) 格式以小数点前一位数字和一个幂呈现某个值。 此精度可指定小数点后数字的最大位数。
固定(fixed) 格式以整数部分后跟一个小数点再跟小数部分呈现某个值, 此精度可指定小数点后数字的最大位数。
浮点数会被四舍五入而不是截断,precision()
不会影响整数的输出。例如:
这将输出:
这些浮点数操控符是“有粘性的(sticky)”; 就是说,它们的效果会对后续浮点数操作都生效。
在<fstream>
中,标准库提供了针对文件的输入和输出:
ifstream
用于从一个文件进行读取
ofstream
用于向一个文件进行写入
fstream
用于对一个文件进行读取和写入
例如:
测试一个文件流是否正确打开,通常要检测其状态。
假设这些测试都成功了,那么ofs
可以像普通ostream
(类似cout
)那样使用,ifs
可以像普通istream
(类似cin
)那样使用。
文件定位,以及更详尽的文件打开控制都行得通,但这些不在本书的范畴里。 对于文件名和文件系统的操作,请参阅 §10.10。
在<sstream>
中,标准库提供了针对string
的写入和读出的操作:
istringstream
用于从一个string
进行读取
ostringstream
用于向一个string
进行写入
stringstream
用于对一个string
进行读取和写入。
例如:
ostringstream
的结果可以通过str()
进行读取。ostringstream
的用法通常是在把结果交给GUI之前进行格式化。
类似地,从GUI接收的字符串可置于istringstream
中进行格式化读取(§10.3)。
stringstream
即可用于读取也可用于输出。例如,可以定义一个操作,
对于任何可呈现为string
的类型,将其转换为另一个可呈现为string
的类型:
只有在无法被推断出或者没有默认值的情况下,模板参数才需要显式指定,所以可以这样写:
如果所有函数模板参数都有默认值,<>
可以省略。
我认为这是个有关借助语言特性和标准库构件达成通用性和易用性的好例子。
C++标准库也支持C标准库的I/O,包括printf()
和scanf()
。
以特定的安全视角来看,大量应用这个库是不安全的,因此我不推荐用它们。
特别是,它们在输入的安全和便利性方面荆棘密布。
它们还不支持用户定义类型。
如果你 不 使用C风格I/O并且对I/O的性能锱铢必较,就调用:
没有这个调用,iostream
会为了兼容C风格I/O而被显著拖慢。
多数系统都有一个 文件系统(file system) 的概念,
以 文件(file) 的形式对持久化的信息提供访问。
很不幸,文件系统的属性和操作它们的方式五花八门。
为应对这个问题,<filesystem>
中的文件系统库为多数文件系统的多数构件提供了统一的接口。
借助<filesystem>
,我们能够可移植地:
表示文件系统路径并在其中漫游
检查文件类型以及与之关联的权限
文件系统库可以处理 unicode,但其实现方式的解释则不在本书范畴内。 有关更详尽的信息,我推荐 cppreference[Cppreference] 和 Boost文件系统文档[Boost]。
考虑一个例子:
注意,操作文件系统的程序通常跟其它程序运行在同一台电脑上。
因此,文件系统的内容可能在两条命令之间发生变化。
例如,尽管我们事先精心地确保了f
存在,但是在运行到下一行,
当我们询问f
是否为普通文件的时候它可能就没了。
path
是个相当复杂的类,足以处理本地字符集以及大量操作系统的习惯。
特别是,它能处理来自命令行的文件名,就像示例中main()
展示的那样:
在使用之前,path
不会检测有效性。
就算到使用的时候,其有效性也取决于该程序所运行系统的习惯。
显而易见,path
可用来打开一个文件
除了path
,<filesystem>
还提供了用于遍历目录以及查询文件属性的类型:
文件系统中的类型(部分)
path
目录路径
filesystem_error
文件系统异常
directory_entry
目录入口
directory_iterator
用于遍历一个目录
recursive_directory_iterator
用于遍历一个目录和其子目录
考虑一个简单但不失真实性的例子:
字符串可以隐式地转换成path
,因此可以这样运用print_directory
:
如果我也想列出子目录,应该用recursive_directory_iterator{p}
。
如果我想以字典序列出条目,就该把这些path
复制到一个vector
中并排序后输出。
path
类提供很多常见且有用的操作:
路径操作(部分)
p
和p2
都是path
value_type
本地系统用于文件系统编码的字符类型:
POSIX上是char
,Windows上是wchar_t
string_type
std::basic_string<value_type>
const_iterator
value_type
为path
的const
BidirectionalIterator
iterator
const_iterator
的别名
p=p2
把p2
赋值给p
p/=p2
把p
和p2
用文件名分隔符(默认是/)连接
p+p2
把p
和p2
连接(无分隔符)
p.native()
p
的本地系统格式
p.string()
p
以其所在的本地系统格式表示的string
p.generic_string()
p
以通用格式表示的string
p.filename()
p
的文件名部分
p.stem()
p
的主干部分(不带扩展名的文件名——译注)
p.extension()
p
的文件扩展名部分
p.begin()
p
的元素序列的起始
p.end()
p
的元素序列的终止
p==p2
,p!=p2
p
和p2
的相等、不等性判定
p<p2
,p<=p2
,p>p2
,p>=p2
字典序比对
is>>p
,os<<p
进入/取出p
的流I/O操作
u8path(s)
以UTF-8编码的源字符串s
构造一个路径
例如:
我们把path
当作一个字符串(即:f.extension)使用,
还可以从path
中提取各种类型的字符串(即:f.extension().string())。
请当心,命名习惯、自然语言以及字符串编码的复杂度非常高。 文件系统库的抽象提供了可移植性与极大的简化。
文件系统操作(部分)
p
,p1
和p2
都是path
;e
是个error_code
;b
是个标志成功或失败的布尔值
exists(p)
p
指向的文件系统对象是否存在?
copy(p1,p2)
把p1
的文件或目录复制到p2
;将错误以异常形式报告
copy(p1,p2,e)
复制的文件或目录;将错误以错误码形式报告
b=copy_file(p1,p2)
把p1
的文件内容复制到p2
;将错误以异常形式报告
b=create_directory(p)
创建名为p
的新目录;通向p
的中间目录必须存在
b=create_directories(p)
创建名为p
的新目录;通向p
的中间目录一并创建
p=current_path()
p
是当前工作目录
current_path(p)
让p
成为当前工作目录
s=file_size(p)
s
是p
的字节数
b=remove(p)
如果p
是个文件或空目录,移除它
许多操作都有接收额外参数的重载,例如操作系统权限。 这类操作大大超出了本书的范畴,所以在需要用它的时候去搜索吧。
像copy()
一样,所有的操作都有两个版本:
像表中列出那样的基础版本,即exists(p)
。
如果操作失败,函数将抛出filesystem_error
。
带有额外error_code
参数的版本,即exists(p,e)
。检测e
查看操作是否成功。
如果在常规使用中预期会频繁失败,请使用错误码, 如果出错是异常状况,就请使用抛出异常的操作。
通常,使用查询函数是检查文件属性最简单、最直接的方式。<filesystem>
库略知几个常见的文件类型,并将其余的归类为“其它”:
文件类型
f
是个path
或者file_status
is_block_file(f)
f
是个块设备吗?
is_character_file(f)
f
是个字符设备吗?
is_directory(f)
f
是个目录吗?
is_empty(f)
f
是个空的文件或目录吗?
is_fifo(f)
f
是个命名管道吗?
is_other(f)
f
是其他类型的文件吗?
is_regular_file(f)
f
是个常规(普通)文件吗?
is_socket(f)
f
是个命名的IPC socket 吗?
is_symlink(f)
f
是个符号链接吗?
status_known(f)
f
的文件状态已知吗?
[1] iostream
是类型安全、大小写敏感并可扩展的;§10.1。
[2] 只在不得不的时候再用字节级别的输入;§10.3; [CG: SL.io.1]。
[3] 在读取的时候,永远该考虑格式有问题的输入;§10.3; [CG: SL.io.2]。
[4] 避免使用endl
(如果你不知道什么是endl
,你没漏读任何内容);[CG: SL.io.50]。
[5] 对于用户定义类型,如果其值是有意义文本形式,
请给它定义<<
和>>
;§10.1;§10.2;§10.3。
[6] 用cout
输出常规内容,cerr
输出错误信息;§10.1。
[7] 针对普通字符和宽字符,有不同的iostream
,
你还可以为任意字符类型定义iostream
;§10.1。
[8] 二进制 I/O 是受支持的;§10.1。
[9] 对标准 I/O 流有标准的iostream
,
文件和string
也都有对应的标准流;§10.2;§10.3;§10.7;§10.8。
[10] 为简明的符号使用链式 <<
;§10.2。
[11] 为简明的符号使用链式 >>
;§10.3。
[12] 往string
里输入不会导致溢出;§10.3。
[13] 默认情况下,>>
会跳过起始的空白字符;§10.3。
[14] 对于可能恢复处理的I/O错误,使用流状态fail
去处理;§10.4。
[15] 可以为你自定义的类型定义<<
和>>
操作符;§10.5。
[16] 不需要为新添加的<<
和>>
修改istream
和ostream
;§10.5。
[17] 使用操控符去控制格式化;§10.6。
[18] precision()
规格会被应用到其后所有的浮点数输出操作;§10.6。
[19] 浮点数格式化规格(即scientific
)
会被应用到其后所有的浮点数输出操作;§10.6。
[20] 需要使用标准操控符时就#include <ios>
;§10.6。
[21] 需要使用带参数的标准操控符时就#include <iomanip>
;§10.6。
[22] 别尝试去复制文件流。
[23] 在使用前,请记得检查文件流确定关联到了某个文件;§10.7。
[24] 对内存中的格式化,请使用stringstream
;§10.8。
[25] 可以在任何具有字符串表示的两个类型之间定义转换操作;§10.8。
[26] C-风格的I/O操作不是类型安全的;§10.9。
[27] 除非你需要 printf 相关的函数,否则应该调用ios_base::sync_with_stdio(false)
;§10.9; [CG: SL.io.10]。
[28] 使用<filesystem>
而非特定操作系统的接口;§10.10。