C++ 理解复杂的声明

本文为我学习《C++ Primer 》（第5版）的学习笔记，如有错误，欢迎指出。

1.什么是声明

声明就是告诉程序存在这么一个变量，它规定了变量的类型和名字，使得程序知道能对这个变量做什么操作且可以通过名字使用该变量。
这里与定义的概念区分一下：
定义除了完成上述的事情，还会申请存储空间，也可能会对变量进行初始化。
概括的地讲，声明是说明有这个变量，而定义是创建了具有该名字的实体。

2.声明的形式

声明语句的形式为：基本数据类型+声明符列表
基本数据类型就是int，double等数据类型
声明符列表可以理解为除基本数据类型以外的部分，最简单的声明符列表就是单个变量名，如下

//基本类型为int，声明符列表为变量名numberint number;

除了变量名以外，声明符列表还能包含类型修饰符 * 和 & （出现在等号左侧是用于标识引用，千万不要认为是取址运算符），类型限定符const，数组的[]等符号，如下

//基本类型为double，声明符列表为*number1double *number1;//基本类型为float，声明符列表为&number2float &number2;

3.声明的阅读方式

1.非数组相关的声明

对于非数组相关的声明，阅读方式很简单，六个字：从右到左阅读
直接上例子：
例子1：

int val = 1;int *p = &val；int *&r = p;

看到第三条，估计有人就会迷糊了，别急，我们一步一步来：
1.变量名是r
2.接下来的符号是&，表示r是一个引用
3.接下来的符号是*，表示r引用的是一个指针
4.接下来是类型int，表示r引用的是一个整型的指针
OK，这样就分析完毕了，r是一个整型指针的引用，看一下r的赋值，是p，一个整型指针，类型正确，所以分析没有问题。

再看一个有const的例子：
例子2：

const int val = 1;const int *const p = &val;

让我们重复上面的步骤：
1.变量名是p
2.接下来是const限定符，表示p是一个常量
3.接下来的符号是*，表示p是一个指针，由2知p是一个常量指针
4.接下来是类型int，表示p指向的是一个整型量
5.接下来的是const限定符，表示p指向的是一个常量，由4知p指向一个整型常量
所以我们就知道p是一个指向整型常量的常量指针，它既不能修改自己的值（一直指向val），也不能修改指向的对象的值（val的值）。

2.数组相关的声明

对于数组相关的声明，阅读是方式为从名字开始，从内到外，再从右到左。我们来看下面一组例子：
例子1：

int *val[10];

1.变量名为val
2.由于不包含小括号，没有内外之分，就从右到左阅读，右边是[10]，表示val是一个包含10个元素的数组
3.左边是类型修饰符*，表示val是一个包含个10元素的数组，且数组元素为指针
4.接下来是基本数据类型int，表示val是一个包含10个元素的数组，数组元素为整型指针
所以我们就知道val是包含10个整型指针的数组

例子2：

int arr[3] = {0, 0, 0};int (*val)[3] = &arr;

1.变量名是val
2.声明中含有小括号，所以从内到外，括号里还有类型修饰符*，表示val是一个指针
3.接下来从右到左，右边是[3]，表示val是指向包含3个元素的数组的指针
4.接下来是基本类型int，表示val是指向包含3个整型元素的数组的指针
所以我们得知val是一个指针，指向一个包含3个整型元素的数组

例子3：

int arr[3] = {0, 0, 0};int (&val)[3] = arr;

1.变量名是val
2.声明中含有小括号，所以从内到外，括号里还有类型修饰符&，表示val是一个引用
3.接下来从右到左，右边是[3]，表示val是对一个包含3个元素的数组的引用
4.接下来是基本类型int，表示val是对一个包含3个整型元素的数组的引用
所以我们得知val是一个引用，指向一个包含3个整型元素的数组

例子4：

int arr[3] = {0, 0, 0};int *(&val)[3] = &arr;

1.变量名是val
2.声明中含有小括号，所以从内到外，括号里还有类型修饰符&，表示val是一个引用
3.接下来从右到左，右边是[3]，表示val是对一个包含3个元素的数组的引用
4.接下来类型修饰符*，表示val是对一个包含3个指针的数组的引用
5.接下来是基本类型int，表示val是对一个包含3个整型指针的数组的引用
所以我们分析出val是一个引用，指向一个包含3个元素的数组，该数组每个元素是指向整型的指针

例子5：

int arr[3][4];

对于多维数组，尽管没有小括号，但我们还是要从内到外阅读，按中括号划分：
1.变量名是arr
2.接着的[3]表明arr是一个数组，包含3个元素
3.接着的[4]表明第2步的那3个元素也是数组，这些数组都包含着4个元素
4.最后是基本类型int，表明第3步中的数组是包含4个整型变量的数组
所以我们得出，arr是一个大小为3的数组，数组中每个元素都是含有4个整型变量的数组。

总结

声明的理解诀窍，总结一句话是从内到外，从右到左，相信看着例子，跟着一起分析就能掌握这个方法，加油！