免費沒有免費的指針作爲va_arg列表發送

Question

我想釋放一個變量列表的指針與freeS宏下面：freeS（s1，s2，...）;

儘管使用freeSF函數的第一個指針地址進行打印，但我的代碼並未釋放第一個指針。 主要，免費（s1）的作品，但它應該。免費（s2）在主要崩潰如預期。

如何釋放freeSF函數中的s1指針？

#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或添加一個未使用的局部變量）可以改變未定義行爲的體現方式。

在這種情況下，在main中調用free(s1)不會導致崩潰。它仍然是未定義的行爲。例如，當我運行這段代碼時，它不會崩潰。但是如果我在致電free(s1)之前添加對malloc的呼叫，它確實會崩潰。

只因爲代碼可以崩潰並不意味着它將。