Функция Variadic в C99 для освобождения нескольких массивов?

Question

В настоящее время, у меня есть очень простая функция для освобождения массива двойников в моей программе:

void deallocate(double** array) 
{ 
    free(*array); 
} 

Я хотел бы эту функцию, чтобы быть VARIADIC для того, чтобы занять несколько массивов, и освободить их один за другим. Я никогда не писал вариационную функцию, и, поскольку могут существовать трюки с указателями, я хотел бы знать, как это сделать.

Answer 1

Не делайте этого с помощью вариационной функции, эта концепция должна быть удалена. В частности, это не имеет никакого смысла для чего-то, что должно принимать аргументы одного и того же типа, void*.

Просто простую функцию, первый, который принимает массив указателей

void free_arrays(void* a[]) { 
    for (size_t i = 0; a[i]; ++i) free(a[i]); 
} 

Затем вы можете обернуть, что с помощью макроса, как тот

#define FREE_ARRAYS(...) free_arrays((void*[]){ __VA_ARGS__, 0 }) 

Это предполагает, что ни один из ваших указателей нет уже 0, так как обработка остановится в этой точке.

Если у вас есть необходимость в работе, даже если некоторые из указателей равны 0, вам необходимо передать количество элементов в качестве первого параметра вашей функции. Это немного утомительно, но может быть определено и в макросе.

void free_arrays0(size_t n, void* a[]) { 
    for (size_t i = 0; i < n; ++i) free(a[i]); 
} 

#define FREE_ARRAYS0(...)         \ 
    free_arrays(            \ 
       sizeof((void*[]){ __VA_ARGS__})/sizeof(void*), \ 
       (void*[]){ __VA_ARGS__}      \ 
      ) 

Answer 2

Вы можете сделать это следующим образом:

void deallocate(double *p, ...) 
{ 
    va_list ap; 

    va_start(ap, p); 
    do { 
     free(p); 
     p = va_arg(ap, double *); 
    } while (p); 
    va_end(ap); 
} 

вызов как deallocate(p1, p2, p3, (double *)NULL). Вам нужен NULL (или какое-то другое значение) в качестве часового, чтобы сигнализировать конец списка аргументов; ни один из других указателей не должен быть NULL, или цикл остановится преждевременно.

Я не говорю, что это хорошая идея: функции varargs имеют свои прецеденты, но они подвержены ошибкам с указателями, потому что некоторые неявные преобразования не происходят (поскольку компилятор не выполняет знать тип аргументов за пределами первого).