第一種，最常用的是創(chuàng)建一個(gè)中間變量來(lái)循環(huán)交換它們的值:

T a = ...;
T b = ...;
.
T tmp = a; a = b; a = tmp;

我們稱這種策略p99_swap1。在這里，編譯器必須嚴(yán)格實(shí)現(xiàn)三個(gè)任務(wù)的順序，否則，由此程序產(chǎn)生的結(jié)果將是不正確的。

第二種，叫它p99_swap2，試圖做類似的事情，但放松一些順序約束：

T a = ...;
T b = ...;
.
T tmpa = a; T tmpb = b;
a = tmpb; b = tmpa;

用更多的資源（棧空間或寄存器）可以產(chǎn)生更有效的代碼。兩個(gè)對(duì)象可以平行地加載和保存。但收益可能只在小對(duì)象上可以看到。所以將兩者結(jié)合起來(lái)是一個(gè)可能的嘗試

#define P99_SWAP(A, B) (sizeof(A) > sizeof(uintmax_t) ? P99_SWAP1(A, B) : P99_SWAP2(A, B))

但是如何實(shí)現(xiàn)兩個(gè) “子宏” P99_SWAP1 和 P99_SWAP2(A, B) ？如果我們想使用C的宏或者函數(shù)來(lái)實(shí)現(xiàn)的難度在于僅僅是傳遞參數(shù)A和B而不知道其類型，所以讓我們先寫函數(shù)和宏，忘記類型問(wèn)題：

inline
void p00_swap2(void* a, void* b, void* tmpa, void* tmpb, size_t len) {
  memcpy(tmpa, a, len);
  memcpy(tmpb, b, len);
  memcpy(b, tmpa, len);
  memcpy(a, tmpb, len);
}
#define P00X_SWAP2(A, B) p00_swap2(
  &(A),                   \
  &(B),                   \
  (char[sizeof(A)]){ [0] = 0 },       \
  (char[sizeof(A)]){ [0] = 0 }, sizeof(A))

這個(gè)古怪的表達(dá)式： (char[sizeof(A)]){ [0] = 0 } 被稱為復(fù)合文字（C99新特性），為復(fù)制操作提供臨時(shí)對(duì)象。

這有幾個(gè)缺點(diǎn)。首先，我們甚至沒有檢查是否A和B與對(duì)象具有相同的大小，但我們很愉快地復(fù)制到他們。因此，首先，我們必須斷言它們至少具有相同的大小，避免引起不確定的行為。這樣就可以為兩個(gè)復(fù)合文字實(shí)現(xiàn)一些表達(dá)上的魔法：

(char[sizeof(A)]){ [(intmax_t)sizeof(A) - sizeof(B)] = 0 }

其中：intmax_t類型指定一個(gè)最大尺寸有符號(hào)整數(shù)

這里發(fā)生了什么？右邊的[]里面，一個(gè)指定的初始值，被用來(lái)初始化字符數(shù)組中的一個(gè)元素?，F(xiàn)在我們將比較兩者的大小：如果兩者相等，則表示位置0處的元素，如果sizeof(A) < sizeof(B) ，類型轉(zhuǎn)換 intmax_t 在編譯的期間將產(chǎn)生一個(gè)負(fù)數(shù)。

如果現(xiàn)在我們將上面的策略應(yīng)用于第二個(gè)復(fù)合文字，我們得到一個(gè)宏，在它調(diào)用兩個(gè)相同大小的對(duì)象的時(shí)候成功編譯，并在大小不同的時(shí)候在編譯期間產(chǎn)生錯(cuò)誤：

#define P00_SWAP2(A, B)
p00_swap2(                           \
   &(A),                            \
   &(B),                            \
   (char[sizeof(A)]){ [(intmax_t)sizeof(A) - sizeof(B)] = 0 }, \
   (char[sizeof(B)]){ [(intmax_t)sizeof(B) - sizeof(A)] = 0 }, \
   sizeof(A))

這現(xiàn)在已經(jīng)是更安全，但也許還不夠安全，因?yàn)檫@兩個(gè)對(duì)象可能有相同的大小，但仍然不是同一類型。我們可以做一個(gè)額外的檢查來(lái)確定這兩種類型是否是兼容的。這可以通過(guò)下面這樣的可能第一眼看起來(lái)有點(diǎn)hack

(1 ? &(A) : ((A = B), NULL))
#define P99_SWAP(A, B) (sizeof(A) > sizeof(uintmax_t) ? P99_SWAP1(A, B) : P99_SWAP2(A, B))

這里的條件總是真，所以它總是等于&(A)。第二個(gè)“假”部分在運(yùn)行時(shí)從未執(zhí)行，但只用來(lái)檢查它是否是正確的C代碼。如果A和B不會(huì)兼容，則表示不是正確的C代碼。

以上就是這篇文章的全部?jī)?nèi)容，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)和工作能帶來(lái)幫助，如果有疑問(wèn)可以留言交流。

最新評(píng)論