[英]Deducing return and parameter type from std::function passed as a template function argument?
我一直在四处寻找SO,但是找不到我一直在寻找的答案- 这个问题可能最接近我的想法。
一句话:是否可以声明一个采用std::function
参数的模板函数,并为该std::function
的返回类型和参数类型推导出模板参数? 例:
//this works to pass the std::function in
template<class T>
void doSomething(std::function<T> f) {
f();
}
//this is more what i am looking for - can R and P be deduced automatically - does not work!
template<class R, class P>
void doSomethingElse(std::function<R(P)> f) {
f();
}
这是因为函数签名或函数类型本身被视为一件事情,因此不能被“分解”吗? 我意识到这里有decltype
和std::result_of
但是无法思考我在这里如何使用它们。
另外,如何使用可变参数模板将第二个示例扩展为具有多个参数和推导?
template<class R, class P>
void doSomethingElse(std::function<R(P)> f) {
f(P{});
}
可以,但是仅当您将std::function
传递给该函数并且该函数具有一个非void参数时,该函数才有效。 不过,这是一种限制。 您可以使用
template<class R, class... Args, class... Ts>
void doSomethingElse(std::function<R(Args...)> f, Ts&&... args) {
f(std::forward<Args>(args)...);
}
它将接受任何std::function
及其参数,并像在调用站点中一样调用它们。 但是这仍然是有限制的,因为调用站点要求您使用std::function
所以您不能将任何隐式可转换为std::function
传递给它。
使用C ++ 17和类模板参数推论 (CTAD)时,这不再是问题。 我们可以创建任何类型的重载,然后使用CTAD构造一个std :: function来为我们填充类型。 看起来像
template<class Func, class... Args>
void doSomethingElse(Func&& f, Args&&... args) {
doSomethingElse(std::function{std::forward<Func>(f)}, std::forward<Args>(args)...);
}
template<class R, class... Args, class... Ts>
void doSomethingElse(std::function<R(Args...)> f, Ts&&... args) {
f(std::forward<Args>(args)...);
}
现在,所有不是std::function
都将变为void doSomethingElse(Func&& f, Args&&... args)
,被转换为std::function
,并传递给void doSomethingElse(std::function<R(Args...)> f, Args&&... args)
因此您可以在其中使用返回类型和参数类型。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.