题目

编写程序，通过内存重载或地址探测实验观察 std::string 的 SSO（Short String Optimization，短字符串优化）机制。验证当字符串长度小于临界阈值（主流 GCC/Clang 库中通常为 15 字节）时，字符直接存储在栈上对象自身的缓冲区中；当长度超过阈值时，自动触发堆内存动态分配并迁移指针。

输入格式：无需外部输入。

输出格式：输出短字符串与长字符串在栈地址与数据指针地址上的比对日志。

数据范围与约定：STL 内存优化与连续内存布局。

思路与算法

1. SSO 短字符串优化原理
早期 STL 字符串所有字符均存放在堆上，频繁短字符串构造导致大量 malloc 碎片与缓存未命中。现代实现采用联合体（Union）结构，当长度 ≤ 15 字节时直接复用原本存放指针和容量的栈内存存储字符，完全零堆开销。

2. 地址比对判定准则
通过对比 (void*)str.data() 与 (void*)&str：如果数据地址落在 [&str, &str + sizeof(str)] 范围内，说明字符直接内嵌在栈对象体内；若数据地址远离栈对象，则说明已在堆上申请动态内存。

3. 容量扩容行为
一旦字符串追加突破 SSO 极限，std::string 会自动申请堆内存，拷贝现有数据并释放原栈缓存的使用，容量 capacity() 随之发生跳跃式翻倍增长。

完整程序

#include <iostream>
#include <string>
#include <cstdint>

void inspectString(const std::string& str, const std::string& label) {
    const void* objectAddress = &str;
    const void* bufferAddress = str.data();
    uintptr_t objAddr = reinterpret_cast<uintptr_t>(objectAddress);
    uintptr_t bufAddr = reinterpret_cast<uintptr_t>(bufferAddress);

    std::cout << "[" << label << "]\n";
    std::cout << "长度 (size): " << str.size() 
              << ", 容量 (capacity): " << str.capacity() << "\n";
    std::cout << "buffer 是否落在 string 对象内存区间内: " << std::boolalpha
              << (bufAddr >= objAddr && bufAddr < objAddr + sizeof(std::string)) << "\n";

    // 判定数据是否直接落在栈对象的内存区间内
    bool isSSO = (bufAddr >= objAddr && bufAddr < objAddr + sizeof(std::string));
    std::cout << "内存存储判定: " << (isSSO ? "【SSO 栈上内嵌，无堆内存分配】" : "【堆内存动态分配】") << "\n\n";
}

int main() {
    std::cout << "std::string 对象自身占用栈空间大小: " << sizeof(std::string) << " 字节\n\n";

    // 1. 短字符串（≤ 15 字符，命中 SSO）
    std::string shortStr = "Hello_SSO";
    inspectString(shortStr, "短字符串 (9 字符)");

    // 2. 长字符串（突破 15 字符，触发堆分配）
    std::string longStr = "Hello_SSO_Long_String_Exceeding_15_Bytes";
    inspectString(longStr, "长字符串 (40 字符)");

    return 0;
}

运行示例

输出：

std::string 对象自身占用栈空间大小: 32 字节

[短字符串 (9 字符)]
长度 (size): 9, 容量 (capacity): 15
buffer 是否落在 string 对象内存区间内: true
内存存储判定: 【SSO 栈上内嵌，无堆内存分配】

[长字符串 (40 字符)]
长度 (size): 40, 容量 (capacity): 40
buffer 是否落在 string 对象内存区间内: false
内存存储判定: 【堆内存动态分配】