minix中二分查詢bsearch的實現

在看minix中bsearch實現的源**之前，先學習一下c 語言中void型別以及void*型別的使用方法與技巧。

void的含義：

void的字面意思是「無型別」，void *則為「無型別指標」，void *可以指向任何型別的資料。

void幾乎只有「注釋」和限制程式的作用，因為從來沒有人會定義乙個void變數，讓我們試著來定義：

void a;

這行語句編譯時會出錯，提示「illegal use of type 'void'」。即使void a的編譯不會出錯，它也沒有任何實際意義。

眾所周知，如果指標p1和p2的型別相同，那麼我們可以直接在p1和p2間互相賦值；如果p1和p2指向不同的資料型別，則必須使用強制型別轉換運算子把賦值運算子右邊的指標型別轉換為左邊指標的型別。

1
float *p1;
2int *p2;
3 p1 =p2;4//
其中p1 = p2語句會編譯出錯，5//
提示「'=' : cannot convert from 'int *' to 'float *'」，必須改為：
6 p1 = (float *)p2;

而void *

則不同，任何型別的指標都可以直接賦值給它，無需進行強制型別轉換：

1
void *p1;
2int *p2;
3 p1 = p2;

但這並不意味著，void *也可以無需強制型別轉換地賦給其它型別的指標。因為「無型別」可以包容「有型別」，而「有型別」則不能包容「無型別」。

小心使用void指標型別:

按照ansi(american national standards institute)標準，不能對void指標進行演算法操作，即下列操作都是不合法的：

1
void *pvoid;
2 pvoid++; //
ansi：錯誤
3 pvoid += 1; //
ansi：錯誤4//
ansi標準之所以這樣認定，是因為它堅持：進行演算法操作的指標必須是確定知道其指向資料型別大小的。5//
例如：6
int *pint;
7 pint++; //
ansi：正確
8 pint++的結果是使其增大sizeof(int)。

但是gnu則不這麼認定，它指定void *的演算法操作與char *一致。因此下列語句在gnu編譯器中皆正確：

1 pvoid++; //
gnu：正確
2 pvoid += 1; //
gnu：正確
3 pvoid++的執行結果是其增大了1。

在實際的程式設計中，為迎合

ansi

標準，並提高程式的可移植性，我們可以這樣編寫實現同樣功能的**：

1
void *pvoid;
2 (char *)pvoid++; //
ansi：正確；gnu：正確
3 (char *)pvoid += 1; //
ansi：錯誤；gnu：正確

gnu和ansi還有一些區別，總體而言，gnu較ansi更「開放」，提供了對更多語法的支援。但是我們在真實設計時，還是應該盡可能地迎合ansi標準。

如果函式的引數可以是任意型別指標，那麼應宣告其引數為void *

典型的如記憶體操作函式memcpy和memset的函式原型分別為：

1
void * memcpy(void *dest, const
void *src, size_t len);
2void * memset ( void * buffer, int c, size_t num );

這樣，任何型別的指標都可以傳入memcpy和memset中，這也真實地體現了記憶體操作函式的意義，因為它操作的物件僅僅是一片記憶體，而不論這片記憶體是什麼型別。如果memcpy和memset的引數型別不是void *，而是char *，那才叫真的奇怪了！這樣的memcpy和memset明顯不是乙個「純粹的，脫離低階趣味的」函式！

void的出現只是為了一種抽象的需要，如果你正確地理解了物件導向中「抽象基類」的概念，也很容易理解void資料型別。正如不能給抽象基類定義乙個例項，我們也不能定義乙個void（讓我們模擬的稱void為「抽象資料型別」）變數。

下面是minix系統中提供的二分查詢演算法的源**，可以進一步深入學習void*指標的使用：

1
void * bsearch(register const
void *key, register const
void *base,2
register size_t nmemb, register size_t size,
3int (*compar)(const
void *, const
void *))
4 else
16             nmemb >>= 1;17
}18return (void *)null;
19 }

下面是linux系統中提供的二分查詢演算法的源**，可以進行對比：

1
void *bsearch(const
void *key, const
void *base
, size_t num, size_t size,
2int (*cmp)(const
void *key, const
void *elt))318
19return
null;
20 }

minix中二分查詢bsearch的實現

python中二分查詢

Java中二分查詢

STL中二分查詢

minix中二分查詢bsearch的實現

python中二分查詢

Java中二分查詢

STL中二分查詢

相關推薦