在const函数中使用boost :: mutex :: scoped_lock

Question

此代码将无法编译：

    class MyClass
    {
        boost::mutex _mutex; 

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

但是将函数定义为非const将正常工作。 请问有人可以解释原因吗？ 谢谢！

Answer 1

你不能在const-member函数中锁定互斥锁，因为它实际上修改了互斥lock的内部状态（ lock本身不是const函数）。

如果你想保持函数const ，你必须将互斥量声明为mutable ，这是一个允许const函数修改它的cv限定符，即

//can now be locked (i.e. modified) by a const function
mutable boost::mutex _mutex;

使用mutable放松对使用此限定符声明的成员变量的const约束，这是一种绕过constness的方法，所以小心不要滥用它。 在这种情况下，它似乎是合理的，因为互斥体是类的内部工具，并且不参与“逻辑常量”（与“按位常量”相反）。

Answer 2

这段代码应该编译

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

Answer 3

Raistmaj是对的。

原因是常量方法保证它不会更改其类实例。 通过声明互斥锁可变，您为该变量设置了一个例外。

Answer 4

出现此问题的原因是boost::mutex::scoped_lock的构造函数调用的boost::mutex::lock() 不是 const成员函数。 由于互斥锁是MyClass的成员，这意味着无法从MyClass的非const成员函数调用MyClass::_mutex::lock() 。

解决方案是将互斥锁声明为mutable成员。 这向编译器表明即使在const成员函数中也可以修改_mutex ：

class MyClass
{
    mutable boost::mutex _mutex; 

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

Answer 5

请你能解释为什么它不起作用。 锁定_mutex是'修改'吗？

确切地说，_mutex对象会将其内部状态从“解锁”状态更改为“已锁定”状态。 因此，您需要mutable关键字fora const-function来保留函数的逻辑const，同时允许互斥体可修改。