void 指针：C 和 C++ 之间的区别

Question

我试图了解 C 和 C++ 在 void 指针方面的区别。以下是用 C 编译而不是 C++ 编译（所有编译都使用 gcc/g++ -ansi -pedantic -Wall 完成）：

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

因为malloc 返回void*，C++ 不允许将其分配给int*，而C 允许这样做。

但是，这里：

void foo(void* vptr)
{
}

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

C++ 和 C 都可以毫无问题地编译它。为什么？

K&R2 说：

任何指向对象的指针都可以是 无损失地转换为void * 类型 的信息。如果结果是 转换回原来的指针 类型，原来的指针是 恢复了。

这很好地总结了 C 中关于 void* 转换的所有内容。C++ 标准规定了什么？

Answer 1

在 C 中，与void* 之间的指针转换始终是隐式的。

在 C++ 中，从 T* 到 void* 的转换是隐式的，但从 void* 到其他任何东西都需要强制转换。

Answer 2

C++ 的类型比 C 更强。许多转换，特别是那些暗示对值的不同解释的转换，都需要显式转换。 C++ 中的 new 运算符是一种类型安全的在堆上分配内存的方法，无需显式强制转换。

Answer 3

了解指针类型转换实际上并不需要执行额外的 CPU 指令是很有用的。在编译期间对它们进行分析，以了解开发人员的意图。 void * 是一个不透明的指针。它只是说指向对象的类型是未知的。 C 是弱类型的。它允许在 (void *) 和任何 (T*) 之间隐式进行直接转换。 C++ 是强类型的。从 (void *) 到 (T*) 的转换对于强类型语言来说并不是很好的例子。但是 C++ 必须保持与 C 的向后兼容，因此它必须允许这样的转换。指导原则是：显式优于隐式。因此，如果您希望将 (void*) 转换为某个特定的 (T*) 指针，则需要在代码中显式编写。从 (T*) 到 (void*) 的转换不需要显式转换，因为直接对 (void*) 指针无能为力（尽管可以调用 free()）。因此 (T*) 到 (void*) 的转换非常安全。