c++ - 一个永不改变的值的线程安全 getter

Question

如果值永不改变，在没有互斥体的情况下从不同线程同时访问类成员是否安全？值是简单的指针，因此创建拷贝对原始值没有影响。您可以假设 B 类本身是线程安全的。 A 类可以有其他成员，对它们的访问将使用互斥锁同步。

class A {
public:
  A() { value = new B(); }

  // thread safe?
  B* get_value() { return value; }

private:
  B* value; //never changes

}

Answer 1

你有一个名为 foo 的 A 实例:

A foo;

您调用 foo 的 get_value() 函数并将结果存储在名为 bar 的变量中:

auto bar = foo.get_value();

这本身就很好，但是假设用户修改了 bar 指向的值？

*bar = B();

存储在bar 中的地址可以在整个程序中被复制。现在，所有这些拷贝都可以在您的类 A 中修改 B 指向的值，无论何时，只要他们愿意。