c - 为什么下面的代码给出 "dereferencing type-punned pointer will break strict aliasing rules"以及如何修复它？

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，我认为它们正在打开一些检查这一点的选项。

Answer 1

你有一个 char* 类型的变量，在 test_malloc 中你通过 void * 类型的左值修改它，这会中断严格的别名规则。

你可以这样解决:

 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* 以避免此类问题。