突然想說包裝一個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.
有沒有在探討這件事的文章可以讓我觀念更清楚一點
謝謝