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

在更一般的情況下（任意仿函數），沒有編譯器支持或類型的合作是不可能的。