《 C 語言的一些“騷操作”及其深層理解》之關(guān)于變量互換與sizeof
關(guān)于變量互換
初學(xué)C語言的時(shí)候,有一個(gè)小編程題我們應(yīng)該都記得,就是變量互換。
int a,b;
int temp;
temp=a;
a=b;
b=temp;
變量a與b的值互換,在這過程中一定需要一個(gè)中間變量temp作為中轉(zhuǎn)。不用這個(gè)中間變量能不能實(shí)現(xiàn)?請看下面的代碼:
int a,b;
a=a+b;
b=a-b;
a=a-b;
可以說上面代碼有點(diǎn)小巧妙,那么下面的代碼就真正是巧妙了:
int a,b;
a=a^b;
b=a^b;
a=a^b;
異或運(yùn)算有一個(gè)性質(zhì)叫自反性,這個(gè)可以實(shí)現(xiàn)很多巧妙的操作,大家可以深入研究一下。(異或位運(yùn)算比上面的加減法更嚴(yán)謹(jǐn),因?yàn)榧訙p法是可能會溢出的)
關(guān)于sizeof
C語言中的sizeof我們應(yīng)該是非常熟悉的,它的作用就是用來計(jì)算一個(gè)變量或類型所占用的字節(jié)數(shù)。
sizeof(int) //如果是32位CPU平臺,值為4,即4個(gè)字節(jié)
int a; sizeof(a) //同上
sizeof(struct ...) //計(jì)算某結(jié)構(gòu)體的大小
這個(gè)很簡單,我們再來看下面的代碼:
char *pc="abc";
sizeof(pc) //指針的sizeof等于多少?
sizeof(*pc) //指針指向的單元的sizeof等于多少?
pc用來指向char類型的變量。pc本身是一個(gè)指針類型,在32位平臺上sizeof(pc)的值為4,即指針類型占用4個(gè)字節(jié)(與CPU平臺有關(guān))。*pc是pc所指向的變量,所以sizeof(*pc)的值為1。
好,還能理解吧,那我們再來看:
char a1[]="abcd";
sizeof(a1) //數(shù)組的sizeof等于多少?
void fun(char a1[]) //形參a1的sizeof等于多少?
{
//....
}
第一個(gè)sizeof(a1)等于5,因?yàn)樗且粋€(gè)數(shù)組(最后還有一個(gè)字符串結(jié)束符’\0’)。第二個(gè)sizeof(a1)等于4,形參中的a1不再是一個(gè)數(shù)組,而是一個(gè)指針。
好,下面的實(shí)例估計(jì)很多人沒見到過:
struct {} a,b,c;
sizeof(a) //空結(jié)構(gòu)體的sizeof等于多少?
空結(jié)構(gòu)體類型變量的大小是多少?這個(gè)問題似乎有些奇葩,沒什么實(shí)用性??战Y(jié)構(gòu)體有什么用?
這個(gè)問題可以揭示一些比較深層的問題,我們平時(shí)注意不到??战Y(jié)構(gòu)體的大小是1,即占用1個(gè)字節(jié)。當(dāng)我們的程序還僅僅是一個(gè)框架的時(shí)候,一些結(jié)構(gòu)體還只是一個(gè)空殼,只是拿一個(gè)struct的定義在那占位置而已,此時(shí)就涉及到空結(jié)構(gòu)體問題了。通常編譯器會給空結(jié)構(gòu)體分配1個(gè)字節(jié)的內(nèi)存空間。為什么?如果不分配空間,那程序中的多個(gè)同類型結(jié)構(gòu)體變量如何區(qū)分呢?比如a、b、c這三個(gè)變量,它們必須要被分配到不同的地址上去,各占1個(gè)字節(jié)的空間。
另外,因?yàn)閟izeof有一個(gè)(),所以很多人想當(dāng)然的把它當(dāng)成一個(gè)函數(shù)。但其實(shí)它表達(dá)的是一個(gè)常數(shù)(運(yùn)算符),它的值在程序編譯期間就確定了。比如sizeof(i++),其中i為int類型,那么它的值就是4(32位平臺)。