【C++】《C++ 17 入门经典》读书笔记 22 ---- decltype 和拖尾返回类型
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了【C++】《C++ 17 入门经典》读书笔记 22 ---- decltype 和拖尾返回类型，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1974字，纯文字阅读大概需要3分钟。
内容图文
函数的返回类型推断只是近期引入的，准确来说是在 C++14 中引入的。之前，如果函数模板的返回类型是一个表达式的结果，依赖于一个或多个模板类型实参，那么编写模板的人需要寻求其他某种方法。
在我们的 larger() 模板示例中，表达式 a > b ? a:b。如果没有返回类型推断，，如何从表达式得到一个类型，以及如何在函数模板规范中使用这个类型？
decltype 至少部分提供了解决方案。 decltype(expression) 能够得到 expression 的计算结果的类型。可以使用这个关键字来重写 larger() 模板。如下所示：
template <typename T1, typename T2>
decltype(a > b ? a : b) larger(T1 a, T2 b) // Won't compile yet!
{
return a > b ? a : b;
}
现在将返回类型指定为通过函数体中的表达式得到的值的类型。这个模板定义表达了我们想要的结果，但是无法编译。编译器按从左至右的顺序来处理模板。因此，当处理返回类型规范时，编译器不知道 a 和 b 的类型。为了解决这个问题，引入了拖尾返回类型语法，允许将返回类型规范放到参数列表的后面，如下所示：
template <typename T1, typename T2>
auto larger(T1 a, T2 b) -> decltype(a > b ? a :b)
{
return a > b ? a : b;
}
可以看到，将 auto 关键字放到函数名的前面，并非总是告诉编译器要推断返回类型。相反，可能是说明返回类型规范将出现在函数头的最后。在返回列表的后面使用箭头运算符 -> ，然后添加拖尾返回类型。
对于模板而言， decltype 并不只是对拖尾返回类型有用（这种用途基本上已被返回类型推断取代）。假设需要一个模板函数，用于对同样大小的两个向量中对应元素的乘积求和。可以像下面这样定义模板（使用 algorithm 头文件中定义的 std::min() 模板）：
template <typename T1, typename T2>
auto vector_product(const std::vector<T1>& data1, const std::vector<T2>& data2)
{
// safeguard against vectors of different sizes
const auto count = std::min(data1.size(), data2.size());
decltype(data1[0]*data2[0]) sum {};
for (size_t i {}; i < count; ++i)
sum += data1[i] * data2[i];
return sum;
}
如果没有 decltype，将很难指定 sum 变量的合适类型，如果正常想支持空的 vector， 就将变得更加困难。
注意： decltype 并不会实际计算它被应用到的表达式。表达式只是假设的，供编译器用来编译时获得类型。因此，对上面的模板使用空的 vector 也是安全的。
内容总结
以上是互联网集市为您收集整理的【C++】《C++ 17 入门经典》读书笔记 22 ---- decltype 和拖尾返回类型全部内容，希望文章能够帮你解决【C++】《C++ 17 入门经典》读书笔记 22 ---- decltype 和拖尾返回类型所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。