當前位置:才華齋>計算機>C語言>

C語言中根據成員變數來排序的兩種方法

C語言 閱讀(3.17W)

C語言中根據成員變數來排序有兩種方法,分別是什麼方法呢,下面小編為你介紹一下吧!

C語言中根據成員變數來排序的兩種方法

第一種,最常用的是建立一箇中間變數來迴圈交換它們的值:

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

我們稱這種策略p99_swap1。在這裡,編譯器必須嚴格實現三個任務的順序,否則,由此程式產生的結果將是不正確的。

第二種,叫它p99_swap2,試圖做類似的事情,但放鬆一些順序約束:

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

用更多的資源(棧空間或暫存器)可以產生更有效的程式碼。兩個物件可以平行地載入和儲存。但收益可能只在小物件上可以看到。所以將兩者結合起來是一個可能的嘗試

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

但是如何實現兩個 “子巨集” P99_SWAP1 和 P99_SWAP2(A, B) ?如果我們想使用C的巨集或者函式來實現的難度在於僅僅是傳遞引數A和B而不知道其型別,所以讓我們先寫函式和巨集,忘記型別問題:

inlinevoid 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))

這個古怪的表示式: (char[sizeof(A)]){ [0] = 0 } 被稱為複合文字(C99新特性),為複製操作提供臨時物件。

這有幾個缺點。首先,我們甚至沒有檢查是否A和B與物件具有相同的大小,但我們很愉快地複製到他們。因此,首先,我們必須斷言它們至少具有相同的大小,避免引起不確定的行為。這樣就可以為兩個複合文字實現一些表達上的魔法:

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

其中:intmax_t型別指定一個最大尺寸有符號整數

這裡發生了什麼?右邊的.[]裡面,一個指定的初始值,被用來初始化字元陣列中的一個元素。現在我們將比較兩者的大小:如果兩者相等,則表示位置0處的元素,如果sizeof(A) < sizeof(B) ,型別轉換 intmax_t 在編譯的期間將產生一個負數。

如果現在我們將上面的策略應用於第二個複合文字,我們得到一個巨集,在它呼叫兩個相同大小的物件的時候成功編譯,並在大小不同的時候在編譯期間產生錯誤:

#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))

這現在已經是更安全,但也許還不夠安全,因為這兩個物件可能有相同的大小,但仍然不是同一型別。我們可以做一個額外的檢查來確定這兩種型別是否是相容的。這可以通過下面這樣的可能第一眼看起來有點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)。第二個“假”部分在執行時從未執行,但只用來檢查它是否是正確的C程式碼。如果A和B不會相容,則表示不是正確的C程式碼。

以上就是這篇文章的全部內容,希望本文的內容對大家的學習和工作能帶來幫助,如果有疑問可以留言交流。