C++11返回类型后置语法的使用示例
C++11新标准增加的auto不仅可以自动推断变量类型，还能结合decltype来表示函数的返回值。这些新特性可以让我们写出更简洁、更现代的代码。
在泛型编程中，可能需要通过参数的运算来得到返回值的类型。
我们看一下下面这个例子：
#include<iostream>
using namespace std;
template <typename R,typename T, typename U>
R add(T t,U u)
{
return t+u;
}
int main()
{
int a=1;
float b=2.0;
auto c = add<decltype(a+b)>(a,b);
}
我们并不关心a+b类型是什么，因为，只需要通过decltype(a+b)直接得到返回值类型即可。但像上面这样使用十分不方便，因为外部其实并不知道参数之间应该如何运算，只有add函数才知道返回值应当如何推导。
那么我们可不可以直接在函数定义上通过decltype拿到返回值呢？比如像这样：
template <typename T, typename U>
decltype(t+u) add(T t,U u) //编译错误，t,u未定义
{
return t+u;
}
运行后，编译器会提示错误，告诉我们decltype(t+u)中t和u在此作用域中尚未声明。
因为t、u在参数列表中，而C++的返回值是前置语法，在返回值定义的时候参数变量还不存在。
对于本例子，可行的写法如下：
template <typename T, typename U>
decltype(T()+U()) add(T t,U u)
{
return t+u;
}
考虑到T、U可能是没有无参构造函数的类，正确的写法应该是这样：
template <typename T, typename U>
decltype((*(T*)0)+(*(U*)0)) add(T t,U u)
{
return t+u;
}
虽然成功地使用decltype完成了返回值的推导，但写法过于晦涩，会大大增加decltype在返回值类型推导上的使用难度并降低了代码的可读性。
因此，在C++11中增加了返回类型后置语法，将decltype和auto结合起来完成返回值类型的推导。
返回类型后置语法是通过auto和decltype结合起来使用的。上面的add函数，使用新的语法可以写成：
template <typename T, typename U>
auto add(T t,U u) ->decltype(t+u)
{
return t+u;
}
为了进一步说明这个语法，再看另一个例子：
#include<iostream>
using namespace std;
int& foo(int& i);
float foo(float& f);
template <typename T>
auto func(T& val) -> decltype(foo(val))
{
return foo(val);
}
在这个例子中，使用decltype结合返回值后置语法很容易推导出了foo(val)可能出现的返回值类型，并将其用到了func上。
返回值类型后置语法，是为了解决函数返回值类型依赖于参数而导致难以确定返回值类型的问题。有了这种语法以后，对返回值类型的推导就可以用清晰的方式描述出来。
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持脚本之家。
相关文章
本文所讲的是不通过修改一个class的成员，就能够追踪其成员。方法就是类似C语言中的函数指针2013-11-11
智能指针是C++11引入的一种指针封装类型,用于自动管理动态分配的内存,本文主要介绍了Qt 智能指针QScopedPoint用法小结,感兴趣的可以了解一下2024-01-01
这篇文章主要介绍了C语言中关于计算字符串长度的几种方式，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教2022-08-08
二叉搜索树虽可以缩短查找的效率,但如果数据有序或接近有序二叉搜索树将退化为单支树,查找元素相当于在顺序表中搜索元素,效率低下,所以本文给大家介绍了C++平衡二叉的搜索树模拟实现方法,需要的朋友可以参考下2023-09-09
这篇文章主要介绍了C/C++杂记 虚函数的实现的基本原理(图文),需要的朋友可以参考下2016-06-06
这篇文章主要为大家介绍了C语言编程中非常简单却又非常重要的数据结构顺序表的全面讲解，有需要的朋友可以借鉴参考下，希望能够有所帮助2021-10-10
这篇文章主要为大家详细介绍了C++ DFS算法实现走迷宫自动寻路，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2021-05-05
我们常用的x86结构都是小端模式，而大部分DSP，ARM也是小端模式，不过有些ARM是可以选择大小端模式。所以对于上面的maxHeight是应该以小端模式来存放，具体情况请看下面两表2013-10-10
这篇文章主要介绍了C++的类型转换详细介绍的相关资料,需要的朋友可以参考下2017-06-06
vscode是一款越来越受码农们喜爱的软件，大多数人学习编程绕不开的一部分就是算法，很多人都喜欢刷LeetCode的题目，本文就来介绍一下2021-06-06
最新评论