最近看到一篇关于结构体的复制的微信推文,里面有一段结构体赋值的代码。博主看了以后有所思考,就记录一下。
原文代码,截图留证【手动害怕】

对于malloc 和 free的部分,我们暂时不看,只看这么一句
test1.c = test->c;//成员直接赋值,完成拷贝
其实对于作者构建的这个结构体确实没问题,即使放在多线程环境下也没有问题,但如果子结构体里面存在数组指针呢?
假设这么一种场景:
业务程序需要从内存里面拿到某个ID’的内存块(std::map)存储,然后将用户发送过来的部分信息填入到局部结构体里面后,再回写到全局的内存块里面。
这里我们可能为了减少锁的占用,会在拿到内存块的复制以后,立即释放锁,然后需要回写的时候,再次请求锁。
场景:
A线程通过这种办法拿到了全局容器里面的一个结构体的复制,然后释放了锁。
B线程也拿到了这个ID的对应的结构体的一个复制,然后也释放了锁。
A,B都收到了用户发送过来的数据,准备回写内存了(内容不一样,并且修改的内容涉及到指针对应的内存块)
此时会有几种情况发生呢?2种对吧,这里就不写出来了,相信大家都能分析出来。
这里可能还有一种更糟糕的情形:
内存毕竟有限,有增就必须就减,如果在线程会写数据之前,程序的内存调度突然删

本文讨论了一篇关于C++结构体复制的微信文章中提到的代码,强调在多线程环境下,当结构体包含指针尤其是数组指针时可能引发的问题。博主分析了在并发更新时可能出现的线程安全问题和潜在的内存风险,并提醒程序员在处理深拷贝和浅拷贝时应根据逻辑选择合适的方式,以避免潜在的程序错误。
最低0.47元/天 解锁文章
1043

被折叠的 条评论
为什么被折叠?



