Dlaczego Visual C++ 2015 pozwala na std :: atomowe przypisanie?

Question

Kilka dni temu pisałem coś jak poniżej:

struct A { 
    std::atomic_bool b = false; 
}; 

Zestawione w Visual Studio 2015 Update 3 z VC++ 2015 kompilatora, nic złego pojawiło się.
Teraz mam zrekompilowane samo z GCC (5.4.0) na Ubuntu i mam błąd:

use of deleted function 'std::atomic::atomic(const std::atomic&)

Mam ten sam błąd na ideone, zestaw do C++ 14 (nie wiem, co kompilator wersja, której używa).

Oczywiście zmiany kodu na następujący problem został rozwiązany z gcc:

struct A { 
    std::atomic_bool b { false }; 
}; 

moje pytania są następujące: 1.
kto ma rację (C++ 11 zgodny) tutaj, VC++ lub GCC? Wydaje się, że VC++ wywołuje konstruktor z bool, podczas gdy GCC wywołuje konstruktor kopiowania (usunięty).
2. Dla celów wartości domyślnej inicjalizacji atomowej w deklaracji klasy, czy jednolita inicjalizacja (powyżej) jest prawidłową/preferowaną metodą? Czy zamiast tego powinienem użyć makro ATOMIC_VAR_INIT (ugh!)?

struct A { 
    std::atomic_bool b = ATOMIC_VAR_INIT(false); 
}; 

Answer 1

VC jest tu w błędzie. Pre-C++ 17 semantycznie kod X x = y oznacza wywołanie X tmp(y), po którym następuje wywołanie X(tmp) - tj. Istnieje semantycznie konstruktor kopii.

Podczas gdy wszystkie kompilatory, które znam, eliminują pośrednie wywołanie (standard dopuszcza to), program nadal jest źle sformułowany. Wygląda na to, że VC nie wymusza poprawnie semantyki.

W języku C++ 17 znaczenie semantyczne tego wywołania będzie wymagało tylko jednego inicjującego wywołania konstruktora, dzięki czemu kod stanie się dobrze sformułowany.