使用void**释放其他类型双指针是否存在问题？技术咨询

问题背景 #

我通过以下函数实例化了一个二维int数组：

int **make2Dint(int rows, int columns) {
    //a is our 2D array
    int **a = (int **)calloc(rows, sizeof(int *));
    //If we can't allocate the necessary memory, return null.
    if (!a) {
        return (int **)NULL;
    }
    //Allocate each row with the correct amount of column memory.
    for (int i = 0; i < rows; i++) {
        a[i] = (int *) calloc(columns, sizeof(int));
        //If we can't allocate the necessary memory, return null.
        if (!a[i]) {
            return (int **)NULL;
        }
    }
    return a;
}

同时编写了对应的释放函数：

void free2DArray(void **a, int rows) {
    for (int i = 0; i < rows; i++) {
        free(a[i]);
    }
    free (a);
}

但调用free2DArray(array, rows)时，GCC发出警告：**期望‘void **’但实参类型为‘int ’。我可以通过强制转换为void**消除警告，但怀疑这种用法存在问题。

我知道C语言中不存在通用的指针的指针类型，void*作为通用指针是因为与其他指针类型间可自动转换，但对指向非void*类型的void**进行间接访问时无法完成这类转换。任何void**都应指向实际的void*值，强制转换如(void**)&dp不具备可移植性。不过我并未解引用该指针，不确定是否真的存在问题，想请教这种用法是否有问题及原因。

问题分析与解答 #

首先，咱们得明确为什么编译器会抛出这个警告：

• C标准规定，void*可以和任何对象指针类型进行隐式转换，但**void**和int**是完全不同的指针类型**——void**是指向void*的指针，而int**是指向int*的指针。这两种指针指向的对象类型不同，所以无法隐式转换，编译器自然会发出警告。

那强制转换(void**)array来消除警告的做法到底有没有问题？答案是：存在可移植性风险，属于标准意义上的未定义行为，原因主要有两点：

1. 严格别名规则的违反：
   C标准的严格别名规则规定，程序不能通过一个类型的指针去访问另一个不兼容类型的对象（除非是char*）。当你把int**强制转换成void**并在函数中使用时，本质上是用void**类型的指针去访问原本是int*类型的元素（a[i]实际是int*，但函数里将其视为void*），这就违反了严格别名规则。虽然在大多数常见架构（如x86_64）上，int*和void*的内存表示完全一致，不会出现问题，但C标准并不保证这一点——某些特殊架构下可能存在指针类型的大小或布局差异，导致程序崩溃或行为异常。
2. 指针类型的语义不匹配：
   void**的语义是“指向通用指针的指针”，而你的int**是“指向int指针的指针”。强制转换后，函数内部的代码逻辑依赖于a[i]是void*类型，但实际存储的是int*值。虽然free()本身可以接受任何void*（int*会隐式转换为void*），但这种类型的“错位”使用不符合C标准的设计意图，会给代码的可维护性和可移植性埋下隐患。

正确的解决方案 #

要写出既通用又符合标准的二维数组释放函数，只需要把函数的参数类型从void**改成void*，然后在函数内部转换成void**即可：

void free2DArray(void *a, int rows) {
    void **array = a;
    for (int i = 0; i < rows; i++) {
        free(array[i]);
    }
    free(array);
}

调用时直接传入int**类型的数组即可，不需要任何强制转换：

int **myArray = make2Dint(5, 10);
// 使用数组...
free2DArray(myArray, 5);

这样做的好处是：

• 符合C标准，void*可以接受任何对象指针类型，不会触发编译器警告；
• 内部转换为void**后，遍历释放的逻辑依然成立（因为我们的二维数组是分层分配的，每个元素都是一个指针）；
• 保持了函数的通用性，不仅可以释放int**类型的数组，也可以释放char**、float**等类似结构的二维数组。

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