C++11新特性：auto和decltype

一、auto作用

编程时候常常需要把表达式的值赋给变量，需要在声明变量的时候清楚的知道变量是什么类型。然而做到这一点并非那么容易(特别是模板中)，有时候根本做不到。为了解决这个问题，C++11新标准就引入了auto类型说明符，用它就能让编译器替我们去分析表达式所属的类型。和原来那些只对应某种特定的类型说明符(例如 int)不同。auto 让编译器通过初始值来进行类型推演。从而获得定义变量的类型，所以说 auto 定义的变量必须有初始值。

建议在泛型编程的时使用，可能类型不确定时用auto。也有时候为了偷懒代替很长的类型，但是不要滥用，会降低程序效率和代码可读性。

二、decltype作用

用于检查实体的声明类型或表达式的类型及值分类。可以从表达式、函数的返回类型中推断出要定义变量的类型。

1、语法：

decltype ( expression )

2、使用：

// 尾置返回允许我们在参数列表之后声明返回类型
template <typename It>
auto fcn(It beg, It end) -> decltype(*beg)
{
    // 处理序列
    return *beg;    // 返回序列中一个元素的引用
}
//简化写法，任意函数的调用
template <class F, class... Args>
decltype(auto) anyInvoke(F&& f, Args&&... args)
{
	return std::forward<F>(f)(std::forward<Args>(args)...);
}
// 为了使用模板参数成员，必须用 typename
template <typename It>
auto fcn2(It beg, It end) -> typename remove_reference<decltype(*beg)>::type
{
    // 处理序列
    return *beg;    // 返回序列中一个元素的拷贝
}

三、decltype 和 auto 区别

1、decltype包括顶层const和引用在内，而auto会忽略。
2、如果表达式的内容是解引用操作，则decltype将得到引用类型。正如我们所熟悉的那样，解引用指针可以得到指针所指对象，而且还可以给这个对象赋值。因此decltype(*p)的结果类型就是int&。
3、如果给这个变量加上一个或多层括号，那么编译器会把这个变量当作一个表达式看待，变量是一个可以作为左值的特殊表达式，所以这样的decltype就会返回引用类型。

	const int ci = 42, &cj = ci;
	int i = 42, *p = &i, &r = i;
	//1
	decltype(ci) x = 0;   // x 类型为const int
	auto z = ci;          // z 类型为int
	//2
	decltype(cj) y = x;   // y 类型为const int&
	auto h = cj;          // h 类型为int
	//3
	decltype(r) y1 = i;       //因为 r 为 int& ,所以 y1 为int&
	auto y2 = r;              //因为 r 为 int& ,但auto会忽略引用，所以 y2 为int
	//4
	decltype(*p) h1 = i;      //这里 h1 是int&
	auto h2 = *p;             // h2 为 int
	//5
	//decltype(i)   int  类型
	//decltype((i)) int& 类型

总结：auto 和 decltype过程中主要区分const与非const以及引用与非引用引起的差别

如有错误或不足欢迎评论指出！创作不易，转载请注明出处。如有帮助，记得点赞关注哦(⊙o⊙)
更多内容请关注个人博客：https://blog.csdn.net/qq_43148810