理解空指针：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 代码中的类型安全。