volatile 关键字和 RAII 习语 (C++)

Question

假设有一个类来控制对与此类似的（关键）代码块的并发访问：

class RAIIObj : public boost::noncopyable {
public:
    explicit RAIIObj( LockObj& Obj ) : LkObj( Obj ) { Obj.Acquire(); }
    ~RAIIObj() { try { Obj.Release(); } catch (...) {} }
private:
    LockObj& LkObj;
};

在使用这样的代码时，是否需要使用 volatile 关键字来排序 不想看到代码被优化掉？

例如，我必须写吗

ALockingObj LockObj;

void AFunc() {
    RAIIObj LKGuard( LockObj );

    // do some MT stuff
}

或

ALockingObj LockObj;

void AFunc() {
    volatile RAIIObj LKGuard( LockObj );

    // do some MT stuff
}

为了确保 LKGuard 始终存在？

由于 LKGuard 是一个局部变量，在 如果我不使用 volatile 关键字，可以优化掉这个函数吗？

谢谢

Answer 1

不，您不需要将其声明为 volatile。编译器可以看到实例化 lkobj 做了一大堆无法优化的事情（与 int lkobj; 显然什么都不做相反）

Answer 2

虽然 pm100 提供的答案就标准而言确实是正确的，但我发现 GCC 4.9 可以优化 RAII 类型（优化标志：-Os -flto）。这是优化器丢弃的代码：

class MutexLocker
{
    chibios_rt::Mutex& mutex_;
public:
    MutexLocker(chibios_rt::Mutex& m) : mutex_(m)
    {
        mutex_.lock();
    }
    ~MutexLocker()
    {
        mutex_.unlock();
    }
};

使类型为 volatile 解决了这个问题：

namespace impl_
{
    class MutexLockerImpl
    {
        chibios_rt::Mutex& mutex_;
    public:
        MutexLockerImpl(chibios_rt::Mutex& m) : mutex_(m)
        {
            mutex_.lock();
        }
        ~MutexLockerImpl()
        {
            mutex_.unlock();
        }
    };
}
using MutexLocker = volatile impl_::MutexLockerImpl;

因此，尽管标准不要求这样做，但我建议明确声明 RAII 类型 volatile 以考虑积极优化。