标签：type-deduction c templates return-type c03

标签会提出问题,但考虑以下因素：

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

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

标签：type-deduction,c,templates,return-type,c03
来源： https://codeday.me/bug/20190830/1768270.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。