C语言深度剖析总结(一)

C语言深度剖析总结(一)
2010年07月23日
　　1.register关键字请求编译器尽可能的将变量存储在CPU内部寄存器中而不是内存中以提高访问效率。
　　数据从内存中取出来首先放到寄存器中，然后CPU再从寄存器中读取数据来进行处理，处理完后同样通过寄存器放到内存中， CPU不直接和内存打交道。
　　Register的值必须是一个单个的值，并且其长度应小于或等于int的长度，而且register变量可能不放在内存中，所以不能用取地址符(&)来获取register变量的地址。
　　2.  #include  #include  using namespace std; int main(int argc, char *argv[]) { char a[1000]; for(int i=0; i #include  #include  using namespace std; int main() { //freopen("output.txt", "wt", stdout); int i = -20; unsigned j = 10; bitset b(i + j); int res = i + j; cout  #include  using namespace std; int main() { unsigned i; for(i=9; i>=0; i--) cout =0, 所以上面的for()是个死循环…
　　5.如果函数没有返回值，那么声明为void 类型。在C语言中，如果不加返回值类型限定，那么编译器将函数返回值默认为int类型，不是void。
　　如果函数无参数，那么声明其参数为void
　　6. 如果函数的参数可以是任意类型的指针，那么声明其参数为void*类型，想标准库中的memcpy(), memset()函数，他们的指针参数的类型和返回值类型都是void*类型的，这也真实体现了内存操作函数的意义，因为它操作的对象仅仅是一片内存，而不论这篇内存的类型是什么。
　　7. void不能代表一个真实的变量，因为定义变量时必须分配内存空间，定义void类型变量，编译器到底应该为变量分配多大的空间呢？所以不行…
　　void a; // error
　　fun（void a）；// error
　　8. 编译器通常不为普通的const只读变量分配存储空间，而是将他们保存在符号表中，这使得他成为一个编译期间的值，没有了读写内存的操作，使得他的效率也很高。
　　例如：
　　#define M 3   
　　const int N = 5;    //此时并未将N放入内存中，只是保存在符号表中
　　…
　　int i = N;   //此时为N分配内存，以后不再分配
　　int j = N;   //此时不为N分配内存
　　int k = M;   //预编译期间进行宏替换，分配内存
　　int l = M;    //再次进行宏替换，分配内存
　　const定义的只读变量从汇编的角度来看，只是给出了对应的内存地址，而不是向#define一样给出的是立即数，所以， const定义的只读变量在程序运行过程中只有一份拷贝（因为他是全局的只读变量，放在静态存储区），而#define定义的宏常量在内存中有若干份拷贝。
　　#define宏是在预编译阶段进行替换，而const修饰的只读变量是在编译的时候确定其值。
　　#define宏没有类型，而const修饰的只读变量具有特定的类型，所以在编译的时候还能够进行类型检查。
　　9. volatile 关键字和const 一样是一种类型修饰符，用它修饰的变量表示可以被某些编译器
　　未知的因素更改，比如操作系统、硬件或者其它线程等。遇到这个关键字声明的变量，编
　　译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问。
　　先看看下面的例子：
　　int i=10;
　　int j = i；//(1)语句
　　int k = i；//(2)语句
　　这时候编译器对代码进行优化，因为在（1）、（2）两条语句中，i 没有被用作左值。这时候编译器认为i 的值没有发生改变，所以在（1）语句时从内存中取出i 的值赋给j 之后，这个值并没有被丢掉，而是在（2）语句时继续用这个值给k 赋值。编译器不会生成出汇编代码重新从内存里取i 的值，这样提高了效率。但要注意：（1）、（2）语句之间i 没有被用作左值才行。
　　再看另一个例子：
　　volatile int i=10;
　　int j = i；//(3)语句
　　int k = i；//(4)语句
　　volatile 关键字告诉编译器i 是随时可能发生变化的，每次使用它的时候必须从内存中取出i
　　的值，因而编译器生成的汇编代码会重新从i 的地址处读取数据放在k 中。
　　这样看来，如果i 是一个寄存器变量或者表示一个端口数据或者是多个线程的共享数
　　据，就容易出错，所以说volatile 可以保证对特殊地址的稳定访问。
　　10.const volatile int i = 10;
　　这个表示i是一个const常量， 不能够被用户代码改变， 但是i可以被其他因素改变。
　　下面是找到的一些分析：
　　const表示我们自己的代码不会改变这个值（别的代码或者硬件有可能改变这个值）。volatile表示禁止优化。因为编译器会认为如果代码没有改变变量，那么这个变量就不会改变，因此编译器会用寄存器把该变量缓存起来，每次需要读取变量值的时候，就从缓存中读取。这在大多数时候是正确的，但是在多线程或者中断的场合就不正确了。
　　一个值可以同时是const和volatile。例如，硬件时钟一般设定为不能由程序改变，这一点使他成为const； 但它被程序以外的代理改变，这使它成为volatile的。只需在声明中同时使用这两个限定词。
　　volatile标识一个变量意味着这个变量可能被非本程序的其他过程改变，例如某个访问这一变量的某中断程序。
　　CSDN讨论链接：
　　http://topic.csdn.net/u/20071210/14/321d6ec5-f967- 4afb-8d04-b335e6db7b34.html
　　11.柔性数组：
　　C99 中，结构中的最后一个元素允许是未知大小的数组，这就叫做柔性数组成员，但结
　　构中的柔性数组成员前面必须至少一个其他成员。柔性数组成员允许结构中包含一个大小可
　　变的数组。sizeof 返回的这种结构大小不包括柔性数组的内存。包含柔性数组成员的结构用
　　malloc ()函数进行内存的动态分配，并且分配的内存应该大于结构的大小，以适应柔性数组
　　的预期大小。
　　柔性数组到底如何使用呢？看下面例子： typedef struct st_type { int i; int a[0]; }type_a; 有些编译器会报错无法编译可以改成：
　　typedef struct st_type
　　{
　　int i;
　　int a[];
　　}type_a;
　　这样我们就可以定义一个可变长的结构体，用sizeof(type_a) 得到的只有4 ， 就是
　　sizeof(i)=sizeof(int)。那个0 个元素的数组没有占用空间，而后我们可以进行变长操作了。通
　　过如下表达式给结构体分配内存：
　　type_a *p = (type_a*)malloc(sizeof(type_a)+100*sizeof(int));
　　这样我们为结构体指针p 分配了一块内存。用p->item[n]就能简单地访问可变长元素。
　　但是这时候我们再用sizeof（*p）测试结构体的大小，发现仍然为4。是不是很诡异？我们
　　不是给这个数组分配了空间么？
　　别急，先回忆一下我们前面讲过的"模子"。在定义这个结构体的时候，模子的大小就
　　已经确定不包含柔性数组的内存大小。柔性数组只是编外人员，不占结构体的编制。只是说
　　在使用柔性数组时需要把它当作结构体的一个成员，仅此而已。再说白点，柔性数组其实与
　　结构体没什么关系，只是"挂羊头卖狗肉"而已，算不得结构体的正式成员。
　　12.Big Endian和Little Endian:
　　Big Endian（大端模式）:字数据的高字节存储在低地址中， 而字数据的低地址则存放在高地址中。
　　Little Endian(小端模式)：字数据的高字节存储在高地址中， 而字数据的低地址存放在低地址中。
　　判断系统存储模式： #include  using namespace std; int check() { union { int i; char ch; }c; c.i = 1; return c.ch; } int main() { int res = check(); if(res == 0) cout  using namespace std; #define swap(a) a = ((unsigned int)a >> 24) | ((unsigned int)a >> & 0x0000ff00 | (a  #include  using namespace std; enum enum_name { ONE, TWO, THREE = 5 }enum_obj; int main(int argc, char *argv[]) { cout  #include  using namespace std; typedef struct _TEST { int a; _TEST& operator =(int i) { a = i; return *this; } }TEST, *PTRTEST; int main(int argc, char *argv[]) { TEST test1; TEST test2; const PTRTEST ptr1 = &test1; PTRTEST const ptr2 = &test1; //ptr1 = &test2; //error: ptr1 read only //ptr2 = &test2; //error: ptr1 read only *(ptr1) = 1; *(ptr2) = 2; system("PAUSE"); return EXIT_SUCCESS; }  这段代码中，定义了两个TEST类型的指针，const PTRTEST ptr1，PTRTEST const ptr2，这两种形式都是定义了一个指针常量，就如同const int I和int const I都是定义个一个常量I一样。对于编译器来说，只认为PTRTEST 是一个类型，并不去管他不是不指针类型。
　　源自：《C 语言深度解剖》(陈正冲编著)