个人理解的C语言的声明

有些教材上说, 声明不是语句, 这里为了叙述方便, 还是使用声明语句这种说法了

C语言的声明语句, 我知道的有4种(变量,数组,结构类型, 函数):

1.变量声明, 例如 int a, *p; //a是 整型变量， p是 整型指针变量
				int (*p_i4)[4];  	//p_i4, 是 int[4]型指针变量
				
	也可以这样说, 把变量名(变量标识符)去掉, 就是变量类型
	int a   	-> 把变量名a去掉, 剩下的是int, a 是int类型的变量
	int *p 	->把变量名p去掉, 剩下的是int *, p是 int * 类型的变量
			这里分为两步,第一步是解释*, 说明p是一个指针变量
			第二步, 指向什么"类型",  指向int
			这两步, 就是对 int * 这个"复合类型"的说明
			
	int (*p_i4)[4]	->这也是"复合类型", 是"嵌套"的, 多层的声明, 一步一层的来看
				(直接去掉p_i4, 得到 p_i4的变量类型是 int (*) [4])
				
				第一层是()内的, *p_i4, 把p_i4去掉, 剩下的是*, 因此p_i4是指针变量(类型由外层来说明)
				第二层, 是把()内的全部拿掉, 剩下的是int [4], 所以 指针指向的类型就是 int [4] (这个还是复合类型)
				第三层, int [4] 先解释[4], 这里的含义是 "容放4个成员的数组对象"( 成员的数据类型, 由外层来说明)
				第四层, 把[4]拿掉, 数组成员的数据类型是int

2. (个人观点, C中只有数组数据, 没有作为左值的 数组变量,
   因此数组声明语句, 与变量声明不是一回事 )

例如 int b[4]; //声明了一个有4个成员的数组, 每个成员都是 整型变量
int *ip[5]; //声明了一个有5个成员的数组, 每个成员都是 整型指针变量

     在指针表达式中, b的值是 相应数组中首成员的指针, ip是相应数组中首成员的指针
	 在表达式中, *b是相应数组的首成员(一个整型变量)
						*ip 是相应数组的首成员 (一个整型指针变量)

b是容纳4个int成员的数组对象,
代表的是4*sizeof(int)=16个字节, 并且连续的内存

(由于只能对基本类型变量所代表的内存进行读写) .
在对数组成员进行读/写时, 是通过"指针解引用"来实现的, 

b[1]实际是*(b+1),
因此结论是b这个"数组对象", 在进行解引用时,
在表达式中的值是"指向首成员的只读指针"
b[1], b[2], 分别是该指针偏移1和偏移2后, 所指向的成员对象
这个成员对象, 对应一段4字节内存,
对这个对象的读/写, 也就是对这段内存的读/写

同理, 字符串常量(数组对象, 成员是char), 
在表达式中, 值是首字符的指针
所以"abc"[2], * ("abc"+1)都是合法表达式

比较讨厌的是, C中[]的用法太过灵活, 有太多含义
导致了各种难以理解的声明方式和表达式用法

比如声明语句 int b[4];中,  [4]指明b是有4个int成员的数组对象(连续内存段)
char c[]="abc"; c是容放4个char成员的数组对象, 因为"abc"等价于{'a','b','c','\0'}

但在函数的参变量声明中

func(int b[4]);  b[4]里的4被无情忽略, 等价于b[], b[]等价于 *b, 所以b是指针, 指向int类型,
同样还是在参变量声明中
func(int (*p)[4]);  int [4]代表容放4个int成员的 数组对象这种类型, p是指向这种数组对象的指针
这时与正常的声明语句, 含义又是相同的

在[]出现在解引用表达式中时

它实现的是指针偏移运算并解引用的作用,
 b[3]表示对b地址偏移3个对象步长, 然后对偏移后的地址执行解引用操作
 也就是它的计算结果, 就是常说的3号数组成员这个内存对象

//待完成…
3. 结构类型声明:
4. 函数声明