C++的IO流与STL的空间配置器详解

C++的IO流

聊到C++的输入输出，cin和cout这对黄金搭档肯定是绕不开的。它们的运作机制，其实可以想象成数据和设备之间的“流动”：cin >>，就像数据从输入设备（比如键盘）流进变量里；而cout <<，则是变量里的数据反向流到输出设备（比如屏幕）。这个“流”的比喻，是不是很形象？

istream/ostream

说白了，cin是标准库里一个istream类型的全局对象，cout则是一个ostream类型的全局对象。有意思的是，iostream这个类同时继承了istream和ostream，所以用它实例化的对象，天生就能输入又能输出。

我们写的cin >> x和cout << x，本质上就是在调用它们各自的operator>>()和operator<<()方法。就像这样：

int x;
cin >> x;
cin.operator>>(x);// 跟上面这行完全等价
cout << x;
cout.operator<<(x);// 也完全等价

为什么用cin和cout不用像C语言里的scanf和printf那样手动指定类型？秘密就在这里：cin的>>和cout的<<，对C++里的每一种内置类型都做好了重载，编译器会自动匹配，省心不少。

int x;
while(cin >> x)
{
    //
}

像上面这段代码，能保证有数据输入时就一直在循环里处理，直到你输入Ctrl + Z（EOF标志）才跳出。这背后的功臣，是istream类重载了一个叫operator bool的方法。它允许流对象在布尔上下文中自动转换为bool值，cin >> x这个表达式返回的本该是istream&类型，但因为有了这个转换，才能被while当作判断条件。

ifstream/ofstream

想把数据存到文件里，或者从文件里读出来，就得靠ifstream和ofstream这对兄弟了。ifstream只管读，ofstream只管写。如果你需要读写兼顾，直接用fstream就行。

// 默认模式是 out，即以输出模式打开文件
ofstream ofs("text.log"/*,ios::out*/);// 相当于 C 的 fopen("text.log","w");
ofs << "eee";// 写入字符串
ofs.close();// 别忘了关闭文件

// 默认模式是 in，即以输入模式打开文件
string str;
ifstream ifs("text.log"/*,ios::in*/);// 相当于 C 的 fopen("text.log","r");
ifs >> str;// 从文件读取到 str
cout << str;

如果不想在构造函数里就指定文件，也可以等一等，后面再用open()方法来打开：

ofs.open("text.log"/*,ios::out*/);
ifs.open("text.log"/*,ios::in*/);

这里有个关键点：ofstream的<<写进去的是文本。比如你写ofs << 123，文件里存的是字符'1'、'2'、'3'的ASCII码。而ofstream的write()方法则是写入二进制数据，比如ofs.write(123)，写入的就是整型123在内存里的4字节二进制值（小端序，即 0x7B 0x00 0x00 0x00）。

反过来也一样，ifstream的>>只能读文本。要是当初用二进制写入，读取时也得用二进制，这时就得用read()方法，而且在打开文件时必须指定模式ios::binary，明确告诉系统“我是以二进制方式打开”。

ifstream/ofstream的>>/<<用法有一个很实在的好处：当你想把数字型数据转成字符串格式写进文件时，不用再费事去调用tostring()之类的函数了，它直接帮你搞定。

info student("张三",20);
ofstream ofs("text.log");
ofs << student._name << endl;
ofs << student._age << endl;// 数字直接写进去，不用再转成字符串
ofs.close();

info s;
ifstream ifs("text.log");
ifs >> s._name;
ifs >> s._age;
cout << s._name << ' ' << s._age << endl;

再补充一点：fstream继承自iostream，而iostream又继承了ifstream和ofstream。所以用fstream创建的对象，天然就可读可写。

istringstream/ostringstream

这两个类专门用来在字符串和数据之间做转换。istringstream可以从字符串中读取数据，是输入流，适合做字符串解析和类型转换；ostringstream则向字符串里写入数据，是输出流，适合做格式化拼接和类型转换。

想把不同类型的数据都拼成一个字符串？用ostringstream。想把一个字符串拆回不同的基本类型？用istringstream。

// 序列化（把数据变成字符串）
info student("张三",20);
ostringstream ost;
ost << student._name << endl;
ost << student._age << endl;

// 反序列化（从字符串恢复数据）
info st;
istringstream ist;
ist.str(ost.str());// 把序列化后的字符串喂给 istringstream
ist >> st._name >> st._age;
cout << st._name << ' ' << st._age << endl;

stringstream继承自iostream，而iostream又继承了istringstream和ostringstream，所以stringstream是个双向流，既能解析又能拼接，在网络通信中常用于字符串的拼接与解析，非常方便。

空间配置器

STL的空间配置器，简单理解就是一个内存池。它的任务是为各种容器分配内存，核心目标是避免频繁向系统申请内存带来巨大的效率开销。这本质上是一种典型的空间换时间策略——池化技术最大的代价就是不用的时候也占着资源。空间配置器分为一级和二级两种。

一级空间配置器

一级空间配置器说白了就是对malloc和free的一层封装，并加上了分配失败时抛异常的机制。当malloc失败时，它会先检查使用者有没有设置失败处理函数（一个函数指针），有的话就执行；没有的话，就抛异常。默认情况下，这个函数指针是空的，所以跟operator new的行为基本一致：失败就抛异常。

一个重要的分界线：要申请超过128字节的内存块时，会优先使用一级空间配置器。如果内存需求在128字节以内，则交给二级空间配置器处理。

二级空间配置器

二级空间配置器，就是那个真正的内存池了。

当容器需要内存时，内存池直接划出一块给它。但问题来了：容器用完归还的时候，不能零散地释放这一小块，必须整块归还，能申请多大就得还多大。为了管理这些已归还的空闲小块内存，二级空间配置器引入了哈希桶（开散列）结构。

哈希桶的索引以8字节为间隔，从8字节一直排到128字节。当容器归还内存时，会根据内存块的大小，把它挂在对应索引的桶下面。之后如果有新容器来申请内存，会先在哈希桶里找找看有没有现成的、大小匹配的空闲内存块。

如果哈希桶里没有现成的，需要从内存池里新申请内存时，它也不会只抠出用户要的那个字节数，而是直接切出20个该对象的所需内存，把1个返回给容器，剩下的19个全部挂到哈希桶下面，以备后用。

因为容器常申请的都是小块内存，二级空间配置器正是为解决这个痛点而生的。通过这种批量预分配的策略，它显著减少了向系统申请内存（系统调用）的频率，从而在频繁申请小块内存的场景下大幅提升性能。

一个进程里只有一个空间配置器实例，进程中所有容器需要内存时，都得找它申请。

内存碎片问题

内碎片

在二级空间配置器里，如果你申请的不是8字节的整数倍，它会自动向上对齐到8字节的整数倍。这样一来，用来对齐的那几个字节就白白浪费了，这就是内碎片问题。

外碎片

在堆上反复申请和释放多个小块内存后，即便归还了一些空间，它们也可能不是连续的。

图上紫色的区域表示已释放。假设现在需要申请48字节，即使之前释放的两块内存加起来有48字节，但因为是不连续的，所以不能用它们来分配。这就是外碎片问题。正是为了解决这个问题，才专门为STL容器（它们总是申请小块内存）设计了空间配置器来统一管理内存。

话说回来，操作系统内核里也有一个叫做slab分配器的机制来应对小块内存的碎片化问题，它的结构跟二级空间配置器很相似。那为什么STL不直接用它，还要自己搞一套？

• 内核的分配器是为系统中所有程序服务的，每个程序都去内核申请内存，开销非常大。
• STL容器的需求非常集中，全部是小块内存，且大小规整。自己量身定做一个分配器，效率反而更高，顺便也把外碎片问题解决了（当然，内碎片问题依然存在）。