首页 编程语言

# auto&&decltype

静态类型：类型检查在编译阶段

动态类型：类型检查在运行阶段

auto 声明变量的类型必须由编译器在编译时期推导而得，其优势是在拥有初始化表达式的复杂类型变量声明时简化代码。

decltype 以一个普通的表达式为参数，返回该表达式的类型。

用 decltype (e) 来获取类型时，编译器将依序判断以下四规则：

  • 如果 e 是一个没有带括号的标记符表达式或者类成员访问表达式，那么 decltype (e) 就是 e 所命名的实体的类型。如果 e 是一个被重载的函数，则会导致编译时错误。
  • 否则，假设 e 的类型是 T，如果 e 是一个将亡值 (xvalue)，那么 decltype (e) 为 T&&。
  • 否则，假设 e 的类型是 T，如果 e 是一个左值，则 decltype (e) 为 T&。
  • 否则，假设 e 的类型是 T，则 decltype (e) 为 T。

# 追踪返回类型

对返回类型进行类型推导：

`template<typename T1, typename T2>			// 直观的方案
decltype(t1 + t2) Sum(T1 & t1, T2 & t2) {
    return t1 + t2;
}
template<typename T1, typename T2>			// 追踪返回类型的方案
auto Sum(T1 & t1, T2 & t2) -> decltype(t1 + t2) {
    return t1 + t2;
}
int func(char *a, int b);
auto func(char *a, int b) -> int ;`
把原本的函数返回值移到参数声明之后，而原本的返回值的位置由 auto 关键字占据。auto 占位符和 return_type 是构成追踪返回类型函数的两个基本元素。
追踪返回类型另一个优势是简化函数的定义，提高代码可读性。
`#include<type_traits>
#include<iostream>
using namespace std;
int (*(*pf()) ()) () {
    return nullptr;
}
//auto (*)() -> int (*) () 一个返回函数指针的函数（假设为 a 函数）
//auto pf1 () -> auto (*)() -> int (*)() 一个返回 a 函数的指针的函数
auto pf1() -> auto (*)() -> int(*) {	// 和上面等价
    return nullptr;
}
int main() {
    cout << is_same<decltype(pf), decltype(pf1)>::value << endl;
}
追踪返回类型也常用于转发函数中：
`#include <iostream>
using namespace std;
double foo(int a) {
    return (double)a + 0.1;
}
int foo(double) {
    return (int)b;
}
template <class T>
auto Forward(T t) -> decltype(foo(t)) {
    return foo(t);
}
int main() {
    cout << Forward(2) << endl;  //2.1
    cout << Forward(0.5) << endl; //0
}`