以下のコードでは、逆参照型のペーンドポインタが厳密なエイリアシングルールを破ることがあります＆どのように修正するのですか？

Question

int test_malloc(void **ptr, size_t size) 
{ 
    (*ptr) = malloc(size); 
    return 0; 
} 

int test_app() 
{ 
    char *data = NULL; 
    int ret = 0; 
    ret = test_malloc((void **)&data, 100); 
} 

コンパイラ：他の人の中のgcc 4.1.2

、私はこれをチェックするいくつかのオプションをオンにしていると思うしている-O2 -Wall &を使用しています。私はこの1つのようにしてみてください

Answer 1

正常に動作します。

あなたはこのようにそれを解決することができます：

int test_app() 
{ 
    char *data = NULL; 
    void *void_data = NULL; 
    int ret = 0; 
    ret = test_malloc(&void_data, 100); 
    data = (char*)void_data; 
} 

しかし、さらに良いが、このような問題を回避するためにtest_mallocリターンvoid*を作ることです。

Answer 2

はあなたがタイプchar*の変数を持っている、とtest_mallocにあなたは厳格なエイリアシング規則を破るタイプvoid *の左辺値を介して、それを変更している

void * test_malloc(int size) 
{ 
    void *mem = malloc(size); 
    if (mem == NULL) 
    { 
     printf("ERROR: test_malloc %d\n", size); 
    } 
    return mem; 
} 

int test_app() 
{ 
    char *data; 
    int ret = 0; 
    data = test_malloc(100); 

    if(data != NULL) 
     free(data); 
} 

Answer 3

Cで実行しようとしていることはできません。無効なコードです。 void *を汎用ポインタを返すには、唯一の方法は戻り値です。これは、void *が任意のポインタ型に変換され、任意のポインタ型がvoid *に変換されますが、void **は以外のポインタ型へのポインタに変換されず、void **に変換されません。