Freeは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へのコールを追加すると、クラッシュします。

コードはがクラッシュしても意味しないので、はとなります。