std:：vector自然线程安全迭代

Question

假设我有std:：vector和两个线程。

第一个线程正在处理擦除函数，而第二个线程在for循环中

这种情况是线程安全的吗？

第二个线程会继续运行还是抛出异常？

#include <iostream>
#include <vector>
#include <thread>

int main()
{
    std::vector<int> intContainer;

    for ( int index = 0; index <= 100000; ++index){
        intContainer.push_back(index);
    }

    std::thread t1([&](){
        while ( 1 ){
            intContainer.erase( std::find(intContainer.begin(), intContainer.end(), random(1, 100000) ) );
            std::this_thread::sleep_for(std::chrono::milliseconds(500));
        }
    });

    std::thread t2([&] (){
        for ( auto& val : intContainer ){
            std::cout << val << std::endl;
        }   
    });

    t1.join();
    t2.join();

    return 0;
}

Answer 1

这是线程不安全的，但也是未定义的行为。

它是线程不安全的，因为您在迭代它时正在更改元素（以及向量本身）。

这是一种未定义的行为，因为上面提到过（竞争），但也因为您基本上是在擦除向量中的任何位置的元素，这意味着您实际上是在使它的所有迭代器无效（用于在另一个线程中迭代）。因此，即使这是一个单线程程序（例如使用光纤），您仍然可以使用UB。

请注意，不会抛出异常，因为某些内容不是线程安全的。当然，这并不意味着错误（无论是腐败、崩溃等）不会发生——它们肯定会发生。

此外，请注意，线程（两者都不是）也将停止运行。他们会继续，却不知道他们把一切都搞砸了。关键是他们没有办法知道。