C++ Primer笔记（2.5.2）—— auto类型说明符

#include<iostream>



/******************************************************************/
/*  编程时常常需要把表达式的值赋给变量，这就要求在声明变量的时候  */
/*  清楚地知道表达式的类型。为了解决这个问题，C++11引入了auto类型 */
/*  说明符，auto让编译器通过初始值来推算变量的类型。显然，auto定  */
/*  义的变量必须有初始值。                                        */
/******************************************************************/

int main()
{

	/* ----- 例子 ----- */
	//auto定义的变量必须有初始值。
	int val1 = 0;
	double val2 = 2.0;

	//由val1和val2相加的结果可以推断出item的类型
	auto item = val1 + val2;  //item初始化为val1和val2相加的结果

	//使用auto也能在一条语句中声明多个变量。因为一条声明语句只能有一个基本数据类型，
	//所以该语句所有变量的初始基本类型都必须一样。
	auto t = 0, *p = &t;     //正确：t是整数，p是整形指针
	//auto sz = 0, pi = 3.14;  //错误：sz和pi类型不一致
	
	/* ---------------- */


	/* ----- 复合类型、常量和auto ----- */
	/* 编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。 */

	//首先，使用引用其实是使用引用的对象，特别是当引用被用作初始值时，
	//真正参与初始化的其实是引用对象的值。那么编译器以引用对象的类型
	//作为auto的类型。
	int i = 0, &r = i;
	auto a = r;  //a是一个整数
	std::cout << "a的类型为：" << typeid(a).name() << std::endl;
	std::cout << std::endl;

	//✳其次，auto会忽略顶层const，而底层const会保留下来。
	//比如当初始值是一个指向常量的指针时：
	const int ci = i, &cr = ci;
	auto b = ci;   //b是一个整数（ci的顶层const特性被忽略掉了）
	auto c = cr;   //c是一个整数（cr是ci的别名，ci本身是一个顶层const）
	auto d = &i;   //d是一个整型指针（整数的地址就是指向整数的指针）
	auto e = &ci;  //e是一个指向整数常量的指针（对常量对象取地址是一种底层const）

	//如果希望推断出的auto类型是一个顶层const，需要明确指出：
	const auto f = ci;  

	//还可以将引用的类型设为auto，此时原来的初始化规则仍然适用
	auto &g = ci;  //g是一个整形常量引用，绑定到ci     
	const auto &j = 42;  //正确：可以为常量引用绑定字面值
	// auto &h = 42;  //错误：不能为非常量引用绑定字面值

	/* 要在一条语句中定义多个变量，切记，符号&和*只从属于某个声明符号 */
	/* 而非基本数据类型的一部分，因此初始值必须是同一类型。           */
	auto k = ci, &l = i;    //k是整数，l是整型引用
	auto &m = ci, *p2 = &ci; //m是对整型常量的引用，p2是指向整形常量的指针
	//auto &n = i, *p3 = &ci;  //错误：i的类型是int而&ci的类型是const int

	/* -------------------------------- */
}