《 C 語(yǔ)言的一些“騷操作”及其深層理解》之關(guān)于變量互換與sizeof

關(guān)于變量互換

初學(xué)C語(yǔ)言的時(shí)候，有一個(gè)小編程題我們應(yīng)該都記得，就是變量互換。

int a,b;

int temp;

temp=a;

a=b;

b=temp;

變量a與b的值互換，在這過(guò)程中一定需要一個(gè)中間變量temp作為中轉(zhuǎn)。不用這個(gè)中間變量能不能實(shí)現(xiàn)？請(qǐng)看下面的代碼：

int a,b;

a=a+b;

b=a-b;

a=a-b;

可以說(shuō)上面代碼有點(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法是可能會(huì)溢出的）

關(guān)于sizeof

C語(yǔ)言中的sizeof我們應(yīng)該是非常熟悉的，它的作用就是用來(lái)計(jì)算一個(gè)變量或類(lèi)型所占用的字節(jié)數(shù)。

sizeof(int) //如果是32位CPU平臺(tái)，值為4，即4個(gè)字節(jié)

int a; sizeof(a) //同上

sizeof(struct ...) //計(jì)算某結(jié)構(gòu)體的大小

這個(gè)很簡(jiǎn)單，我們?cè)賮?lái)看下面的代碼：

char *pc="abc";

sizeof(pc) //指針的sizeof等于多少？

sizeof(*pc) //指針指向的單元的sizeof等于多少？

pc用來(lái)指向char類(lèi)型的變量。pc本身是一個(gè)指針類(lèi)型，在32位平臺(tái)上sizeof(pc)的值為4，即指針類(lèi)型占用4個(gè)字節(jié)(與CPU平臺(tái)有關(guān))。*pc是pc所指向的變量，所以sizeof(*pc)的值為1。

好，還能理解吧，那我們?cè)賮?lái)看：

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ì)很多人沒(méi)見(jiàn)到過(guò)：

struct {} a,b,c;

sizeof(a) //空結(jié)構(gòu)體的sizeof等于多少?

空結(jié)構(gòu)體類(lèi)型變量的大小是多少？這個(gè)問(wèn)題似乎有些奇葩，沒(méi)什么實(shí)用性?？战Y(jié)構(gòu)體有什么用？

這個(gè)問(wèn)題可以揭示一些比較深層的問(wèn)題，我們平時(shí)注意不到。空結(jié)構(gòu)體的大小是1，即占用1個(gè)字節(jié)。當(dāng)我們的程序還僅僅是一個(gè)框架的時(shí)候，一些結(jié)構(gòu)體還只是一個(gè)空殼，只是拿一個(gè)struct的定義在那占位置而已，此時(shí)就涉及到空結(jié)構(gòu)體問(wèn)題了。通常編譯器會(huì)給空結(jié)構(gòu)體分配1個(gè)字節(jié)的內(nèi)存空間。為什么？如果不分配空間，那程序中的多個(gè)同類(lèi)型結(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類(lèi)型，那么它的值就是4（32位平臺(tái)）。