连接线程如何影响主线程中的执行顺序？

Question

我知道线程是并发运行的，所以您无法预测执行的顺序，但在提供的代码中，我在运行其他代码之前加入了threadT4。如果.join()应该等到线程执行完毕，那么为什么顺序仍然是随机的呢？在两个print语句之前加入任何内容总是会导致它们最后被打印，而如果我在之后加入所有内容，它并不总是最后，为什么？

void task() {
    std::cout << "task 1 says Hi\n";
}
void task2() {
    std::cout << "task 2 says Hi\n";
}
void task3() {
    std::cout << "task 3 says Hi\n";
}
void task4() {
    std::cout << "task 4 says Hi\n";
}
int main() {
    std::thread t1(task);
    std::thread t2(task2);
    std::thread t3(task3);
    std::thread t4(task4);

    t4.join();
    std::cout << "main says Hi 1\n";
    // synchronize - IMPORTANT!
    t2.join();
    t3.join();
    t1.join();
    std::cout << "main says Hi 2" << std::endl;
    system("pause");
}

Answer 1

std::thread::join只阻止当前线程，直到*this标识的线程完成执行。

因此，这可以保证在任务4显示Hi之前不会打印main显示Hi1并且在其他三个任务完成执行之前不会打印main显示Hi2。

四个任务中的printf语句可以以任何顺序打印，而且来自不同线程的输出也可能交错。