Effective Modern C++ ―C++11/14プログラムを進化させる42項目

106

｜

3 章 現代の C++ への移行

ここから得られる教訓です。同期を必要とする変数やメモリ上の位置が 1 つの場合は、std::

atomic の使用がふさわしいけれど、複数をまとめて 1 単位として扱う必要がある場合は、mutex

を採用すべきです。Widget::magicValue は次のようになるでしょう。

class Widget {

public:

…

int magicValue() const

{

std::lock_guard<std::mutex> guard(m); // lock m m をロック

if (cacheValid) return cachedValue;

else {

auto val1 = expensiveComputation1();

auto val2 = expensiveComputation2();

cachedValue = val1 + val2;

cacheValid = true;

return cachedValue;

}

} // unlock m

… m をアンロック

private:

mutable std::mutex m;

mutable int cachedValue; // no longer atomic

mutable bool cacheValid{ false }; // no longer atomic

}; もはや atomic ではない

さて、本項目は複数スレッドが同時に同じオブジェクトの const メンバ関数を実行する可能性が ...