Правильно ли этот код правильно синхронизирован?

Question

Интересно, если этот код нормально или нет:

#include <iostream> 
#include <future> 
struct Foo 
{ 
    Foo() 
     :m_a(0) 
    { 
    } 

    int m_a; 
}; 

int main() 
{ 
    Foo f; 
    auto handle = 
     std::async(std::launch::async, 
       [](Foo* f) { std::cout << f->m_a << '\n'; } , 
       &f 
      ); 

    handle.get(); 
} 

Я считаю, что m_a должен быть защищен с помощью механизма синхронизации, но мой коллега говорит, что это не нужно.

EDIT: Для того, чтобы прояснить мой вопрос: Я обеспокоен тем, что операция STORE из конструктора Foo() происходит после операции загрузки из другого потока. Я не вижу, какой механизм мешает компилятору выполнить эту инструкцию в этом порядке.

EDIT: Я считаю, что с энтузиазмом компилятор мог бы решить встраивать конструктор, и задержать операцию STORE для после операции ВЫЗОВА к std::async. В этом случае второй поток мог бы получить доступ к m_a, прежде чем он будет передан в память.

Answer 1

Да, это правильно синхронизировано.

Из спецификации async C++ 11 30.6.8/5:

призывание async синхронизируется с вызовом f.

где f является функция аргумента async (лямбда в вашем примере).

Инициализация f.m_a секвенирована до вызова async и, следовательно, перед любым доступом с помощью асинхронной функции.

Кроме того,

завершение функции F секвенируют до общего состояния производится готов.

, так что доступ должен произойти до того, как будет вызван вызов get(), и, следовательно, перед тем, как объект будет уничтожен.