C++ 11 const - 我的代码是否线程安全？

Question

我有以下类：

class Object 
{ 
public: 
    Object() {} 

    const std::string& get_name() const 
    { 
    if(_name.empty()) { 
     std::lock_guard<std::mutex> lock(_lock); 

     // Check if its still empty. Some other thread might have gotten here first 
     if(_name.empty()) { 
     //Run expensive operation 
     _name = get_object_name(); 
     } 
    } 

    return _name; 
    } 

private: 
    std::string get_object_name(); // <- Expensive function 

    mutable std::mutex _lock; 
    mutable std::string _name; 
}; 

由于对get_object_name是一个昂贵的功能的事实，我愿做一个排序延迟初始化的并且只调用它的第一次get_name()被调用。如果它从未被调用，那么我不会浪费资源来获取名称。

我很担心第一次致电_name.empty()。我的当前代码是否保证是线程安全的，还是需要将锁移动到函数的顶部？

我看了一些香草萨特的会谈，特别是this one，在这张幻灯片上出现：

http://i.imgur.com/Jz4luYe.png

导致我相信，到empty()调用是线程安全的。但我的变量（_name）是mutable。这个“const ==线程安全”规则是否仍然适用于此？

get_name()是唯一可以修改_name的功能。

Answer 1

不，它不是线程安全的，因为您在mutex之外访问_name，这会中断同步。

一个可能的解决方案是使用标准库提供的std::call_once机制。

class Object 
{ 
public: 
    Object() {} 

    const std::string& get_name() const 
    { 
    std::call_once(flag, [&] { _name = get_object_name(); }); 

    return _name; 
    } 

private: 
    std::string get_object_name() const; // <- Expensive function 

    mutable std::string _name; 
    mutable std::once_flag flag; 
}; 

这保证不会多次调用get_object_name()。第一次调用将初始化string，并发呼叫将阻塞，直到lambda完成。
同步是完全照顾，这意味着任何线程得到参考string可以安全地从它读取。

Answer 2

启动C++ 11 static变量以线程安全方式进行初始化。 如果得到这个名字的昂贵操作变得static我认为以下比较好：

class Object 
{ 
public: 
    const std::string& get_name() const 
    { 
     static std::string name = expensive_get_name(); 
     return name; 
    } 
private: 
    static std::string expensive_get_name() 
    { 
     return "Name"; 
    } 
};