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上。
返回值类型后置语法，是为了解决函数返回值类型依赖于参数而导致难以确定返回值类型的问题。有了这种语法以后，对返回值类型的推导就可以用清晰的方式描述出来。
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持猪先飞。
相关文章
- 今天在写 C++ 代码的时候用上 C++11 的特性，然后发现 VSCode 虽然可以编译通过，但是会在相应位置报红，这是怎么回事呢？下面小编给大家带来了解决方法，一起看看吧...2021-09-27
- 这篇文章主要给大家介绍了关于C语言中getchar()的返回类型为什么是int的相关资料，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 这篇文章主要给大家介绍了关于c++11中regex正则表达式的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用c++11具有一定的参考学习价值，需要的朋友们下面来一起学习学习吧...2020-04-25
- 这篇文章主要介绍了浅谈springMVC中controller的几种返回类型，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧...2021-02-27
- 这篇文章主要给大家介绍了关于C++11中原子量和内存序的相关资料，文中通过示例代码介绍地方非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 这篇文章主要介绍了C++11中的default函数使用，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2021-05-01
- 本文主要介绍了C++11各种锁的具体使用，文中通过示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下...2021-08-10
- 这篇文章主要给大家介绍了关于C++11中std::declval实现机制的相关资料，文中通过示例代码介绍的非常详细，对大家具有一定的参考学习价值，需要的朋友们下面来一起看看吧。...2020-04-25
- 这篇文章主要介绍了C++11 简单实现线程池的方法，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2020-10-27
C++11特性小结之decltype、类内初始化、列表初始化返回值
这篇文章主要介绍了C++11特性小结之decltype、类内初始化、列表初始化返回值,本文通过实例代码给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下...2020-05-25- 对于c++11来说移动语义是一个重要的概念，一直以来我对这个概念都似懂非懂。最近翻翻资料感觉突然开窍，因此顺便记录下C++11中的右值引用、转移语义和完美转发，方便大家查阅参考。...2020-04-25
C++11中lambda、std::function和std:bind详解
大家都知道C++11中增加了许多的新特性，下面在这篇文中我们就来聊一下lambda表达式，闭包，std::function以及std::bind。文中介绍的很详细，相信对大家具有一定的参考价值，有需要的朋友们下面来一起看看吧。...2020-04-25- 熟悉脚本语言的人都知道，很多脚本语言都引入了“类型自动推断”技术：比如Python，可以直接声明变量，在运行时进行类型检查。随着C++11标准的发布，C++语言也引入了类型自动推断的功能。这篇文章主要介绍了C++11新特性之auto的使用，有需要的朋友们可以参考借鉴。...2020-04-25
- 本篇文章主要介绍了C++11返回类型后置语法的使用示例，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧...2020-04-25
- c++11 constexpr将变量声明为constexpr类型以便由编译器来验证变量是否是一个常量表达式,这篇文章主要给大家介绍了关于使用c++11 constexpr时遇到的坑,需要的朋友可以参考下...2021-05-16
C++11新特性“=default”,“=delete”的使用
=default、=delete 是C++11的新特性，分别为：显式缺省(告知编译器生成函数默认的缺省版本)和显式删除(告知编译器不生成函数默认的缺省版本)，本文就来介绍一下如何使用...2021-05-25- 本文将对C++11的以上新特性进行简单的讲解，以便大家能够快速了解到C++11对C++的易用性方面祈祷的巨大作用。...2020-04-25
- C++11/14相比以往的C++98/03在很多方面做了简化和增强，尤其是在泛型编程方面，让C++的泛型编程的威力变得更加强大，下面这篇文章主要介绍了利用C++ 11实现检查是否存在特定成员函数的相关资料，需要的朋友可以参考下。...2020-04-25
C++11运算符重载和向量类重载实例详解（＜＜,＞＞,+,-,*等）
这篇文章主要给大家介绍了关于C++11运算符重载和向量类重载的相关资料，主要包括＜＜,＞＞,+,-,*等,文中通过示例代码介绍的非常详细,需要的朋友可以参考下...2021-07-15- C++之前的初始化语法很乱，有四种初始化方式，而且每种之前甚至不能相互转换，但从C++11出现后就好了，所以这篇文章主要给大家介绍了关于C++11的统一初始化语法的相关资料，文中通过示例代码介绍的非常详细，需要的朋友可以参考下。...2020-04-25