Question

由于我认为std::bind无法推断出返回类型的问题，我当前的尝试无法编译。实际的错误消息是

1＆gt; Source.cpp（24）：错误C2783： “enable_if ::价值的std :: _ BindRx（_fastcall _Farg0 :: *）（_ Ftypes ...）volatile const，_Rx，_Farg0，_Ftypes ...＆gt;，_ Types ...＆gt;＆gt; :: type std :: bind（ Rx （ _fastcall _Farg0 :: * const）（_ Ftypes ...）volatile const，_Types ＆amp;＆amp; ...）'：无法推断'_Ret'的模板参数

另外，我应该通过值或引用将函数传递给std :: bind吗？（通过std :: ref）。

template<class InputIt, class Function>
void parallel_for_each(InputIt first, const size_t elements, Function &function)
{
    unsigned int max_threads = std::max(1u, std::min(static_cast<unsigned int>(elements), std::thread::hardware_concurrency()));
    std::vector<std::thread> threads;
    threads.reserve(max_threads);
    size_t inc = elements / max_threads;
    size_t rem = elements % max_threads;
    std::cout << "inc = " << inc << '\n';
    auto last = first + elements;
    for (; first != last; first += rem > 0 ? inc + 1, --rem : inc)
    {
        std::cout << "rem = " << rem << '\n';
        std::cout << "first = " << *first << '\n';
        threads.emplace_back(std::bind(std::for_each, first, first + inc, function));
    }
    for (auto &t: threads) 
        t.join();
}

用以下方式调用：

std::vector<int> numbers(678, 42);
parallel_for_each(begin(numbers), numbers.size(), [](int &x){ ++x; });
for (auto &n : numbers)
    assert(n == 43);
std::cout << "Assertion tests passed\n";

编辑：我用以下代码替换了带错误的for循环：

while (first != last)
{
    auto it = first;
    first += rem > 0 ? --rem, inc + 1 : inc;
    threads.emplace_back(std::bind(std::for_each<InputIt, Function>, it, first, function));
}

Answer 1

您可以手动指向您要使用的模板

threads.emplace_back
(
   std::bind(std::for_each<InputIt, Function>, first, first + inc, function)
);

或者，您可以简单地使用lambda，而不使用std::bind。

Answer 2

是的，你是对的，std::for_each是一个功能模板，所以你需要明确选择一个专业化。此外，您实际上不需要std::bind，线程构造函数（emplace）支持相同的语法。

关于你的第二个问题，你应该不通过引用传递值，因为你需要明确地复制值，例如：functor将具有内部状态！

您的实施中还存在其他一些问题。

你不应该通过引用来获取该函数，因为这会阻碍传递lambdas / functor。此外，您应该使用std::thread而不是使用普通std::async，这将为您提供异常安全性。如果在您的实现中，仿函数会抛出异常，则会调用std::terminate。

与多线程没有直接关系的另一件事是我从clang那里得到了这个警告：

警告：逗号运算符的左操作数无效[-Wunused-value] for（; first！= last; first + = rem＆gt; 0？inc + 1， - rest：inc）

这可能是我遇到的seg-fault的原因。

在将来的版本中，您可以添加类似负载平衡的内容。

实现parallel_for_each函数

2 个答案: