《C语言深度剖析》学习笔记三

1.10.3，void指针
【规则 1-35】千万小心又小心使用void指针类型。
按照 ANSI(American National Standards Institute)标准，不能对 void指针进行算法操作，即下列操作都是不合法的：
void * pvoid;
pvoid++; //ANSI：错误
pvoid += 1; //ANSI：错误
ANSI 标准之所以这样认定，是因为它坚持：进行算法操作的指针必须是确定知道其指向数据类型大小的。也就是说必须知道内存目的地址的确切值。
例如：
int *pint;
pint++; //ANSI：正确
但是大名鼎鼎的 GNU(GNU's Not Unix的递归缩写)则不这么认定，它指定 void *的算法操作与 char *一致。因此下列语句在GNU编译器中皆正确：
pvoid++; //GNU：正确
pvoid += 1; //GNU：正确
在实际的程序设计中，为符合 ANSI标准，并提高程序的可移植性，我们可以这样编写
实现同样功能的代码：
void * pvoid;
(char *)pvoid++; //ANSI：正确；GNU：正确
(char *)pvoid += 1; //ANSI：错误；GNU：正确
GNU和 ANSI 还有一些区别，总体而言，GNU 较 ANSI 更“开放”，提供了对更多语法的支持。但是我们在真实设计时，还是应该尽可能地符合 ANSI 标准。

【规则 1-36】如果函数的参数可以是任意类型指针，那么应声明其参数为void *。

典型的如内存操作函数 memcpy 和 memset 的函数原型分别为：
void * memcpy(void *dest, const void *src, size_t len);
void * memset ( void * buffer, int c, size_t num );
这样，任何类型的指针都可以传入 memcpy和 memset 中，这也真实地体现了内存操作函数的意义， 因为它操作的对象仅仅是一片内存， 而不论这片内存是什么类型。 如果memcpy和memset的参数类型不是void *， 而是char *， 那才叫真的奇怪了！ 这样的memcpy和memset明显不是一个“纯粹的，脱离低级趣味的”函数！
下面的代码执行正确：
例子：memset 接受任意类型指针
int IntArray_a[100];
memset (IntArray_a, 0, 100*sizeof(int) ); //将 IntArray_a清0
例子：memcpy 接受任意类型指针
int destIntArray_a[100], srcintarray_a[100];

//将 srcintarray_a拷贝给 destIntArray_a
memcpy (destIntArray_a, srcintarray_a, 100*sizeof(int) );
有趣的是，memcpy 和 memset函数返回的也是 void *类型，标准库函数的编写者都不是一般人。

1.10.4，void不能代表一个真实的变量
【规则 1-37】void不能代表一个真实的变量。
因为定义变量时必须分配内存空间，定义 void类型变量，编译器到底分配多大的内存呢。下面代码都企图让 void代表一个真实的变量，因此都是错误的代码：
void a; //错误
function(void a); //错误
void体现了一种抽象，void的出现只是为了一种抽象的需要， 如果你正确地理解了面向对象中“抽象基类”的概念，也很容易理解 void数据类型。正如不能给抽象基类定义一个实例，我们也不能定义一个 void（让我们类比的称 void为“抽象数据类型”）变量。

1.10，return 关键字
return用来终止一个函数并返回其后面跟着的值。
return （Val） ；//此括号可以省略。但一般不省略，尤其在返回一个表达式的值时。
return可以返回些什么东西呢？看下面例子：
char * Func(void)
{
char str[30];
…
return str;
}
str 属于局部变量，位于栈内存中，在 Func 结束的时候被释放，所以返回 str 将导致错误。
【规则 1-38】return 语句不可返回指向“栈内存”的“指针” ，因为该内存在函数体结束时被自动销毁。
留个问题：
return ；
这个语句有问题吗？如果没有问题，那返回的是什么？

1.11，const 关键字也许该被替换为 readolny
const是 constant的缩写，是恒定不变的意思，也翻译为常量、常数等。很不幸，正是因为这一点，很多人都认为被 const修饰的值是常量。这是不精确的，精确的说应该是只读的变量，其值在编译时不能被使用，因为编译器在编译时不知道其存储的内容。或许当初这个关键字应该被替换为 readonly。那么这个关键字有什么用处和意义呢？
const 推出的初始目的，正是为了取代预编译指令，消除它的缺点，同时继承它的优点。我们看看它与 define宏的区别。 （很多人误以为 define是关键字，在这里我提醒你再回到本章前面看看 32个关键字里是否有 define） 。

1.11.1，const修饰的只读变量
定义 const只读变量，具有不可变性。
例如：
const intMax=100;
intArray[Max];
这里请在 Visual C++6.0里分别创建.c文件和.cpp文件测试一下。你会发现在.c文件中编译器会提示出错，而在.cpp文件中则顺利运行。为什么呢？我们知道定义一个数组必须指定其元素的个数。这也从侧面证实在 C 语言中，const修饰的 Max仍然是变量，只不过是只读属性罢了；而在 C++里，扩展了 const的含义，这里就不讨论了。
注意：const修饰的只读变量必须在定义的同时初始化，想想为什么？
留一个问题：case语句后面是否可以是 const修饰的只读变量呢？请动手测试一下。  可以

1.11.2，节省空间，避免不必要的内存分配，同时提高效率
      编译器通常不为普通 const只读变量分配存储空间，而是将它们保存在符号表中，这使得它成为一个编译期间的值，没有了存储与读内存的操作，使得它的效率也很高。

例如：
#defineM 3 //宏常量
const int N=5; //此时并未将 N放入内存中
......
int i=N; //此时为 N分配内存，以后不再分配！
int I=M; //预编译期间进行宏替换，分配内存
int j=N; //没有内存分配
int J=M; //再进行宏替换，又一次分配内存！

const定义的只读变量从汇编的角度来看， 只是给出了对应的内存地址， 而不是象#define一样给出的是立即数，所以，const定义的只读变量在程序运行过程中只有一份拷贝（因为它是全局的只读变量，存放在静态区） ，而#define定义的宏常量在内存中有若干个拷贝。
#define宏是在预编译阶段进行替换，而 const修饰的只读变量是在编译的时候确定其值。
#define宏没有类型，而 const修饰的只读变量具有特定的类型。

---

 

什么是立即数寻址：  
      立即数就是存放在程序存储器中的常数，换句话说就是操作数（立即数）是包含在指令字节中的。

例如：MOV   AX,10H,采用的是立即数寻址方式，这条指令(包含操作数AX和10H)被汇编器编译成一条机器代码，此指令执行前被加载到指令缓冲队列里，执行时CPU在读取此机器代码时就读取了10H，10H立即就可以被送往AX（而不用到寄存器或者内存中去取操作数），因此叫做立即数寻址，指令执行效率最高。立即数寻址中的数字是指令的一部份，存储在代码段，执行是不用去取数据段中的数据。

---