或許有一兩點(diǎn)你不知的C語(yǔ)言特性
關(guān)鍵字篇
volatile關(guān)鍵字
鮮為人知的關(guān)鍵字之一volatile,表示變量是'易變的',之所以會(huì)有這個(gè)關(guān)鍵字,主要是消除編譯優(yōu)化帶來(lái)的一些問(wèn)題,看下面的代碼
- 1 int a = 8;
- 2 int b = a;
- 3 int c = a;
編譯器認(rèn)為,上面的第2句代碼與第三句代碼之間,沒(méi)有存在對(duì)a賦值的語(yǔ)句,所以編譯出來(lái)的匯編代碼在講a的值賦給c的時(shí)候,不會(huì)再次到內(nèi)存取這個(gè)變量的值,而是取cache中的值。這樣雖然提高了效率,但也帶來(lái)了一些問(wèn)題,比如如果變量a被多個(gè)線程共享,且在a賦值給了b之后,a的值立馬被另一個(gè)線程修改,則再賦值給c的就是過(guò)時(shí)的數(shù)據(jù),有時(shí)希望c拿到的是實(shí)時(shí)的數(shù)據(jù),這個(gè)時(shí)候volatile關(guān)鍵字就派上了用場(chǎng)
- volatile int a = 8;
- int b = a;
- int c = a;
上面的關(guān)鍵字告訴編譯器a的值是隨時(shí)可能發(fā)生變化的值,要求每次使用都到內(nèi)存中取值,這樣就能保證c能獲得實(shí)時(shí)數(shù)據(jù)。
sizeof關(guān)鍵字
很多人都認(rèn)為sizeof 是函數(shù),因?yàn)閹Юㄌ?hào)嘛,還有返回值,不是函數(shù)是啥。其實(shí)sizeof 是關(guān)鍵字,不信你在測(cè)試變量的時(shí)候把括號(hào)去掉試試,當(dāng)然,如果測(cè)試的是類(lèi)型,則必須加括號(hào),因?yàn)槟闳绻鹲izeof 類(lèi)型,不打擴(kuò)號(hào)的話,編譯器認(rèn)為你在定義變量,而定義變量的時(shí)候前面顯然是只能是修飾符如const,static和extern之類(lèi)的,絕對(duì)不能是sizeof 所以會(huì)報(bào)錯(cuò)。
- 1 int a = 9;
- 2 sizeof(a) ; // 合法
- 3 sizeof a ; // 合法
- 4 sizeof int ;// 非法
- 5 sizeof(int);// 合法
register關(guān)鍵字
register關(guān)鍵字定義的變量可能放在寄存器里面,可能放在寄存器里,也可能放在內(nèi)存里,所以為了安全起見(jiàn),不能對(duì)寄存器變量取地址,所以下面的代碼編譯會(huì)報(bào)錯(cuò)
- 1 register int a = 0;
- 2 printf("%d\n",&a);
const關(guān)鍵字
C語(yǔ)言中,const關(guān)鍵字定義了一個(gè)不可變的變量a ,注意a還是一個(gè)變量,沒(méi)錯(cuò)是變量,不是常量,只是值不能變,是只讀變量,編譯的時(shí)候是不能確定值的。下面的代碼可以說(shuō)明問(wèn)題
- 1 const int a = 4;
- 2 int arr[a];
上面的代碼在VC6.0的ANSI標(biāo)準(zhǔn)下會(huì)報(bào)錯(cuò),因?yàn)閏onst定義的依然是變量,當(dāng)然在GNU這種先進(jìn)的編譯器下會(huì)通過(guò)。
typedef關(guān)鍵字
大多人認(rèn)為typedef是定義一個(gè)新的數(shù)據(jù)類(lèi)型,其實(shí)不是,typedef關(guān)鍵字是給一個(gè)已經(jīng)存在的數(shù)據(jù)類(lèi)型取一個(gè)別名,很多人喜歡在定義類(lèi)型的同時(shí)使用 typedef關(guān)鍵字,這就讓自己慢慢的也誤以為typedef是在定義一種新的數(shù)據(jù)類(lèi)型
- 1 typedef struct s{
- 2 int a;
- 3 int b;
- 4 int c;
- 5 } NS;
其實(shí)換成像下面這樣可能會(huì)更好
- 1 struct s{
- 2 int a;
- 3 int b;
- 4 int c;
- 5 };
- 6 typedef struct s NS;
另外看看下面的代碼
先添加這樣的聲明
- 1 typedef struct s * PNS;
看下面的代碼
- 1 NS ns;
- 2 const PNS pns1 = &ns;
- 3 pns1->a = 8;
- 4 NS ns2 ;
- 5 pns1 = &ns2; // 報(bào)錯(cuò),pns1 只讀
- 6 PNS const pns2 = &ns;
- 7 pns2->a = 8;
- 8 pns2 = &ns2; // 報(bào)錯(cuò),pns2 只讀
大家可能都能明白 const int * p和 int * const p的區(qū)別,但這里就有些模糊了,這個(gè)結(jié)果顛覆了大家的思維。
這是因?yàn)槟馨?(struct s *)重定義為一個(gè)整體,const遇到整體的類(lèi)型定義會(huì)直接將這個(gè)整體忽略,也就是對(duì)于const int * p和 int * const p以及const int p和 int const p,編譯器會(huì)把int忽略,得到 const * p和* const p,以及const p。
所以對(duì)于cosnt PNS pns1 和 PNS const pns2,PNS會(huì)被忽略,就得到了const pns1和const pns2,所以const修飾什么顯而易見(jiàn)
數(shù)據(jù)類(lèi)型篇
struct類(lèi)型
相信讓大家說(shuō)struct與c++class的區(qū)別,99%的開(kāi)發(fā)者都知道有,標(biāo)準(zhǔn)的C語(yǔ)言中struct中不能定義函數(shù)的
- 1 struct s{
- 2 int a;
- 3 int getA(){
- 4 return a;
- 5 }
- 6 };
上面的代碼在C語(yǔ)言的環(huán)境下會(huì)報(bào)錯(cuò)。再就是struct與class的默認(rèn)訪問(wèn)屬性不同。
除了上面的區(qū)別,struct還具備一些class不具備的一些屬性
- 1 struct s{
- 2 int a;
- 3 int b;
- 4 int c;
- 5 };
- 6 // 直接初始化
- 7 struct s ele = {1,2};
- 8 // 全部成員初始化為0
- 9 struct s ele2 = {0};
- 10 // 指定初始化
- 11 struct s ele3 = {.a = 1};
還用空的結(jié)構(gòu)體大小不為0,而為1 ,因?yàn)樽钚〉腸語(yǔ)言類(lèi)型為char,一個(gè)字節(jié),struct的設(shè)計(jì)者要求struct至少能容納一個(gè)字符
另外,結(jié)構(gòu)體還有一個(gè)很神奇的東西--柔性數(shù)組,也就是結(jié)構(gòu)體的最后一個(gè)成員可以定義為一個(gè)柔性數(shù)組--b變長(zhǎng)數(shù)組。這個(gè)柔性數(shù)組的大小不會(huì)算在結(jié)構(gòu)體的大小內(nèi),向下面這樣
- 1 struct s{
- 2 int a;
- 3 int b;
- 4 int c;
- 5 int arr[];
- 6 };
- 7
- 8 typedef struct s NS;
- 9 typedef struct s * PNS;
- 10 // 實(shí)例化
- 11 PNS p = (PNS) malloc(sizeof(NS)+100*sizeof(int));
上面的代碼就定義了一個(gè)結(jié)構(gòu)體,并且分配了一個(gè)大小為100的柔性數(shù)組
多字符常量
- 1 int str = 'ABCD';
上面的代碼會(huì)讓四個(gè)字母分別占據(jù)int的四個(gè)字節(jié),至于具體值,取決于存儲(chǔ)的是大端模式還是小端模式
表達(dá)式和結(jié)構(gòu)篇
switch語(yǔ)句
奇葩寫(xiě)法1
- 1 char ch = 'c';
- 2 switch(ch){
- 3 case 'a'...'z':
- 4 printf("a-z");
- 5 break;
- 6 case 'A'...'Z':
- 7 printf("A-Z");
- 8 break;
- 9 default:
- 10 break;
- 11 }
- 12 //運(yùn)行結(jié)果a-z
這種寫(xiě)法還算正常,GCC擴(kuò)充的,能夠接受,下面這種。。
奇葩寫(xiě)法2
- 1 int a = 3,b = 4,m;
- 2 switch(a){
- 3 case 1:
- 4 printf("1");
- 5 break;
- 6 if(b == 4){
- 7 case 2:
- 8 printf("2");
- 9 ;
- 10 }else case 3:{
- 11 printf("3");
- 12 for(m = 1;m<3;m++){
- 13 case 4:
- 14 printf("4");
- 15 ;
- 16 }
- 17 }
- 18 default:
- 19 break;
- 20 }
- 21 // 運(yùn)行結(jié)果 344
第一次看到,我也驚呆了
scanf忽略輸入
這個(gè)問(wèn)題相比很多人都遇到過(guò),scanf讀取無(wú)用的換行符,下面的代碼可以很好的解決這個(gè)問(wèn)題
- 1 char c1,c2;
- 2 scanf("%c%*c%c",&c1,&c2);
- 3 putchar(c1);
- 4 putchar(c2);
這樣,你換行輸入單個(gè)字符才不會(huì)有問(wèn)題,也有用下面這樣的代碼過(guò)濾換行符的
- 1 while((ch = getchar()) == '\n');
printf變量限定格式
- 1 int a=3;
- 2 float m = 3.1415926;
- 3 printf("%.*f\n",a,m); // 3.142
#號(hào)運(yùn)算符
數(shù)組名
- 1 #define SQR(x) printf("x^2 = %d\n",((x)*(x)));
- 2 #define SQR2(x) printf(""#x"^2 = %d\n",((x)*(x)));
- 3 #define SQR3(x) printf("%d^2 = %d\n",x,((x)*(x)));
- 4
- 5 SQR(3); // x^2 = 9
- 6 SQR2(3); // 3^2 = 9
- 7 SQR3(3); // 3^2 = 9
數(shù)組名是指針常量,定義完之后不能修改
- 1 int arr[3] = {1,2,3};
- 2 int a2[3];
- 3 int * p = a2;
- 4 arr = p;
- 5 arr = a2;
函數(shù)調(diào)用時(shí)不能傳遞數(shù)組,傳遞的只不過(guò)是一個(gè)指針
- 1 void fun(int arr[100]){
- 2 printf("%d\n",sizeof(arr));
- 3 }
- 4 int arr[3] = {1,2,3};
- 5 fun(arr); // 4
沒(méi)錯(cuò),那個(gè)參數(shù)列表中的100然并luan。關(guān)于向函數(shù)傳遞數(shù)組,后面還有講解。
指針與函數(shù)篇
指針這部分如果學(xué)到比較好的這個(gè)應(yīng)該都知道,算不得什么特性
直接對(duì)內(nèi)存地址賦值
- 1 *(int*)0x12ff7c = 100;
取數(shù)組一行的最后一個(gè)值
- 1 int arr[5] = {1,2,3,4,5};
- 2 printf("%d\n",*(*(&arr+1)-1)); // 5
這個(gè)其實(shí)也很簡(jiǎn)單,arr是一級(jí)指針,列指針,再取一次地址后得到行指針,+1之后偏移一行,再解引用降級(jí)為列指針,再減1恰好指向arr[4],所以就是5。另外注意arr其實(shí)就是&arr[0]的值,也就是數(shù)組首元素的首地址。它與數(shù)組首地址其實(shí)有區(qū)別的,當(dāng)arr為二維數(shù)組的時(shí)候,兩者就存在區(qū)別。如果為二位數(shù)組,則arr==&arr[0]==&&arr[0][0]。
數(shù)組與指針參數(shù)
就像前面說(shuō)到的,不能像函數(shù)傳遞一個(gè)數(shù)組,傳遞數(shù)組,編譯器總是將它解析成一個(gè)指向數(shù)組首元素的指針,也就是說(shuō)傳遞的使用個(gè)指針,指向數(shù)組的首元素,但不指向數(shù)組,也就是說(shuō)傳遞arr與傳遞&arr[0]沒(méi)有區(qū)別,這進(jìn)一步說(shuō)明了數(shù)組首地址與數(shù)組首元素的首地址是有卻別的。
另外,指針傳遞也是數(shù)值傳遞看下面的代碼
- 1 int f(int * p){
- 2 p = NULL;
- 3 }
- 4 int a = 3;
- 5 int *p = &a;
- 6 f(p);
- 7 printf("%d\n",*p);
在沒(méi)有C++引用傳遞的情況下,想傳遞指針,就要傳遞指針的指針。像下面這樣
- 1 int f2( int ** pp){
- 2 *pp = (int *) malloc(sizeof (int));
- 3 **pp = 9;
- 4 }
- 5 f2(&p);
- 6 printf("%d\n",*p); // 9
指針?lè)祷刂?/strong>
不要將局部變量的地址作為返回值返回,像下面這樣的代碼。
- 1 int * getP(){
- 2 int a = 4;
- 3 return &a;
- 4 }
- 5 int * getP1(){
- 6 int * p = (int *) malloc(sizeof(int));
- 7 *p = 4;
- 8 return p;
- 9 }
- 10
- 11 int *p = getP();
- 12 int *p1 = getP1();
- 13 printf("%d\n",*p);
- 14 printf("%d\n",*p1);
雖然在我測(cè)試的時(shí)候都給出了正確的結(jié)果,但是這樣做還是很危險(xiǎn)的,因?yàn)榫植孔兞吭诤瘮?shù)執(zhí)行完畢后會(huì)被銷(xiāo)毀,這個(gè)時(shí)候如果將局部變量的地址返回可能會(huì)得到野指針。
函數(shù)指針
下面來(lái)分析一個(gè)比較復(fù)雜的函數(shù)指針調(diào)用
- 1 (*(int** (*) (int **,int **))0)(int **,int **);
有點(diǎn)暈,其實(shí)分開(kāi)來(lái)看,
int** (*) (int **,int **) 其實(shí)就是一個(gè)函數(shù)指針,函數(shù)的返回值是整形的二級(jí)指針,參數(shù)是兩個(gè)整形的二級(jí)指針。
而(int** (*) (int **,int **))0就是講地址0指向的區(qū)域轉(zhuǎn)換為函數(shù)指針
*(int** (*) (int **,int **))0就是對(duì)這個(gè)函數(shù)進(jìn)行解引用
而(*(int** (*) (int **,int **))0)(int **,int **)則是指行函數(shù)調(diào)用
先整理這么多吧,C語(yǔ)言博大精深,有著各種鮮為人知的高級(jí)特性,這里列出來(lái)的只是九牛一毛而已,權(quán)當(dāng)復(fù)習(xí)而已。