c - 检测从 void * 到错误指针类型的转换

Question

例如:

int *k;
void* c=(void*)&k;
char* x=(char*)c;//outputs a warning or an error
int *g=(int *)c;//compiles successfully(without warnings)

int *gg = malloc(sizeof(int)); //compiles successfully(without warnings)

是否可以使用 gcc 或任何其他编译器实现此目的？

Answer 1

简短的回答是否定的。一旦将指针指向 void*，您就会丢失所有类型信息。

假设您将 void* 传递给不同翻译单元中的函数。编译其他翻译单元时，编译器无法验证您对该指针所做的任何操作的语义。

如果您希望编译器强制执行强类型，请不要使用 void*。