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(而不用到寄存器或者内存中去取操作数),因此叫做立即数寻址,指令执行效率最高。立即数寻址中的数字是指令的一部份,存储在代码段,执行是不用去取数据段中的数据。