标签提出了问题,但尽管如此,请考虑以下几点:
template<typename F, typename A, typename R>
R call(F function, A arg) {
return function(arg);
}
int foo(char) {
return 5;
}
int main() {
call(foo, 'a');
}
如果删除参数 R 并手动插入 int 作为返回类型,编译器会愉快地编译它。如图所示,编译器无法知道 R 的组成部分。
如何推断 C++03 中的函数返回类型?
我正在寻找不需要手动指定返回类型并且不需要对其他参数进行侵入性更改的方法。如果这是不可能的,那么我只是在寻找权威声明来验证这一点。
如果仅限于函数指针,则可以使用部分特化,例如
template<class T> struct func_ptr_result {};
template<class R>
struct func_ptr_result<R (*)()> {
typedef R type;
};
template<class R, class Arg1>
struct func_ptr_result<R (*)(Arg1)> {
typedef R type;
};
// etc for > 1 arguments
template<typename F, typename A>
typename func_ptr_result<F>::type call(F function, A arg) {
return function(arg);
}
在更一般的情况下(任意函子),如果没有编译器支持或类型的合作,这是不可能的。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)