Почему иногда печатается одна и та же строка в отдельном потоке C++?

Question

[pixik]

Почему дважды вывелась на печать единица в 3ей строчке?

void foo(){
    for(int i = 0; i < 5; i++){
        cout << "cout " << i << endl;
    }
}
int main() {
    thread t(foo);
    t.detach();
    assert(!t.joinable());
    std::cout << "Hello, World!" << std::endl;
    return 0;
}

вывод такой (один из множества вариантов):

Hello, World!cout 
0
cout 1cout 1
cout 2
c

Comments

[MiiNiPaa]

Какой стандарт, какой компилятор? Есть подозрение, что cout здесь не потокобезопасный. Ну и технически здесь UB, поэтому программа имеет право хоть Fuck You вывести.

[pixik]

MiiNiPaa: c++11 с g++ 4.9.2. Вопрос исключительно на то, чтобы глубже осознать суть происходящего) А что означает UB в контексте вашего ответа?

[Николай Романович]

Undefined Behavior

[pixik]

Николай Романович: понятно. но непонятно почему cout выводит повторяющиеся значения, ведь если он из потока char`ов вывел некоторую часть значений, то они должны выйти из буфера. А тут получается, что в некоторых случаях буфер не освобождается и "cout <<" выводит значение из буфера снова. я понимаю, что программа написана неверно в плане потокобезопасности. Но по поводу такого вывода от cout остаются лишь догадки, а хотелось бы понимать почему так.

[MiiNiPaa]

pixik: Попробуйте не вызывать detach и вызвать join в конце main. Скорее всего это происходит из-за уничтожения cout в середине вывода.

Answer 1

[#алгоптимизируй #отботизируй]

скорее всего из-за эффекта flush при вызове < std::endl