std :: queue :: empty（）がスレッドセーフではないのはなぜですか？関数をスレッドセーフにするべきではありませんか？

Question

の機能がstd::queueのスレッドセーフではないのはなぜですか？ （hereを参照してください）constは、読み取り専用なので、常にスレッドセーフでなければならないのですか？

多分、いくつかのスレッドによって書き込まれる可能性のあるクラス内に何らかのmutable変数があるかもしれませんか？

Answer 1

クラスのデータを変更しないメソッドは、オブジェクトがでない場合、がのいずれかのメソッドによって変更された場合にのみスレッドセーフです。そうしないと、別のスレッドのメソッドがオブジェクトを（ロックの下で、正しく）変更することができ、ロックを取得せずにスレッドのqueue::empty()を呼び出すと競合状態に陥る可能性があります。