C语言中的细节
1. 逗号表达式
c语言提供一种特殊的运算符,逗号运算符,优先级别最低,它将两式联接起来,如:(3+5,6+8)称为逗号表达式,其求解过程先表达式1,后表达式2,整个表达式值是表达式2的值,如:(3+5,6+8)的值是14。(a=3*5,a*4)的值是60
逗号表达式的形式如下:
表达式1,表达式2,表达式3,...... ,表达式n
逗号表达式的要领:
(1) 逗号表达式的运算过程为:从左往右逐个计算表达式。
(2) 逗号表达式作为一个整体,它的值为最后一个表达式(也即表达式n)的值。
(3) 逗号运算符的优先级别在所有运算符中最低。
2. volatile关键字
volatile关键字是一种类型修饰符,用它声明的类型变量表示可以被某些编译器未知的因素更改,比如:操作系统、硬件或者其它线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。
使用该关键字的例子如下:
int volatile nVint;
当要求使用volatile 声明的变量的值的时候,系统总是重新从它所在的内存读取数据,即使它前面的指令刚刚从该处读取过数据。而且读取的数据立刻被保存。
例如:
volatile int i=10; int a = i; ... //其他代码,并未明确告诉编译器,对i进行过操作 int b = i;
volatile 指出 i是随时可能发生变化的,每次使用它的时候必须从i的地址中读取,因而编译器生成的汇编代码会重新从i的地址读取数据放在b中。而优化做法是,由于编译器发现两次从i读数据的代码之间的代码没有对i进行过操作,它会自动把上次读的数据放在b中。而不是重新从i里面读。这样以来,如果i是一个寄存器变量或者表示一个端口数据就容易出错,所以说volatile可以保证对特殊地址的稳定访问。
注意,在vc6中,一般调试模式没有进行代码优化,所以这个关键字的作用看不出来。下面通过插入汇编代码,测试有无volatile关键字,对程序最终代码的影响:
首先,用classwizard建一个win32 console工程,插入一个voltest.cpp文件,输入下面的代码:
#include <stdio.h> void main() { int i=10; int a = i; printf("i= %d\n",a); //下面汇编语句的作用就是改变内存中i的值,但是又不让编译器知道 __asm { mov dword ptr [ebp-4], 20h } int b = i; printf("i= %d\n",b); }
然后,在调试版本模式运行程序,输出结果如下:
i = 10 i = 32
然后,在release版本模式运行程序,输出结果如下:
i = 10 i = 10
输出的结果明显表明,release模式下,编译器对代码进行了优化,第二次没有输出正确的i值。下面,我们把 i的声明加上volatile关键字,看看有什么变化:
#include <stdio.h> void main() { volatile int i=10; int a = i; printf("i= %d\n",a); __asm { mov dword ptr [ebp-4], 20h } int b = i; printf("i= %d\n",b); }
分别在调试版本和release版本运行程序,输出都是:
i = 10 i = 32
这说明这个关键字发挥了它的作用!
3. 关于C语言中union的问题。
1 #include <stdio.h> 2 #include <iostream> 3 #include <string> 4 using namespace std; 5 6 void main() 7 { 8 union { /*定义一个联合*/ 9 int i; 10 struct{ /*在联合中定义一个结构*/ 11 char first; 12 char second; 13 } half ; 14 } number; 15 number.i=0x4241; /*联合成员赋值*/ 16 printf("%c %c\n", number.half.first, number.half.second); 17 printf("%d %d\n", number.half.first, number.half.second); 18 number.half.first='a'; /*联合中结构成员赋值*/ 19 number.half.second='b'; 20 21 printf("%x\n", number.i); 22 std::cout<<__FILE__<<std::endl; 23 std::cout<<__LINE__<<std::endl; 24 }
上面程序的输出结果为:
分析如下:union的大小为其含有变量内存大小的最大值,比如上面的union含有两个变量int i ;struct half; sizeof(i)=4 sizeof(half)=2 ; 所以sizeof(number)=4。在union中低位对应低端地址。上面first对应地位0x41,second对应高位0x42。0x41的二进制为:0100 0001换算成十进制就是65,对应的ASCII码是‘A’,0x42对应的二进制是0100 0010 对应的十进制是66,也就是‘B’。小‘a’对应97,即0110 0001 16进制的61;小‘b’对应的是98,即0110 0010 16进制的62. __FILE__,输出当前文件的位置,__LINE__输出当前行的行号,这里都是双下划线。
4. C语言中,在main函数执行完之后还可以执行别的函数。可以通过_onexit()来注册函数,其运作方式是压栈,即后注册的先执行。其注册的函数可以带有参数。如下:
1 #include <stdio.h> 2 #include <iostream> 3 #include <string> 4 using namespace std; 5 6 int fn1() 7 { 8 printf( "next.\n" ); 9 return 0; 10 } 11 int fn2() 12 { 13 printf( "executed " ); 14 return 0; 15 } 16 int fn3() 17 { 18 printf( "is " ); 19 return 0; 20 } 21 int fn4() 22 { 23 printf( "This " ); 24 return 0; 25 } 26 27 void main( void ) 28 { 29 std::string str("zhanglin"); 30 #ifdef __cplusplus 31 std::cout<<"c++"<<std::endl; 32 #else 33 std::cout<<"c"<<std::endl; 34 #endif 35 _onexit( fn1 ); 36 _onexit( fn2 ); 37 _onexit( fn3 ); 38 _onexit( fn4 ); 39 printf( "This is executed first.\n" ); 40 }
运行的结果:
分析:上述main执行完之后依次执行fn4 fn3 fn2 fn1。
5. 判断当前编译器是C++还C可以使用4中的语句:
1 #ifdef __cplusplus 2 std::cout<<"c++"<<std::endl; 3 #else 4 std::cout<<"c"<<std::endl; 5 #endif
6. 用一个宏定义FIND求一个结构体struc里某个变量相对于struc的偏移量。
解析:#define FIND(struc,e) (size_t)&(((struc*)0)->e)
(struc*)0表示将0强制转化为struc*类型指针所指向的地址;&(((struc*)0)->e)表示取结构体指针(struc*)0的成员e的地址,因为该结构的首地址为0,所以其实就是得到了成员e距离结构体首地址的偏移量。 (size_t)是一种数据类型,为了方便不同系统之间移植,最好定义为一个无符号型数据,一般为unsigned int。
定义一个宏,返回两个数之间的较小值:#define MIN(A,B) ( (A)<=(B) ? (A) : (B) )