为何memcpy无法在set<int>数组场景下正常工作？

这个问题的核心在于你误用了memcpy来复制C++标准容器——std::set是一个非POD（Plain Old Data）类型，memcpy这种逐字节拷贝的方式完全不适合它，咱们一步步拆解为什么会出问题：

1. memcpy的本质是什么？ #

memcpy是C语言遗留的低级内存操作，它只会把源地址的字节原封不动地拷贝到目标地址，完全不关心这些字节代表的是C++对象。它不会调用对象的构造函数，也不会处理对象内部的复杂逻辑，只负责二进制数据的搬运。

2. std::set的内部结构有多复杂？ #

std::set底层是红黑树实现的，每个set对象内部包含：

• 指向红黑树节点的指针
• 内存分配器实例
• 维护树结构的状态变量

这些都不是简单的二进制数据，而是需要通过C++的对象生命周期规则来管理的——比如构造时初始化分配器、析构时释放树节点内存。

3. 你的代码里到底发生了什么？ #

当你执行memcpy(b,a,sizeof(a))时，只是把数组a里10个std::set对象的内存字节直接复制到了数组b的内存里，但数组b里的std::set对象从来没有被正确构造过：

• C++认为b里的对象还没有“合法诞生”，但它们的内存里却有a中set的原始数据；
• b里的set和a里的set共享了同一个红黑树的指针，相当于两个对象同时管理同一块内存；
• 当你尝试比较b[1]和b[3]时，std::set的==运算符会遍历内部元素，但此时b里的set内部状态是混乱的，访问的内存可能已经被标记为无效，或者触发了双重引用冲突，最终导致程序卡住或抛出异常。

4. 正确的复制方式 #

必须用C++的对象复制机制，也就是调用std::set的赋值运算符或者拷贝构造函数。你可以用循环逐个复制数组里的每个set：

int main(){ 
    set<int> a[10]; 
    a[1].insert(99); 
    a[3].insert(99); 
    if(a[1]==a[3])cout<<"echo"<<endl; 
    set<int> b[10]; 
    // 替换memcpy为循环赋值，调用std::set的赋值运算符
    for (int i = 0; i < 10; ++i) {
        b[i] = a[i];
    }
    if(b[1]==b[3])cout<<"echo"<<endl; // 现在可以正常运行
    return 0;
}

这样每个b[i]都会正确复制a[i]的元素和内部结构，拥有独立的红黑树，不会出现内存冲突。

最后提醒 #

在C里，只有POD类型（比如int、char、没有自定义构造/析构函数的简单结构体）才能安全用memcpy复制。所有带自定义构造/析构函数、内部有动态内存管理的对象（比如所有标准容器），都必须用C的对象复制机制处理。

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