突然想说包装一个thread safe的vector
最单纯的想法就是把vector常用的api
每一个都用lock_guard<mutext>(mMutex) 保护
但仔细想一个情况
vector的operator[]是回传 reference的.
reference operator[]( size_type pos );
假设
thread1 写 Foo f; f = mVec[0]; // 走 operator=(const Foo&)
thread2 写 无数次的 mVec.push_back(foo);
这时候 thread1的复制动作 我根本无法保证当下reference的object是valid的
我认为很有可能thread2在push_back的时候造成vector的realloc 所以thread1 就read到
莫名其妙的数值
(这边也想问, "读取" heap上面而非write 就算被deleted,
会有可能造成除了读到错的数值以外的行为产生吗? 例如crash)
我所能想到的变成
1. 不提供operator[]了 而是提供SetAt(int index, Foo& out) 让set的动作我内部完全
lock保护
2. 我vector class expose我的mutex给外面用的人lock...但这样变得一点thread safe
的感觉都没了
这两个想法 说真的我从来没看过... 是我多想了吗?
还是大多情况就是by value return就好不要弄成reference.
有没有在探讨这件事的文章可以让我观念更清楚一点
谢谢