[元旦小记]C++ 关于结构体拷贝的问题
最近看到一篇关于结构体的复制的微信推文,里面有一段结构体赋值的代码。博主看了以后有所思考,就记录一下。 原文代码,截图留证【手动害怕】 对于malloc 和 free的部分,我们暂时不看,只看这么一句 test1.c = test->c;//成员直接赋值,完成拷贝 其实对于作者构建的这个结构体确实没问题,即使放在多线程环境下也没有问题,但如果子结构体里面存在数组指针呢? 假设这么一种场景: 业务程序需要从内存里面拿到某个ID’的内存块(std::map)存储,然后将用户发送过来的部分信息填入到局部结构体里面后,再回写到全局的内存块里面。 这里我们可能为了减少锁的占用,会在拿到内存块的复制以后,立即释放锁,然后需要回写的时候,再次请求锁。 场景: A线程通过这种办法拿到了全局容器里面的一个结构体的复制,然后释放了锁。 B线程也拿到了这个ID的对应的结构体的一个复制,然后也释放了锁。 A,B都收到了用户发送过来的数据,准备回写内存了(内容不一样,并且修改的内容涉及到指针对应的内存块) 此时会有几种情况发生呢?2种对吧,这里就不写出来了,相信大家都能分析出来。 这里可能还有一种更糟糕的情形: 内存毕竟有限,有增就必须就减,如果在线程会写数据之前,程序的内存调度突然删掉了全局容器里的这个结构体,其结果更难预料,可能正常,可能出现野指针,程序出现未知的行为。 这也就可能是一种非线程安全的设计