C++const 、引用、指针、auto、decltype

C++:const 、引用、指针、auto、decltype

const typename & 的两种用法

/* 引用常量，我的理解是引用名绑定常量。引用的值不可更改*/
const int $r1 = 1;		
const int var = 2;
const int &r2 = var; // 使用int &r2 = var 会报错
/* 常量引用，不可以通过应用改变对象的值 */
int var2 = 2;
const int &r3 = var2;
var2++;		// 正确
r3++;       // 错误
std::cout << r3 << std::endl; //r3对象的值是3；

const 和 指针：low-level const， top-level const

/* low-level const 指针指向的内容是const量*/
const int var1 = 1;
const int *p1 = &var1;
/* top-level const 指针本身是const量*/
int var2 = 2;
int *const p2 = &var2;

在仅有low-level const的情况下，指针是非const变量，可以被赋值；被指向的内容是const量，不可以被赋值。

p1 = nullptr;
*p1 = 0; //error

在仅有top-level const的情况下，指针是const量，不可以被赋值；可以通过指针修改指针指向的内容。

p2 = nullptr;	//error
*p2 = 0;

auto 和 decltype

1、auto 自动类型解析。

可以当作int、int*之类的使用。我举两个例子吧！

/* 例1 */
int var1 = 1; int var2 = 2;
auto var3 = var1+var2;	// var3 是int的变量
/* 例2 */
typedef char* pstring;
pstring p1 = nullptr;
auto p2 = p1;			// p2 是 char*的变量

auto定义的变量会根据“=”的右值推断要定义变量的类型。auto在对const量进行推断时保留low-level const，舍弃top-level const。

const int ci = 1;
const int *const cpi = &ci;
auto p1 = cpi;	 //p1 是const int* 类型的指针，
p1 = nullptr; 	 //正确
*p1 = 0;		 //错误

2、decltype也是自动类型解析，在用法和对const的保留上，与auto有所不同。

decltype的基本使用

/* 用法1 根据函数返回值的类型，声明var_name的类型*/
decltype(f()) var_name = x;
/* 用法2 根据var1_name的类型，声明var2_name的类型*/
decltype(var1_name) var2_name;
/* 用法3 根据（var1+var2）的类型，声明var3的类型*/
decltype(var1+var2) var3;

decltype的用法可以总结为：根据括号中内容（函数，表达式，变量）值的类型，定义后面变量类型。

但是在用法2中，有一点是例外的。

/* 用法2 例外 */
int * p1 = i;
decltype(*p1) p = i;	// 这里的p是一个int&的变量，而不是int的变量。这里将p绑定到i上。

decltype在推断变量类型的时候，会保留top-level const和low-level const。

const int ci = 1;
const int *const cpi = &ci;
decltype p1 = cpi;	 //p1 是const int* 类型的指针，
p1 = nullptr; 	 //错误
*p1 = 0;		 //错误

写在最后，学习需要慢慢积累。