Бесплатно не бесплатные указатели, отправленные в виде списка va_arg

Question

Я хочу освободить список переменных указателя с помощью макроса freeS ниже: freeS (s1, s2, ...);

Мой код не освобождает первый указатель, несмотря на получение печати с первым адресом указателя из функции freeSF. В основном, бесплатно (s1) работает, но он должен. free (s2) в основных авариях, как ожидалось.

Как я могу освободить указатель s1 в функции freeSF?

#include <stdio.h> 
#include <stdarg.h> 
#include <string.h> 
#include <stdlib.h> 

#define freeS(...) freeSF("", __VA_ARGS__, NULL) 
void freeSF(char *paramType, ...) { 
    va_list pl; 

    va_start(pl, paramType); 
    paramType = va_arg(pl, char *); 
    while (paramType) { 
     printf("arg %p\n", paramType); 
     free(paramType); 
     paramType = va_arg(pl, char *); 
    } 
    va_end(pl); 
} 

int main(int ARGC, char** ARGV) { 
    char *s1 = strdup("1"); 
    char *s2 = strdup("2"); 
    printf("s1 %p, s2 %p\n", s1, s2); 
    freeS(s1, s2); 
    free(s1); 
} 

Answer 1

Ваша программа показывает undefined behavior, потому что вы являетесь двойным освобождением.

С неопределенным поведением все может случиться. Ваша программа может потерпеть крах, может выдавать странные результаты, или (в этом случае) может показаться, что она работает правильно. Добавление, казалось бы, несвязанных изменений, таких как вызов printf или добавление неиспользуемой локальной переменной, может изменить способ проявления неопределенного поведения.

В этом случае вызов free(s1) в main не вызывает крушения. Это все еще неопределенное поведение. Например, когда я запускаю этот код, он не падает. Но если я добавлю вызов malloc непосредственно перед вызовом free(s1), он сработает.

Просто потому, что код может авария не означает его будет.