C++、Qt - 锁定保护和返回对 object 的不可分配引用的安全性

Question

假设以下场景：

我已经实现了自己的 QReadWriteLockGuard：

class QReadWriteLockGuard {
public:
    explicit QReadWriteLockGuard(QReadWriteLock & m) : m(m) {m.lockForRead();}
    ~QReadWriteLockGuard() {m.unlock();}

    QReadWriteLockGuard(QReadWriteLockGuard const &) = delete;
    void operator=(QReadWriteLockGuard &) = delete;

private:
    QReadWriteLock & m;
};

我有一个“经理”object A，它拥有一个 object B 的实例。

Object A有一个方法get_b：

const B& A::get_b() const
{
    QReadWriteLockGuard(_b_lock);
    return *_b;
}

现在，B 当然有它的子结构：属性、公共方法等。假设另一个线程可以随时重写_b的内容，甚至删除它们，如果它们是指针的话。 但是，它会先调用_b_lock.lockForWrite() 。

假设B不可赋值（私有赋值和复制运算符）。 这样做是否安全：

A_instance.get_b().get_vector().at(i).do_stuff() ？

换句话说，读写锁会在执行do_stuff()之前还是之后解锁？ 或者它可能是未定义的？

Answer 1

const引用并不意味着 object 是const ，只是您不能通过该引用修改 object 。 如果一个线程具有该const引用并读取它，而另一个线程写入同一个 object（通过非 const 引用），那么您将遇到数据竞争。

当A::get_b()返回时，您的QReadWriteLockGuard会释放锁，因此无济于事。

对于这一行：

A_instance.get_b().get_vector().at(i).do_stuff();

考虑到它或多或少等同于

const B& b = A_instance.get_b();
b.get_vector().at(i).do_stuff();

在第一行之后，您已经释放了锁。