我正在维护一个包含Mutex类的库.我不能决定这个类暴露的lock()和unlock()函数是否应该是const.我在网上寻找类似的代码,可以找到这两个实现.
首先实现,lock()和unlock()不是const.这意味着在const函数中使用Mutex类的人应该额外调用Mutex的函数：
class Mutex
{
public:
void lock();
void unlock();
};
class Foo
{
public:
void getBar(Bar& bar) const
{
m_mutex.lock();
bar = m_bar;
m_mutex.unlock();
}
private:
// Mutable,responsability of the user (or we could use a const_cast when needed)
mutable Mutex m_mutex;
Bar m_bar;
};
第二个实现,即使这个声音听起来不是很自然(因为我们修改了Mutex的实例),但是在他的一个const函数中调用这些函数的时候,用户就不用烦恼了,
class Mutex
{
public:
void lock() const;
void unlock() const;
};
class Foo
{
public:
void getBar(Bar& bar) const
{
m_mutex.lock();
bar = m_bar;
m_mutex.unlock();
}
private:
Mutex m_mutex;
Bar m_bar;
};
你喜欢什么解决方案？我希望你的意见能够帮助我做出决定.
解决方法
这种东西是可变的.也就是说,mutable适用于不参与对象的逻辑常量的事物. (如果一个值为“逻辑常数”,则表示“主”值为常数,对象的值从外部不能更改.)
您的对象的值独立于互斥体的状态(它只是提供一致性的实现细节,它的状态在类之外是不知道的),这是您的互斥体应该是可变的.
注意,你不应该去const_cast路由. This leads to undefined behavior如果你这样做的：
const Foo f; Bar b; f.getBar(b); // takes const off of mutex,modifies (bang you're dead)
