C陷阱与缺陷 2

1，数组

对数组只能进行两种操作，1确定数组的大小，2获得数组第一个元素的指针，其他的操作均是通过指针来实现的。

int

a[2][3]={{1,2,3},{4,5,6}};

a为一个数组(A)，数组的维度为3,元素为数组（B），数组（B）的维度为4 元素为int 类型

a[2]为数组（A）的一个元素，为数组(B)的首地址

p=a[2]; 为p指向a[2]的第一个元素的地址，第一个元素为 int 类型，p为指向int 类型的指针，故是相符的

p=a,是不正确的，a为指向数组(B)的指针

q为指向数组（B）的指针,故q=a是正确的。

下标引用和指针之间的关系​

根据指针的而不同，吃处+3，地址可能是不同的



p为指向char 的指针，p+1的地址是+1

q为指向int 的指针，q+1的地址是+4

2 指针

空指针并非空字符串

3

运算符优先级，与求值顺序

只有四个运算符存在求值顺序， && || ？： ，

&&　|| 具有短路特性

A？B:C 先求A,在根据A的值求 B或C 只求其中的一个

A,B 先求A再求B，取B的值

4 整数溢出



5 声明 与定义

变量的声明有两种情况：

1、一种是需要建立存储空间的。例如：int a 在声明的时候就已经建立了存储空间。

2、另一种是不需要建立存储空间的。 例如：extern int a 其中变量a是在别的文件中定义的。

前者是“定义性声明（defining declaration）”或者称为“定义（definition）”，而后者是“引用性声明（referncing declaration）”，从广义的角度来讲声明中包含着定义，即定义是声明的一个特例，所以并非所有的声明都是定义，例如：int a 它既是声明，同时又是定义。然而对于 extern a 来讲它只是声明不是定义。一般的情况下我们常常这样叙述，

把建立空间的声明称之为“定义”，

而把不需要建立存储空间的声明称之为“声明”。

很明显我们在这里指的声明是范围比较窄的，即狭义上的声明，也就是说非定义性质的声明，

例如：在主函数中：

外部变量的“定义”与外部变量的“声明”是不相同的,外部变量的定义只能有一次，它的位置是在所有函数之外，而同一个文件中的外部变量声明可以是多次的，它可以在函数之内(哪个函数要用就在那个函数中声明)也可以在函数之外(在外部变量的定义点之前)。系统会根据外部变量的定义(而不是根据外部变量的声明)分配存储空间的。对于外部变量来讲，初始化只能是在“定义”中进行,而不是在“声明”中。所谓的“声明”，其作用，是声明该变量是一个已在后面定义过的外部变量，仅仅是为了“提前”引用该变量而作的“声明”而已。extern 只作声明，不作任何定义。

（我们声明的最终目的是为了提前使用，即在定义之前使用，如果不需要提前使用就没有单独声明的必要，变量是如此，函数也是如此，所以声明不会分配存储空间，只有定义时才会分配存储空间。）

函数的声明和定义分的比较清楚。

来自为知笔记(Wiz)