Question

我试图理解 C++ 中的多行,但我被困在这个问题中:如果我在 环中为 启动线条,它们打印错误的值。这是代码 :

#include <iostream>
#include <list>
#include <thread>

void print_id(int id){
    printf("Hello from thread %d
", id);
}

int main() {
    int n=5;
    std::list<std::thread> threads={};
    for(int i=0; i<n; i++ ){
        threads.emplace_back(std::thread([&](){ print_id(i); }));
    }
    for(auto& t: threads){
        t.join();
    }
    return 0;
}

我本来期望得到打印值 0,1,2,3,4,4,4,4,4的打印,但我经常得到同样的值两次。这是输出:

Hello from thread 2
Hello from thread 3
Hello from thread 3
Hello from thread 4
Hello from thread 5

我错过了什么?

Answer 1

[ & amp;] syntax 导致 > 捕获。因此,当线条运行超过你预期时,通常会进一步推进 < code> < /code> 。更严重的是, 如果 < code> > i 在线条运行前超出范围, 您的代码的行为是 未定义 。



按值获取 >  - 即 std:::\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\

Answer 2

有两个问题:

您无法控制线索运行的时间, 也就是说, libda 中的变量 < code> > < /code> 的值可能不是您所期望的。
变量 > i 仅对循环和循环是本地的。如果循环在一个或多个线索运行之前完成,这些线索将无效地引用寿命结束的变量。

您可以通过捕获变量 > i by value 而不是引用来非常简单地解决这两个问题。这意味着每串线索都将拥有该值的 copy , 而该副本将为每条线索独家制作。

Answer 3

还有一件事:

不要等到总有一个命令序列:0, 1, 2, 3,......, 因为多行执行模式有特殊性 : < 坚固 > 确定性 < / 坚固 > 。

不确定意味着在同样条件下执行同一方案会产生不同的结果。

这是因为操作系统时间表线因执行而异,视几个参数而定:CPU负荷、其他流程的优先次序、可能的系统中断等。

您的示例只包含五个线条, 所以它很简单。尝试增加线条数量, 比如在处理函数中做一个睡眠。你会看到结果会从一个执行到另一个执行的不同。

Answer 4

使用 c++17 您可以做 :

void foo(int param)
{
  //something
}

main()
{
    std::vector<std::thread> threadList;

    for (int i = 0; i < 100; i++)
    {
        threadList.push_back( std::thread(foo, 2) );

    }
    
    for (auto& thread : threadList)
    {
        thread.join();
    }
}

友情链接