0

我已经编写了以下模板成员函数，但我无法在编译器出错的情况下调用它：

template <class T, class A>
auto tpool::enqueue(T&& func, std::vector<A>&& args)
-> std::vector<std::future<decltype(std::forward<T>(func)(decltype(std::forward<A(args))::value_type))>>
{
    //...
}

tpool tp();
auto f = [] (int) { /* ... */ };
std::vector<int> args; 

tp.enqueue(f, args);

我收到以下错误：

test_cpp.cpp:144:5: error: no matching member function for call to 'enqueue'
    tp.enqueue(f, args);

test_cpp.cpp:107:13: note: candidate template ignored: substitution failure [with T = <lambda at test_cpp.cpp:140:11> &, A = int]: no matching function for call to 'forward'
auto tpool::enqueue(T&& func, std::vector<A>&& args)
4

1 回答 1

2 
template <class T, class A>
auto tpool::enqueue(T&& func, std::vector<A>&& args)

这使得args它成为一个右值引用，它只接受右值，但在

std::vector<int> args; 
tp.enqueue(f, args);

args是一个左值，因此候选者被忽略。

请注意，它T&& func允许绑定左值，因为模板替换可以允许T自己成为左值引用，然后我们就有(T&)&& == T&. 但这是不可能的args，因为无论如何A，std::vector<...>&&它始终是向量的右值引用。

如果您不打算复制或修改args，则可以传递一个 const 引用：

template <class T, class A>
auto tpool::enqueue(T&& func, const std::vector<A>& args)

您还可以通过不指定args必须是向量来允许完美转发：

template <class T, class V>
auto tpool::enqueue(T&& func, V&& args)
    -> std::vector<std::future<decltype(func(args.front()))>>
于 2013-05-17T20:39:34.923 回答