[元旦小记]C++ 关于结构体拷贝的问题

最近看到一篇关于结构体的复制的微信推文,里面有一段结构体赋值的代码。博主看了以后有所思考,就记录一下。

原文代码,截图留证【手动害怕】
在这里插入图片描述

对于malloc 和 free的部分,我们暂时不看,只看这么一句

test1.c = test->c;//成员直接赋值,完成拷贝

其实对于作者构建的这个结构体确实没问题,即使放在多线程环境下也没有问题,但如果子结构体里面存在数组指针呢?

假设这么一种场景:
业务程序需要从内存里面拿到某个ID’的内存块(std::map)存储,然后将用户发送过来的部分信息填入到局部结构体里面后,再回写到全局的内存块里面。
这里我们可能为了减少锁的占用,会在拿到内存块的复制以后,立即释放锁,然后需要回写的时候,再次请求锁。

场景:
A线程通过这种办法拿到了全局容器里面的一个结构体的复制,然后释放了锁。
B线程也拿到了这个ID的对应的结构体的一个复制,然后也释放了锁。
A,B都收到了用户发送过来的数据,准备回写内存了(内容不一样,并且修改的内容涉及到指针对应的内存块)
此时会有几种情况发生呢?2种对吧,这里就不写出来了,相信大家都能分析出来。

这里可能还有一种更糟糕的情形:
内存毕竟有限,有增就必须就减,如果在线程会写数据之前,程序的内存调度突然删掉了全局容器里的这个结构体,其结果更难预料,可能正常,可能出现野指针,程序出现未知的行为。

这也就可能是一种非线程安全的设计,博主再看到这段代码后想了想离职之前在上一家公司的代码,貌似也有类似的代码在里面,当然写在这里也是引以为戒。有人可能会问,为什么不整个过程都上锁,在高并发的压力下以及先前代码遗留问题等,可能不经意间就会优化出这样的代码,而且内部的小范围测试基本很少能发现这个BUG,基本都是线上爆发出来的。

瞬间感觉亚历山大,看来程序员头发多确实不是一个好程序员。【抱头痛哭】

最后我只想说,对于深拷贝和浅拷贝,没有哪一种拷贝方式更优于另一种,具体要看自己的逻辑来处理,如果自己的代码只读,不写,当然推荐浅拷贝;如果既读,又写,那就要考虑使用深拷贝了。

原创文章 19 获赞 1 访问量 438

猜你喜欢

转载自blog.csdn.net/weixin_45718152/article/details/103811571