Какое значение по умолчанию для std::atomic? ⇐ C++

[Anonymous]

Я обнаружил, что на практике при использовании различных компиляторов C++11/C++14 std::atomic имеет неопределенное начальное значение, как если бы это был «необработанный» тип. То есть мы ожидаем, что для выражения

Код: Выделить всё

int a;

Код: Выделить всё

a

может иметь любое значение. Также оказывается верным, что для выражения

Код: Выделить всё

std::atomic< int > b;

Код: Выделить всё

b

также может иметь любое значение. Другими словами,

Код: Выделить всё

std::atomic< int > b;         // b is undefined

не эквивалентен

Код: Выделить всё

std::atomic< int > b{ 0 };    // b == 0

или

Код: Выделить всё

std::atomic< int > b{};       // b == 0

потому что в последних двух случаях b инициализируется известным значением.

Мой вопрос прост: где в спецификации C++11 или C++14 документировано такое поведение?

Подробнее здесь: https://stackoverflow.com/questions/363 ... -stdatomic