c++ - C++03 中的函数返回类型推导

Question

标签提出了问题，但尽管如此，请考虑以下内容:

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 中推断函数返回类型？

我正在寻找不需要手动指定返回类型并且不需要对其他参数进行侵入式更改的方法。如果这是不可能的，那么我只是在寻找一个权威的声明来验证这一点。

Answer 1

如果仅限于函数指针，可以使用偏特化，比如

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);
}

在更一般的情况下(任意仿函数)，没有编译器支持或类型的合作是不可能的。