extern int *x;
extern int y[];
x是一個(gè)指向int類型的指針,y是一個(gè)int型數(shù)組,沒(méi)有給出數(shù)組長(zhǎng)度,是不完整類型,但是聲明的時(shí)候數(shù)組的長(zhǎng)度并不是必須,但我還是建議加上數(shù)組的維數(shù),那樣只看聲明就能知道數(shù)組有多大。上面兩個(gè)聲明是不同的數(shù)據(jù)類型。
什么是聲明,什么是定義?
聲明相當(dāng)于普通的聲明:它所說(shuō)明的并非自身,而是描述其他地方創(chuàng)建的對(duì)象。
定義相當(dāng)于特殊的聲明:它為對(duì)象分配內(nèi)存。
這就是為什么一個(gè)函數(shù)在main函數(shù)之前定義,我們不用再聲明,main也可以調(diào)用這個(gè)函數(shù),因?yàn)槎x是特殊的聲明。
但是C語(yǔ)言,它本身為了和老代碼兼容以及一些歷史遺留問(wèn)題,讓它變得有些缺陷。比如,都知道定義只能有一次,聲明可以有多次。
eg:
變量b會(huì)報(bào)重復(fù)定義,但是變量a卻不會(huì),奇怪么?局部變量,和上面說(shuō)的一樣,定義只能一次,聲明可以多次,所以變量b重復(fù)定義,但是為什么變量a編譯器通過(guò)了這種寫法呢?這里是定義了兩次還是其他情況?
我們把上面的變量b去掉,只測(cè)試變量a:
這樣三種寫法,編譯都通過(guò),那么我們?cè)贉y(cè)試:
終于,報(bào)錯(cuò)了。從測(cè)試過(guò)程來(lái)看,gcc還是不允許多次定義同一個(gè)變量的。那么為什么前面的測(cè)試看起來(lái)像是重復(fù)定義了呢?這是因?yàn)閏語(yǔ)言的全局變量,默認(rèn)有外部屬性,int a;int a=1;這樣的,第一個(gè)是聲明,第二個(gè)是定義,只有在全局變量時(shí)才是這樣,上面的int a,相當(dāng)于extern int a;所以前面三種測(cè)試沒(méi)報(bào)錯(cuò)。這個(gè)缺陷,在c++中已經(jīng)修復(fù),c++中絕對(duì)不允許這樣的寫法。
像這樣的C語(yǔ)言灰色地帶還有很多。
所以,使聲明和定義相匹配是很重要的。
經(jīng)過(guò)gcc檢測(cè),形如:
extern char *p;
char p[10]="abcd";
這樣的聲明和定義是不能通過(guò)編譯器的,或許c專家編程還是有點(diǎn)古老了吧。
聯(lián)系客服