C++23 标准库新增了一个轻量级内存流组件：spanstream。它与传统的 stringstream 最大的不同在于，spanstream 不负责分配和管理底层缓冲区，而是直接在一个已有的 std::span 所指向的内存区域上进行输入输出操作。简单来说，stringstream 是“把数据搬进自己的缓冲区再处理”，而 spanstream 是“就在你给的内存上处理”。这个设计让 spanstream 特别适合网络协议解析、日志格式化、反序列化文本数据等需要减少内存分配的场景。

为什么需要 spanstream：从 stringstream 的拷贝说起

很长一段时间里，C++ 开发者想对内存中的文本做流式操作，首选都是 std::stringstream。它可以像 std::cin 一样用 operator>> 提取数据，也可以像 std::cout 一样用 operator<< 写入数据，还支持格式化状态位和异常处理，用起来很顺手。但 stringstream 有一个明显的代价：它内部维护一个 std::string 缓冲区，写入时数据会复制到该字符串中，读取时如果要拿到结果，通常还需要通过 str() 再复制一次。对于偶尔使用的工具类功能来说，这点开销不算什么，但如果你的程序需要每秒处理几十万条消息，每一微秒的复制和分配都可能成为瓶颈。

另一个更尴尬的问题是：如果数据已经存在于某块内存中，例如网络库把一个完整的数据报放进了一个 std::array<char, 2048> 或者 std::vector<char>，你想用流的方式解析其中的文本协议，stringstream 必须先把这些数据拷贝到自己的内部缓冲区里，解析完再丢弃。这相当于多了一次无意义的全量复制。C++20 引入了 std::span 来统一表示连续内存的视图，而 C++23 则进一步提供了基于 span 的流类型，让流操作可以直接建立在已有缓冲区之上。

spanstream 系列类型包括 std::ispanstream（只读输入）、std::ospanstream（只写输出）和 std::spanstream（可读可写）。它们底层共用 std::basic_spanbuf，这个缓冲区类不拥有任何内存，只保存一个 span 以及读写位置。写入操作不会触发动态内存分配，读取操作不会产生数据副本。因此，当你已经有一块现成缓冲区时，spanstream 可以减少从数据到流再到数据之间的多次搬运。

构造与读写：spanstream 基本操作

要使用 spanstream，需要包含 <spanstream> 和 <span>。构造一个输出流时，传入一个可写的 std::span<char>，之后写入的内容会直接进入该 span 覆盖的内存。下面是一个简单的写入示例，将格式化数据写到一个栈上的 std::array 中：

#include <iostream>
#include <spanstream>
#include <span>
#include <array>
int main() {
    std::array<char, 64> buffer{};
    std::span<char> buf_span{buffer};
    std::ospanstream os{buf_span};
    os << "value=" << 42 << " " << 3.14;
    std::cout << "写入后的缓冲区: ";
    for (char c : buffer) {
        if (c == '\0') break;
        std::cout << c;
    }
    std::cout << '\n';
}

这段代码先准备了一个 64 字节的数组，并用 std::span 把它包起来。std::ospanstream 构造后，后续的 operator<< 会依次把字符写入 buffer。由于 buffer 被初始化为全零，我们可以安全地用 C 风格字符串的方式打印，直到遇到第一个空字符。需要注意的是，ospanstream 不会在写入结束后自动追加空字符。如果缓冲区最初不是全零，或者你希望把结果作为 C 字符串传给其他 API，就需要手动在有效数据末尾写入一个 '\0'。另一个重要细节是：spanstream 不会像 stringstream 那样自动扩容，如果写入的数据超过 span 的长度，流会进入失败状态，后续写入将被忽略，而不是继续向内存越界写入。

读取数据则使用 std::ispanstream。它接受一个 std::span<const char> 或 std::span<char>，不会修改底层数据。我们可以直接把一个已有的字符数组包装成 span，然后像读取标准输入一样提取变量。例如解析一条简单的文本记录：

#include <iostream>
#include <spanstream>
#include <span>
#include <string>
int main() {
    char data[] = "id=100 temp=36.5";
    std::ispanstream is{std::span<const char>{data, sizeof(data) - 1}};
    std::string key1, key2;
    int id = 0;
    double temp = 0.0;
    is >> key1 >> id >> key2 >> temp;
    std::cout << key1 << "=" << id << ", "
              << key2 << "=" << temp << '\n';
}

这里使用 sizeof(data) - 1 是为了去掉字符串字面量末尾的空字符。ispanstream 在构造时并不会要求数据必须以空字符结尾，它只依据 span 的长度确定可读范围。因此，如果你不小心把空字符也算进 span，流提取时可能会把它当作一个字符处理。对于大多数文本协议，手动控制 span 长度是一个好习惯。默认情况下，operator>> 会按空白字符进行分隔，所以如果数据是 key=value 这样的紧凑格式，直接提取会得到整个 key=value，需要额外用 std::getline 或者自定义分隔符处理。

std::spanstream 允许在同一个对象上切换读写。与 std::fstream 类似，它需要维护独立的 get 和 put 位置。一个常见的做法是先通过 operator<< 写入，然后使用 seekp 同步写入位置，再用 seekg 把读取位置移回开头。下面是一个简化的写入后读取示例：

#include <iostream>
#include <spanstream>
#include <span>
#include <array>
#include <string>
int main() {
    std::array<char, 128> storage{};
    std::span<char> region{storage};
    std::spanstream ss{region};
    ss << "A=1 B=2";
    ss.seekp(0, std::ios::end);
    ss.seekg(0, std::ios::beg);
    std::string a, b;
    int x = 0, y = 0;
    ss >> a >> x >> b >> y;
    std::cout << a << " " << x << " "
              << b << " " << y << '\n';
}

这个示例中，seekp(0, std::ios::end) 用来让流知道写入已经结束，之后 seekg 再将读取位置移回开头。如果省略 seekp，后续读取可能无法正确识别已写入的数据范围。对于简单的单向操作，更推荐直接使用 ispanstream 或 ospanstream，避免读写状态互相干扰。

性能与生命周期：spanstream 的注意事项

spanstream 的性能优势主要来自零分配和零拷贝。它不拥有底层内存，这意味着构造和销毁流的成本非常低，也不会在堆上产生分配记录。对于需要在循环中反复进行格式化或解析的程序，可以把缓冲区声明在循环外，每次循环复用同一个 spanstream，从而避免大量临时对象。比如处理日志时，可以先准备一个固定大小的环形缓冲区，再通过 ospanstream 把时间戳、级别、消息等内容格式化进去，写入完成后直接刷入目标设备。

但零拥有也带来了一个必须重视的问题：生命周期。spanstream 只保存一个 span，不负责底层数据的生存。如果 span 指向的数组或 vector 在流仍被使用时被销毁，那么流内部的读写位置和缓冲区都会变成悬垂引用，任何后续操作都是未定义行为。特别是在函数返回 spanstream 对象、或者把流交给异步任务时，要确保底层缓冲区比流活得更长。解决思路通常有两种：一是把缓冲区和流对象放在同一个作用域内；二是让流只作为临时解析工具，在数据有效期内完成所有操作。

另外，spanstream 的容量不会自动增长。很多人习惯于 stringstream 无限写入的能力，切换到 spanstream 后容易忘记这一点。写入前可以先用 std::span 的 size() 估算需要多少空间，或者采用固定大小的大缓冲区并接受截断之后的失败状态。好在 spanstream 在写满时不会越界破坏邻近内存，而是设置 failbit 并停止写入。这个行为比传统 sprintf 之类的函数安全得多，但仍然需要开发者主动检查流状态。

与 stringstream 对比及应用场景

为了更直观地比较，下表列出了 stringstream 和 spanstream 在几个维度上的差异：

从这个对比可以看出，stringstream 更适合一次性拼接字符串、不关心性能损耗的场合。spanstream 则更偏向系统编程和性能敏感场景。例如，一个网络服务接收到客户端发送的文本命令，命令已经存放在接收缓冲区里，此时用 ispanstream 直接解析，就不需要把命令复制到一个 std::string 再构造 stringstream。类似地，在嵌入式环境或者实时系统中，栈上数组加 ospanstream 可以完成格式化任务，避免动态内存碎片。

还有一个典型场景是单元测试。有些旧接口接收 std::istream 参数，测试时需要提供固定输入。用 stringstream 很容易做到，但如果你已经有一个字符数组或 string_view，使用 ispanstream 可以省去一次转成 std::string 的过程。需要注意的是，std::istream 的接口要求流对象本身存活，而 ispanstream 可以以局部变量形式存在，只要底层数据在那个作用域内有效即可。

最后要提醒的是，虽然 C++23 标准已经发布，但不同编译器对 spanstream 的支持进度并不完全一致。在编写本文时，较新的 GCC、Clang 和 MSVC 版本已经逐步提供 <spanstream> 头文件，但具体启用标准版本和实现完整性可能有所差异。如果你的工具链尚未支持，可以通过编译器开关尝试启用 C++23，或者参考标准库实现思路自己封装一个简易版本。无论采用哪种方式，理解 spanstream 基于 span 的非拥有语义，都是高效使用这一工具的关键。