typedef 常量

int *a;  这条语句表达式*a产生的结果类型是int。我们知道a肯定是一个指向int的指针。

C在本质上是一种自由形式的语言，这很容易诱使你把星号写在靠近类型的一侧，如下所示：

int* a;

这个声明与前面一个声明具有相同的意思，而且看上去更清晰，a被声明为类型为int* 的指针。

typedef

C语言支持一种叫做typedef的机制，它允许你为各种数据类型定义新名字，typedef声明的写法和普通的声明基本相同，只是把typedef这个关键字出现在声明的前面。例如，下面这个声明：

char *ptr_to_char;

把变量ptr_to_char 声明为一个指向字符的指针，但是，在你添加关键字typedef后，声明变为

typedef char *ptr_to_char;

这个声明把标识符ptr_to_char作为指向字符的指针类型的新名字，你可以像使用任何预定义名字一样在下面的声明中使用这个新名字。

ptr_to_char a;

声明a 是一个指向字符的指针。

使用typedef声明类型可以减少使声明变得又臭又长的危险，尤其是那些复杂的声明。

指针常量

int const *pi;

pi是一个指向整形常量的指针，你可以修改指针的值，但你不能修改它所指向的值，相比之下：

int * const pi;

则声明pi为一个指向整形的常量指针，此时指针是常量，它的值无法修改，但你可以修改它所指向的整数的值。

int const *const pi;

最后，在pi这个例子里，无论是指针本身还是它所指向的值都是常量，不允许修改。

不能简单地通过检查一个值得位来判断它的类型。为了判断值得类型（以及它的值），你必须观察程序中这个值得使用方式。

对指针进行解引用操作可以获得它所指向的值，但从定义上看，NULL指针并为指向任何东西，因此，对一个NULL指针进行解引用操作是非法的。在对指针进行解引用操作之前，你首先必须确保它并非NULL指针。

int a = 12;

int *b = &a;

int **c = &b;

对上述语句进行分析：*操作数具有从右向左的结合性，所以这个表达式相当于*（*c），我们必须从里向外逐层求值，*c访问c所指向的位置，我们知道是这个变量b。第二个间接访问这个位置所指向的地址，也就是变量a。指针的指针并不难懂，你只要留心所有的箭头，如果表达式中出现了间接访问操作符，你就随箭头访问它所指向的位置。

当一个指针和一个整数量执行算术运算时，整数在执行加法运算前始终会根据合适的大小进行调整。这个‘合适的大小’就是指针所指向类型的大小，‘调整’就是把整数值和”合适大小“相乘。为了更好地说明，试想在某台机器上，float类型的大小（为4个字节）。在计算float型指针加上3的表达式时，这个3将根据float类型的大小进行调整（相乘）。这样，实际加上到指针上的整数值为12.。把3与指针相加使指针的值增加3个float的大小，而不是3个字节。

指针 -  指针

只有当两个指针都指向同一个数组中的元素时，才允许从一个指针减去另一个指针，减法运算的结果是两个指针在内存中的距离（以数组元素的长度为单位，而不是以字节为单位），因为减法运算的结果将除以数组元素类型的长度。例如，如果p1指向array[i]，p2指向array[j]，那么p2 - p1的值就是j - i 的值。