释放为指针指针分配的所有空间，而不知道其类型

Question

我有一个C程序，它使用一些指针，如int ** ， float ** ， double ** ， long **等。最后，我想释放为它们分配的空间。

为了模块化，我有一个函数可以获取指针到指针的形式的对象并释放为它分配的内存空间。 例如，对于int **类型的变量，如下所示。

void FreeIntArray(int **A, int length){
    int i;
    for (i = 0; i < length; i ++)
       free(A[i]);
    free(A);
}

但是，要释放float **或double **形式的变量，我需要编写另一个几乎是上面一个的副本的函数，除了在函数定义中将int **更改为float ** 。

是一种设计单个函数的方法，可以释放分配给以下任何数据类型的空间： int ** ， float ** ， double ** ， long ** ？

Answer 1

如果您想要严格遵守ISO C标准对最大可移植性的定义，那么没有重复编码就无法做到这一点。 我们可以将逻辑转换为单个函数，但是该函数需要在指示类型的整数变量上进行某种切换，因此它可以正确地访问type **指针作为正确的类型。

我们可以放弃最大可移植性并假设所有指针具有相同的表示。 （另外假设我们不会被优化编译器中的严格别名假设所困扰。）然后我们可以像这样写：

void free_array(void *aptr, size_t nelem) {
    void **a = (void **) aptr;
    while (nelem--)
      free(*a++);
    free(aptr);
}

另一种方法是使用宏：

#define GEN_AFREE(name, type)                   \
   void afree_ ## name (type **a, size_t nelem) \
   {                                            \
     [...]                                      \
   }

GEN_FREE_ARRAY_FUN(int, int)
GEN_FREE_ARRAY_FUN(double, double)
GEN_FREE_ARRAY_FUN(string, char)

或者不是定义宏，我们可以只创建一个封装循环数组并调用free的宏：

#define FREE_ARRAY(array, size) do {         \
  size_t iNdEx;                              \
  for (iNdEx = 0; iNdEx < (size); iNdEx++)   \
    free((array)[iNdEx]);                    \
  free(array);                               \
} while (0)