std :: merge nicht mit std :: async funktioniert

Question

ich zwei Vektoren in einem separaten Thread fusionieren will

int main() 
{ 
    vector<int> a(100); 
    vector<int> b(100); 
    vector<int> c(200); 
    std::async(std::launch::async, std::merge, a.begin(), a.end(), b.begin(), 
       b.end(), 
       c.begin()); 
} 

Diese nicht

main.cpp: In function ‘int main()’: 
main.cpp:17:25: error: no matching function for call to ‘async(std::launch, <unresolved overloaded function type>, std::vector<int>::iterator, std::vector<int>::iterator, std::vector<int>::iterator, std::vector<int>::iterator, std::vector<int>::iterator)’ 
       c.begin()) 
         ^
In file included from main.cpp:4:0: 
/usr/include/c++/6.2.1/future:1709:5: note: candidate: template<class _Fn, class ... _Args> std::future<typename std::result_of<typename std::decay<_Tp>::type(typename std::decay<_BoundArgs>::type ...)>::type> std::async(std::launch, _Fn&&, _Args&& ...) 
    async(launch __policy, _Fn&& __fn, _Args&&... __args) 
    ^~~~~ 
/usr/include/c++/6.2.1/future:1709:5: note: template argument deduction/substitution failed: 
main.cpp:17:25: note: couldn't deduce template parameter ‘_Fn’ 
       c.begin()) 
         ^
In file included from main.cpp:4:0: 
/usr/include/c++/6.2.1/future:1739:5: note: candidate: template<class _Fn, class ... _Args> std::future<typename std::result_of<typename std::decay<_Tp>::type(typename std::decay<_BoundArgs>::type ...)>::type> std::async(_Fn&&, _Args&& ...) 
    async(_Fn&& __fn, _Args&&... __args) 
    ^~~~~ 
/usr/include/c++/6.2.1/future:1739:5: note: template argument deduction/substitution failed: 
/usr/include/c++/6.2.1/future: In substitution of ‘template<class _Fn, class ... _Args> std::future<typename std::result_of<typename std::decay<_Tp>::type(typename std::decay<_BoundArgs>::type ...)>::type> std::async(_Fn&&, _Args&& ...) [with _Fn = std::launch; _Args = {}]’: 
main.cpp:17:25: required from here 
/usr/include/c++/6.2.1/future:1739:5: error: no type named ‘type’ in ‘class std::result_of<std::launch()>’ 

Auf der anderen Seite ist kompilieren, Wenn ich anrufe

std::merge(a.begin(), a.end(), b.begin(), b.end(), c.begin()); 

Alles funktioniert gut. Wenn ich ein Lambda benutze - auch.

Warum?

Answer 1

std::merge ist eine Vorlage Funktion. Wie Sie einen Zeiger auf eine Template-Funktion müssen Sie explizit angeben, was die Template-Parameter sind:

std::async(std::launch::async, 
      &std::merge<decltype(a.begin()), decltype(b.begin()), decltype(c.begin())>, 
      a.begin(), a.end(), b.begin(), 
      b.end(), 
      c.begin()); 

einen Lambda hier zu verwenden ist wahrscheinlich die sauberste und lesbare Lösung:

auto merger = [&a, &b, &c] 
{ 
    return std::merge(a.begin(), a.end(), b.begin(), b.end(), c.begin()); 
}; 

std::async(std::launch::async, merger); 

---

In C++ 14 könnten Sie ein generisches Lambda verwenden, um die Argumente direkt in std::async zu übergeben. (es ist fraglich, ob oder nicht, es ist eine bessere Lösung als die Erfassung a, b und c.) Beispiel:

auto merger = [](auto&&... xs) 
{ 
    return std::merge(std::forward<decltype(xs)>(xs)...); 
}; 

std::async(std::launch::async, merger, 
      a.begin(), a.end(), b.begin(), b.end(), c.begin());