本文为我学习《C++ Primer 》(第5版)的学习笔记,如有错误,欢迎指出。
1.什么是声明
声明就是告诉程序存在这么一个变量,它规定了变量的类型和名字,使得程序知道能对这个变量做什么操作且可以通过名字使用该变量。
这里与定义的概念区分一下:
定义除了完成上述的事情,还会申请存储空间,也可能会对变量进行初始化。
概括的地讲,声明是说明有这个变量,而定义是创建了具有该名字的实体。
2.声明的形式
声明语句的形式为:基本数据类型+声明符列表
基本数据类型就是int,double等数据类型
声明符列表可以理解为除基本数据类型以外的部分,最简单的声明符列表就是单个变量名,如下
//基本类型为int,声明符列表为变量名number
int number;
除了变量名以外,声明符列表还能包含类型修饰符 * 和 & (出现在等号左侧是用于标识引用,千万不要认为是取址运算符),类型限定符const,数组的[]等符号,如下
//基本类型为double,声明符列表为*number1
double *number1;
//基本类型为float,声明符列表为&number2
float &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个整型变量的数组。
总结
声明的理解诀窍,总结一句话是从内到外,从右到左,相信看着例子,跟着一起分析就能掌握这个方法,加油!