《C专家编程》读书笔记4

第四章 令人震惊的事实：数组和指针并不相同

4.1 数组并非指针

extern int *x;

extern int y[];

4.2 我的代码为什么无法运行

文件1：

int mango[100];

文件2：

extern int*mango;

并不能正确运行

4.3 什么是声明，什么是定义

定义，只能出现在一个地方，确定对象的类型并分配内存，用于创建新的对象。例如：int my_array[100];

声明，可以出现多次，描述对象的类型，用于指代其他地方定义的对象（例如在其他文件里）。例如：extern int my_array[[];由于并未在声明中为数组分配内存，所以并不需要提供数组长度的信息。对于多维数组，提供除最左边一维之外其他维的长度——这就是给编译器足够的信息产生相应的代码。

4.3.1 数组和指针是如何访问的

X = Y;

X的含义是X所代表的地址。

这个被称为左值。

左值在编译时可知，左值表示存储结果的地方。

Y的含义是Y所代表的地址的内容。

这个被称为右值。

右值知道运行时才知。如无特别说明，右值表示“Y的内容”。

每个符号的地址在编译时可知。所以，如果编译器需要一个地址（可能还需要加上偏移量）来执行某种操作，它就可以直接进行操作，并不需要增加指令首先取得具体的地址。相反，对于指针，必须首先在运行时取得它的当前值，然后才能对它进行解除引用操作（作为以后进行查找的步骤之一）。图A展示了对数组下标的引用



如果声明extern char *p，它将告诉编译器p是一个指针，它指向的对象是一个字符。为了取得这个字符，必须取得p的内容，把它作为字符的地址并从这个地址中取得这个字符。



4.3.2 当你“定义为指针，但以数组方式引用”时会发生什么

当书写了extern char *p，然后用p[3]来引用其中的元素时，编译器将会：

1. 取得符号表中p的地址，提取存储于此处的指针。

2. 把下标所表示的偏移量与指针的值相加，产生一个地址。

3. 访问上面这个地址，取得字符。



4.4 使声明与定义相匹配

4.5 数组和指针的其他区别



定义指针时，编译器并不为指针所指向的对象分配空间，它只是分配指针本身的空间，除非在定义时同时赋给指针一个字符串常量进行初始化。

只有字符串常量才是如此。不能指望为浮点数之类的常量分配空间，如：

float *pip = 3.141; /*错误！无法通过编译*/

在ANSI C中，初始化指针时所创建的字符串常量被认为只读。如果试图通过指针修改这个字符串的值，程序会出现未定义的行为。在某些编译器中，字符串常量被存放在只允许读取的文本段中，以防止它被修改。

由字符串常量初始化的数组是可以修改的。

4.6 轻松一下——回文的乐趣