假设我想做partial function application,使各种功能都符合单个签名。
例如,我可能希望从双参数函数变为单参数函数,如下所示:
std::function<int(int, int)> doubleFoo = [](int i, int j) { return i + j; };
// Turn the function into a single-parameter function, using j = 5
std::function<int(int)> singleFoo = toSingleFoo(doubleFoo, 5);
我希望toSingleFoo
处理第一个参数为int
的任何单参数或多参数函数,因此我将其定义为可变参数模板函数:
template <typename... Args>
std::function<int(int i)> toSingleFoo(std::function<int(int, Args&&...)> multiFoo, Args&&... args)
{
auto singleFoo = [args](int i) { multiFoo(i, std::forward<Args>(args)...) };
return singleFoo;
}
但是,这会产生以下编译器错误(使用Visual Studio 2017,版本15.7.6):
error C2672: 'toSingleFoo': no matching overloaded function found
error C2784: 'std::function<int (int)> toSingleFoo(std::function<int(int,Args &&...)>,Args &&...)':
could not deduce template argument for 'std::function<int(int,Args &&...)>'
from 'std::function<int (int,int)>'
尽管在上例中将int
作为第二个参数传递了,为什么编译器无法推断出模板参数呢?
答案 0 :(得分:2)
要开始,您需要捕获multiFoo
以及可变参数args...
。
推论的问题似乎在std::function
参数中。如果只允许它从第二个参数推论出Args...
,则推论将按预期进行。
要隐藏第一个参数的推论,只需将其放在身份模板中
template<typename T>
struct I { using type = T; };
然后您可以将函数定义为
template <typename... Args>
std::function<int(int)> toSingleFoo(
typename I<std::function<int(int, Args&&...)>>::type multiFoo,
Args&&... args)
{
return [multiFoo, &args...] (int i) {
return multiFoo(i, std::forward<Args>(args)...);
};
}
然后使用它
int main() {
std::function<int(int, int)> doubleFoo = [](int i, int j) { return i + j; };
// Turn the function in a single-parameter function, using j = 5
std::function<int(int)> singleFoo1 = toSingleFoo(doubleFoo, 5);
std::cout << singleFoo1(3); // prints 8
std::function<int(int, int, int)> tripleFoo = [](int i, int j, int k) { return i * j * k; };
// Turn the function in a single-parameter function, using j = 2, k = 3
std::function<int(int)> singleFoo2 = toSingleFoo(tripleFoo, 2, 3);
std::cout << singleFoo2(4); // prints 24
}