理解空指針：C 和C 之間的差異

空指針是C 和C 的一個關鍵方面，但也存在顯著差異在他們的處理中。本文探討了這些差異，並解釋了為什麼會出現看似矛盾的行為。

C 中的隱式轉換

在C 中，指標到特定型別之間的轉換（例如， int) 和void 指標(void) 始終是隱性的。這意味著下面的語句是有效的：

int* p = malloc(sizeof(int));

malloc函數傳回一個void*，然後將其指派給int * 指針。然而，在 C 中，這樣的隱式轉換是不允許的。

C 中的明確轉換

在C 中，從指標到void 指標的轉換仍然是隱式的，但是從void 指標轉換為特定型別需要顯式強制轉換。這解釋了為什麼以下程式碼可以在 C 和 C 中編譯：

void foo(void* vptr)
{
}

int main()
{
    int* p = (int*) malloc(sizeof(int));
    foo(p);
    return 0;
}

malloc 函數傳回一個 void*，該值傳遞給 foo 函數。即使 int* 指標被指派給 void* 參數，C 也允許這種隱式轉換。然而，對 p 的後續呼叫需要明確轉換為 int* 類型。

標準觀點

根據 K&R2 規範，任何指向物件的指標都可以安全地轉換為 void* 而不會遺失資訊。此外，轉換回原始指標類型會恢復原始值。在 C 中，標準指定允許從任何指標類型到 void* 的隱式轉換，但從 void* 到任何其他類型的轉換需要明確轉換。

結論

C 和 C void 指標處理之間的主要差異在於從 void* 轉換為 C 中的特定型別時需要明確轉換。這種更嚴格的方法有助於防止未定義的行為並維護 C 程式碼中的類型安全。