为何这段C++字符串拼接循环无法正常输出预期内容？

我想结合cstring库的格式化能力与std::string的动态分配特性实现调试日志（生产环境不会采用，调试时cstring更便捷），编写了如下代码：

#include <cstdio>
#include <string>
#include <array>
#include <cstdint>
#include <cstring>

std::array<std::pair<uint32_t, double>, 3> list = {{{1,11.1}, {2,22.2}, {3, 33.3}}};

int main()
{
    std::string start;
    int size = snprintf(NULL, 0, "array (size=%zu);", list.size());
    start.resize(size+1);
    snprintf(&start.front(), size+1, "array (size=%zu);", list.size());

    for (auto [a,b] : list) {
        std::string tmp;
        size = snprintf(NULL, 0, "array (size=%zu);", list.size());
        tmp.resize(size+1);
        snprintf(&tmp.front(), size+1, "\n(%u, %.2f);", a, b);
        start += tmp;
    }

    printf("%s\n", start.c_str());
}

运行后仅输出：

array (size=3);

循环正常执行，tmp也存储了预期的元素内容，但无法正确附加到start中。怀疑是SSO（小字符串优化）导致，但无法解释具体机制。

错误原因 #

1. 错误将终止符'\0'纳入std::string有效内容：
   snprintf(NULL, 0, ...)返回的是格式化后文本的长度（不含末尾的'\0'），你调用resize(size+1)会把snprintf写入的'\0'包含到std::string的有效内容里。用printf("%s", start.c_str())输出时，printf会将'\0'视为字符串结束标志，直接停止输出。

2. 循环中计算tmp长度时用错格式化字符串：
   计算tmp所需长度时用的是"array (size=%zu);"，但实际要格式化的是"\n(%u, %.2f);"，导致tmp的resize长度远大于实际需要。即便tmp存储了正确内容，start中已有的'\0'也会让printf忽略后续拼接的内容。

3. SSO与此问题无关：你的怀疑方向错误，无论std::string是否启用SSO，拼接操作都会正常处理所有有效字符，问题核心是'\0'的不当处理和格式化串的错误。

修复后的代码 #

#include <cstdio>
#include <string>
#include <array>
#include <cstdint>
#include <cstring>

std::array<std::pair<uint32_t, double>, 3> list = {{{1,11.1}, {2,22.2}, {3, 33.3}}};

int main()
{
    std::string start;
    int size = snprintf(NULL, 0, "array (size=%zu);", list.size());
    start.resize(size); // 仅resize到实际文本长度，不包含'\0'
    snprintf(&start.front(), size + 1, "array (size=%zu);", list.size()); // 缓冲区留足空间写入'\0'，但不纳入string有效内容

    for (auto [a,b] : list) {
        std::string tmp;
        size = snprintf(NULL, 0, "\n(%u, %.2f);", a, b); // 使用正确的格式化串计算长度
        tmp.resize(size);
        snprintf(&tmp.front(), size + 1, "\n(%u, %.2f);", a, b);
        start += tmp;
    }

    printf("%s\n", start.c_str());
}

修复说明 #

• 调用resize(size)而非resize(size+1)，让std::string的有效内容仅包含格式化后的文本，排除终止符'\0'。
• 循环中计算tmp长度时，必须使用和后续snprintf调用完全一致的格式化字符串，确保resize的长度匹配实际内容。
• snprintf的缓冲区参数仍设为size+1，保证有足够空间写入终止符，但该终止符不会被纳入std::string的有效内容（因为string的size是size）。

内容的提问来源于stack exchange，提问作者glades