四、C++11新特性:追踪返回类型
四、追踪返回类型
声明:该笔记是在学习《深入理解C++11》、《C++11/14高级编程 Boost程序库探秘》时做的总结,方便以后巩固复习!
1、引入追踪返回类型的目的:
追踪返回类型配合auto
与decltype
会真正释放C++11中泛型编程的能力;简化函数的定义,提高代码的可读性。
使用decltype
对返回类型进行类型推导书写方式如下:
template<typename T1, typename T2>
decltype(t1 + t2) Sum(T1 & t1, T2 & t2)
{
return t1 + t2;
}
这样的写法虽然看似不错,不过对编译器来说有些小问题。编译器在推导
decltype(t1 + t2)
时的,表达
式中的t1
和t2
都未声明;而变量使用前必须已经声明。
为了解决变量使用前必须已经声明这个问题,C++11引入了新语法——追踪返回类型
,来声明和定义这样的函数
template<typename T1, typename T2>
auto Sum(T1 & t1, T2 & t2) -> decltype(t1 + t2)
{
return t1 + t2;
}
把函数的返回值移至参数声明之后,复合符号
-> decltype(t1 + t2)
被称为追踪返回类型
。而原本函数返回值的位置由auto
关键字占据。这样,我们就可以让编译器来推导Sum函数模板的返回类型了。而auto占位符
和->return_type
也就是构成追踪返回类型函数的两个基本元素。
2、使用追踪返回类型的函数
参数的类型和返回值都可在实例化时再确定
#include <iostream>
using namespace std;
template<typename T1, typename T2>
auto Sum(const T1 & t1, const T2 & t2) -> decltype(t1 + t2)
{
return t1 + t2;
}
template <typename T1, typename T2>
auto Mul(const T1 & t1, const T2 & t2) -> decltype(t1 * t2)
{
return t1 * t2;
}
int main()
{
auto a = 3;
auto b = 4L;
auto pi = 3.14;
auto c = Sum(a, b);
cout << "d = " << c << endl;
auto d = Mul(c, pi);
cout << "d = " << d << endl;
}
输出:
d = 7
d = 21.98
定义了两个模板函数Sum和Mul,它们的参数的类型和返回值都在实例化时决定。而由于main函数中还使用了auto,整个例子中没有看到一个“具体”的类型声明。
auto 会追踪 decltype() 推导出的类型。
可以关注公众号:Kevin的嵌入式学习站,整理不易,但您的点赞、关注、收藏就是对我最大的鼓励!
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
THE END
二维码