C++ 11 Безопасность потока std :: atomic <T> копирующие конструкторы

Question

Я сталкивался с некоторыми проблемами с моим атомным контейнером и увидел this link.

Есть ли причина, по которой std :: atomic не копируется? Решение кажется this, где они просто передают значение T неатомному конструктору с функцией атомной нагрузки (если я не ошибаюсь).

Так что, в общем, эта версия конструктора конвейера безопасна?

template<typename T> 
struct MobileAtomic 
{ 
    std::atomic<T> atomic; 

    explicit MobileAtomic(std::atomic<T> const& a) : atomic(a.load()) {} 

}; 

Answer 1

Есть причина, почему станд :: атомное не копировать-constructable?

Да.

Когда вы просите создать конструкцию atomic, вы просите «нормальные» правила однопоточной последовательной согласованности применять к переменной, которая не соответствует этим правилам.

В сущности, обобщенного решения нет.

Используя конструктор, который вы показываете в вопросе, вы жертвуете детерминированным результатом, поскольку у вас нет гарантии, что исходный и целевой объекты будут эквивалентны после завершения строительства.