GCC不兼容指针类型警告：void**与type**适配问题求解

问题场景 #

假设有一个存储任意类型数据指针的数据库：

• 调用接收void*参数的save函数存储指针时，无论传入int*、float*还是其他类型指针，都不会触发类型警告；
• 但调用接收void**参数的retrieve函数取回指针时，传入int**、float**这类指针会被GCC报不兼容指针类型的警告，且要求不能用强制转换来规避。

无强制转换的解决方案 #

将retrieve函数的参数类型从void**改为void*，在函数内部完成类型转换。

修改前的问题代码 #

// 原retrieve函数，调用时传int**/float**会触发警告
void retrieve(void **out_ptr) {
    // 从数据库中取出存储的void*指针
    *out_ptr = get_stored_ptr();
}

// 调用示例（触发警告，必须用强制转换才能编译）
int *int_ptr;
retrieve((void**)&int_ptr);

修改后的正确代码 #

// 修改后的retrieve函数，参数为void*
void retrieve(void *out_ptr) {
    void **temp = (void**)out_ptr;
    *temp = get_stored_ptr();
}

// 调用示例（无警告，无需强制转换）
int *int_ptr;
retrieve(&int_ptr);

float *float_ptr;
retrieve(&float_ptr);

为什么void可以替换为type，但void不能替换为type？ #

1. void*的通用特性：
   C标准明确规定，void*是通用对象指针类型，它可以和任意非函数指针类型隐式互相转换。这是语言层面为了支持通用数据处理设计的特性，所以save函数用void*接收int*、float*等类型时，编译器会自动完成转换，不会触发警告。

2. void与type的类型不兼容：
   void**是指向void*的指针，而type**（比如int**）是指向type*的指针，二者属于完全不同的类型：

   • 从类型系统角度，编译器会严格区分指针指向的对象类型，void*和type*是不同的对象类型，因此指向它们的指针类型也不兼容；
   • 虽然在大多数系统中void*和type*的大小相同，但C标准并不保证这一点，隐式转换type**到void**可能导致未定义行为；
   • 即使大小相同，编译器的类型检查会认为这是不安全的转换——比如通过void**修改int*的值时，编译器可能基于类型信息做优化，导致程序行为异常。

内容的提问来源于stack exchange，提问作者hamidi