理解Void 指標:C 和C 之間的差異
Void 指標是C 和C 的一個關鍵方面,但也存在顯著差異在他們的處理中。本文探討了這些差異,並解釋了為什麼會出現看似矛盾的行為。
C 中的隱式轉換
在C 中,指標到特定型別之間的轉換(例如,int) 和void 指標(void) 總是隱式的。這表示以下語句是有效的:
<code class="c">int* p = malloc(sizeof(int));</code>
malloc 函數傳回一個 void*,然後將其指派給 int* 指標。然而,在 C 中,這樣的隱式轉換是不允許的。
C 中的明確轉換
在C 中,從指標到void 指標的轉換仍然是隱式的,但從void 指標轉換為特定型別需要顯式強制轉換。這解釋了為什麼以下程式碼在 C 和 C 中都可以編譯:
<code class="c">void foo(void* vptr) { } int main() { int* p = (int*) malloc(sizeof(int)); foo(p); return 0; }</code>
malloc 函數傳回一個 void*,它被傳遞給 foo 函數。即使 int* 指標被指派給 void* 參數,C 也允許這種隱式轉換。然而,後續對 p 的呼叫需要明確轉換為 int* 類型。
標準的視角
根據 K&R2 規範,任何指向物件的指標都可以安全地轉換為 void* 而不會遺失資訊。此外,轉換回原始指標類型會恢復原始值。在 C 中,標準規定允許從任何指標類型到 void* 的隱式轉換,但從 void* 到任何其他類型的轉換需要明確轉換。
結論
C 和 C void 指標處理之間的主要差異在於從 void* 轉換為 C 中的特定類型時需要明確轉換。這種更嚴格的方法有助於防止未定義的行為並維護 C 程式碼中的類型安全。
以上是C 和 C 中的空指標:為什麼隱式轉換會不同?的詳細內容。更多資訊請關注PHP中文網其他相關文章!