c++ - Using boost::mutex::scoped_lock inside const function

Question

This code won't compile:

    class MyClass
    {
        boost::mutex _mutex; 

        void foo() const
        {
          boost::mutex::scoped_lock lock(_mutex);
         //critical section
        }
    }

But defining the function as non const will work fine. Please, can someone explain why? Thanks!

Answer 1

Raistmajは正しいです。

その理由は、定数メソッドがそのクラス インスタンスを変更しないことを保証するためです。ミューテックスをミュータブルと宣言することで、その変数の例外を作成します。

Answer 2

この問題はboost::mutex::lock()、 のコンストラクターによって呼び出される がメンバー関数ではないために発生しboost::mutex::scoped_lockます。constミューテックスは のメンバであるため、 の非メンバ関数から呼び出すMyClassことMyClass::_mutex::lock()はできません。constMyClass

解決策は、ミューテックスをmutableメンバーとして宣言することです。これは、メンバー関数_mutexであっても変更される可能性があることをコンパイラに示します。const

class MyClass
{
    mutable boost::mutex _mutex; 

    void foo() const
    {
      boost::mutex::scoped_lock lock(_mutex);
     //critical section
    }
}

Answer 3

うまくいかなかった理由を教えてください。_mutex のロックは「変更」ですか?

正確には、_mutex オブジェクトは内部状態を「ロック解除」状態から「ロック」状態に変更します。したがって、ミューテックスを変更可能にしながら、関数の論理定数を保持するには、const-function の mutable キーワードが必要です。