檢測從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* 。