C++二进制读写char数组触发free(): double free detected in tcache 2错误

1. 核心冲突：std::vector内存模型与直接结构体序列化的矛盾 #

std::vector是动态容器，内部包含三个核心成员（典型实现）：

• 指向堆内存的指针（存储实际数据）
• 当前元素数量
• 已分配内存容量

当你用fh2.write((char*)&h, sizeof(Header2))写入整个结构体时，写入的只是vector的这三个成员值（包括堆内存的指针地址），而非vector存储的实际数据。

读回数据到h3时，h3.length的内部指针被设置为原h的vector曾使用的堆地址。程序结束时，h和h3的vector会同时尝试释放这个地址的内存，直接触发double free检测，也就是你看到的free(): double free detected in tcache 2错误。

2. char数组的辅助触发问题 #

你标记的char id[15]相关代码会加剧错误表现：

• 写入文件的id数组包含未初始化的垃圾字节（仅strcpy写入的内容和末尾\0是有效数据）
• 读回后输出h3.id时，cout会从数组起始位置一直读取到\0，若垃圾字节中无\0，会触发内存越界访问的未定义行为，进一步放大内存错误的表现。因此去掉char数组后，错误看似消失，但核心问题（vector的错误序列化）依然存在。

3. 程序“暂时正常”的本质 #

程序执行中能输出正确结果，是因为读回的vector指针在崩溃前未被覆盖或释放，属于侥幸的未定义行为表现，并非代码逻辑正确。

如果必须保证结构体大小固定以支持跨程序读取，绝对不能在结构体中使用std::vector这类动态容器，可选择以下方案：

方案1：用固定大小数组替代vector #

将std::vector<int>替换为固定长度数组，确保结构体大小完全固定，序列化/反序列化操作安全：

#pragma pack(push, r1, 1)
struct Header2 {
    char id[15];
    int length[2]; // 固定大小数组替代vector
    int count;
};
#pragma pack(pop, r1)

方案2：手动序列化vector数据 #

若必须保留vector，不能直接读写整个结构体，需手动处理vector的实际数据：

// 写入数据时
fh2.write((char*)&h.id, sizeof(h.id));
// 写入vector实际数据
fh2.write((char*)h.length.data(), h.length.size() * sizeof(int));
fh2.write((char*)&h.count, sizeof(h.count));

// 读回数据时
fh2.read((char*)&h3.id, sizeof(h3.id));
h3.length.resize(2); // 提前分配固定空间
fh2.read((char*)h3.length.data(), 2 * sizeof(int));
fh2.read((char*)&h3.count, sizeof(h3.count));

这种方式需严格约定数据格式，确保跨程序读取的一致性，但结构体本身不再是固定大小。

• #pragma pack(1)强制结构体按1字节对齐，是跨平台/跨程序读取的必要操作，但需注意不同编译器的兼容性。
• 建议用memset(h.id, 0, sizeof(h.id));初始化char数组，避免垃圾数据导致的越界问题。

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