首先，请注意mp["someKey"]修改了Map，并且不是线程安全的。如果还不存在键，operator[]将创建一个新的值初始化的键/值对。参见Why is std::map::operator[] considered bad practice?
相反，您应该使用mp.at("someKey")或mp.find("someKey")：

// OK, exception thrown if key doesn't exist yet
std::get<2>(mp.at("someKey")).store(2);
// OK, nothing happens if key doesn't exist yet
if (auto it = mp.find("someKey"); it != mp.end()) {
    std::get<2>(*it).store(2);
}

字符串
.store(2);是线程安全的，因为从多个线程同时写入std::atomic是安全的。std::shared_lock不是确保这一点的必要条件。但是，std::shared_lock确保周围的std::pair不会被另一个线程破坏，因此必须保留。

const-correctness注意事项

Const-correctness可以防止mp["someKey"]的错误。如果您只持有读锁，那么使用const&来防止意外修改是一个很好的做法：

std::as_const(mp)["someKey"]); // error
const auto& cmp = mp;
cmp["someKey"]; // error

型

std::tuple注意事项

变量模板之外的std::tuple总是有问题的。有意义的名字总是更好：

struct entry {
    int a, b; // obviously, use better names than a, b, c
    std::atomic<int> c;
};
// ...
if (auto it = mp.find("someKey"); it != mp.end()) {
    it->c.store(2);
}

型