C 和 C 中的空指標：為什麼隱式轉換會不同？

理解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中文網其他相關文章！