C++多线程和std::vector

在多线程环境下，尽管 push_back 操作本身要么成功要么失败，但在没有适当的同步措施（如锁）保护下，读取操作可能会看到错误的数据，具体情况如下：

1. 竞态条件：如果一个线程正在执行 push_back 操作，而另一个线程同时试图读取 std::vector 的内容，读取线程可能会在写入未完成时访问到部分更改或不一致的数据。

2. 未定义行为：C++ 标准没有定义在一个线程正在修改容器的同时，另一个线程可以安全地读取容器的内容。因此，这种情况下的行为是未定义的，可能导致程序出现不可预测的结果。

3. 迭代器失效：在执行 push_back 操作时，如果 std::vector 需要重新分配内存空间，现有的迭代器可能会失效。如果另一个线程持有的迭代器在重新分配后仍然使用，就会导致错误的数据访问。

4. 数据部分可见性：在多核处理器或者多处理器系统中，不同线程对内存的访问可能存在缓存不一致性的问题，这会导致一个线程对数据的修改对于其他线程不可见，从而造成读取到过时或错误的数据。

示例代码说明：

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

std::vector<int> vec;

void add_element(int value) {
    vec.push_back(value);
}

void read_element() {
    for (auto& elem : vec) {
        std::cout << elem << " ";
    }
    std::cout << std::endl;
}

int main() {
    std::thread t1(add_element, 1);
    std::thread t2(read_element);

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

    return 0;
}

在这个示例中，add_element 和 read_element 可能同时访问 std::vector，没有使用任何同步措施，这样的程序可能导致输出不一致或者其他未定义行为。

结论：

为了确保在多线程环境中对共享数据结构的安全访问，特别是像 std::vector 这样的容器，推荐使用适当的同步机制来保护写入和读取操作，如 std::mutex 或者 std::atomic（在适当的情况下）。这样可以避免数据竞争和未定义行为，确保程序的正确性和可预测性。