C和指针阅读（第三章）

数组下标检测

如果下标值是从那些已知是正确的值计算得来，那么就无需检查它的值。如果用作下标的值是根据某个方法从用户输入的数据产生而来的，那么在使用它之前必须进行检测，确保它们位于有效的范围之内。

声明指针

在声明指针变量时，可以为它指定初始值。（个人感觉初始化赋值Null即可）。

char *message = "Hello world!";

注意： 这种类型的声明所面临的一个危险是你容易误解它的意思。在前面一个声明中，看上去初始值似乎赋给表达式*message，事实上它是赋给message本身的，前面一个声明相当于：

char *message;
message = "Hello world!";

隐式声明

• 函数如果不显式地声明返回值的类型，它就默认返回整型。
• 省略参数的类型，编译器会默认认它们为整型。

依赖隐式声明是很傻的事情，我们要用显式清楚表达自己的意图。

typedef

typedef允许你为各种数据类型定义新名字。typedef声明的写法和普通的声明基本相同，只是把typedef这个关键字出现在声明的前面。

// 把变量ptr_to_char声明为一个指向字符的指针。
char *ptr_to_char；
// 把标识符ptr_to_char作为指向字符的指针类型的新名字。
typedef char *ptr_to_char；

常量

int *pi；

pi是一个普通的指向整型的指针。

int const *pci；
// 类似于 int const （*pci）；

pci是一个指向整型常量的指针。可以修改指针的值，但不能修改它所指向的值。

int *const cpi；

cpi是一个指向整型的常量指针。此时指针是常量，它的值无法修改，但是可以修改它所指向的整型的值。

int const * const cpci；

cpci无论是指针本身还是它所指向的值都是常量，不允许修改。

static 关键字

用于函数定义时，或用于代码块之外的变量声明时，static关键字用于修改标识符的链接属性，从external改为internal，但标识符的存储类型和作用域不受影响。用这种方式声明的函数或变量只能在声明它们的源文件中访问。
用于代码块内部的变量声明时，static关键字用于修改变量的存储类型，从自动变量修改为静态变量，但变量的链接属性和作用域不受影响。用这种方式声明的变量在程序执行之前创建，并在程序的整个执行期间一直存在，而不是每次在代码块开始执行时创建，在代码块执行完毕后销毁。

作用域、链接属性和存储类型总结

变量类型	声明的位置	是否位于堆栈	作用域	如果声明为static
全局	所有代码块之外	否	从声明处到文件尾	不允许从其他源文件访问
局部	代码块起始处	是	整个代码块	变量不存储于堆栈中，它的值在程序整个执行期一直保持
形式参数	函数头部	是	整个函数	不允许