<分区>
get_a() 函数对于竞争条件是否安全，或者我是否需要像在 get_b() 中那样显式复制 str_ 以便按顺序有一个线程安全的功能？
class Class {
public:
auto get_a() -> std::string {
auto&& guard = std::lock_guard{mutex_};
return str_;
}
auto get_b() -> std::string {
auto&& guard = std::lock_guard{mutex_};
auto str = str_;
return str;
}
private:
std::mutex mutex_{};
std::string str_{};
};
注意:我知道 Stack Overflow 上有类似的问题，但我找不到明确回答这个问题的问题。
最佳答案
The copy-initialization of the result of the call is sequenced before the destruction of temporaries at the end of the full-expression established by the operand of the
returnstatement, which, in turn, is sequenced before the destruction of local variables of the block enclosing thereturnstatement.
这意味着以下顺序发生:
因此，我们可以推断get_a 是完全安全的。
关于c++ - 返回时复制操作是在 lock_guard 析构函数之前还是之后执行的？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/53613641/