C++11返回类型后置语法的使用示例

大佬教程收集整理的这篇文章主要介绍了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函数才知道返回值应当如何推导。

那么我们可不@R_944_9341@函数定义上通过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++11返回类型后置语法的使用示例全部内容，希望文章能够帮你解决C++11返回类型后置语法的使用示例所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错，欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供，作为学习参考使用，版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ：384754419，请注明来意。