当用于构造std :: thread时,functor和lambda之间有什么区别

Question

我正在测试C++ Concurrency in Action一书中的代码.基本上,它使用多线程来实现相同的功能std::accumulate.如下所示,我尝试使用lambda代替仿函数,但我的代码给出了错误的结果.is_from_book可以切换变量以测试两种方式.

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

namespace para {

template<typename Iter, typename Value>
struct AccumulateBlock
{
    void operator ()(Iter first, Iter last, Value& result)
    {
        result = std::accumulate(first, last, result);
    }
};

template<typename Iter, typename Value>
Value parallel_accumulate(Iter first, Iter last, Value init_val)
{
    using std::size_t;
    size_t length = std::distance(first, last);
    if(length == 0) return init_val;    // trivial case

    size_t min_per_thread = 25;
    size_t max_threads = (length + min_per_thread - 1) / min_per_thread;
    size_t hardware_threads = std::thread::hardware_concurrency();
    size_t num_threads = std::min((hardware_threads!=0 ? hardware_threads : 2), max_threads);
    size_t block_size = length/num_threads;
    std::vector<Value> results(num_threads);
    std::vector<std::thread> threads{num_threads - 1};

    Iter block_start = first;
    for(unsigned long idx=0; idx!=(num_threads-1);  ++idx )
    {
        Iter block_end = block_start;
        std::advance(block_end, block_size);

        if(bool is_from_book = false)   //code from the book that uses functor
        {
            threads[idx] = std::thread{
                    para::AccumulateBlock<Iter, Value>{},
                    block_start,
                    block_end,
                    std::ref(results[idx])
            };
        }
        else    //my code that tries to use lambda instead of functor
        {
            threads[idx] = std::thread{
                [&]{
                    results[idx] = std::accumulate(block_start, block_end, results[idx]);
                }
            };
        }

        block_start = block_end;
    }

    para::AccumulateBlock<Iter, Value>{}(block_start, last, results[num_threads-1]);

    for(auto& t : threads)  t.join();
    return std::accumulate(results.begin(), results.end(), init_val);
}
}//namespace

int main()
{
    std::vector<int> v(10000,1);
    auto sum = para::parallel_accumulate(v.begin(), v.end(), 0);
    std::cout << "sum = " << sum << std::endl;

    return 0;
}

我的问题是什么问题？我做对了吗？这两种方式有什么区别？怎么解决？Thx.

Answer 1

你通过引用捕获所有东西,所以idx,block_start并且block_end正在线程的脚下移动,导致各种未定义的行为.

results通过引用捕获- 或者更安全,只是线程需要的数组元素 - 以及其他值的值:

Value & result = results[idx];
threads[idx] = std::thread{
    [&result,block_start,block_end]{   // or [=,&result] if you like brevity
        result = std::accumulate(block_start, block_end, result);
    }
};