如何抑制void**隐式转换为其他类型二级指针的gcc告警？

你认为所有指针长度统一、void**和其他类型指针数组结构完全一致的结论，仅在x86、ARM等主流通用平台上成立，不具备C标准层面的可移植性，你的实现确实存在潜在风险：

• C标准仅规定void*可以容纳所有对象指针类型的值，且void*与char*有相同的表示和对齐要求，既没有要求所有指针类型长度一致，也没有要求T*和void*的内存表示相同，更没有规定T**和void**的内存布局兼容。在部分特殊架构（比如老的哈佛架构嵌入式平台、部分大型机平台）上，不同类型指针的长度、对齐要求都可能不同，你的代码在这些平台上会直接出现不可预期的错误。
• 你的实现违反了C语言的严格别名规则：用void**类型的指针访问T*类型的数组元素属于未定义行为，gcc开启-O2及以上优化等级时，可能会做出不符合你预期的优化，导致逻辑异常，这是C语言开发中非常常见的隐性坑。

根据你的场景可以选择两种不同的方案：

方案1：宏封装强转逻辑（仅适配确定运行平台的场景） #

如果你的代码只需要在主流通用平台运行，不想修改现有函数的实现，可以用宏封装自动完成类型转换，还能保留原数组的类型：

// 自动匹配输入数组的类型，完成强转和返回值转换
#define PTR_ARRAY_ADD(arr, new_ptr) ((__typeof__(arr))ptr_array_add((void **)(arr), (new_ptr)))

调用时直接写your_arr = PTR_ARRAY_ADD(your_arr, new_element_ptr);即可，不需要手动写强转代码，gcc也不会抛出类型转换告警。
注意：该方案没有解决标准兼容性问题，仅适合运行平台固定的项目使用。

方案2：修改为泛型实现（标准兼容，更推荐） #

如果希望代码符合C标准要求，没有未定义行为，可以放弃暴露void**的接口，改用泛型宏实现通用的指针数组操作，完全规避类型转换问题，示例实现如下：

#define PTR_ARRAY_ADD(arr, new_ptr) \
    do { \
        size_t cur_cnt = sizeof(arr) / sizeof((arr)[0]); \
        arr = realloc(arr, (cur_cnt + 1) * sizeof((arr)[0])); \
        /* 可根据需要添加realloc失败的判空逻辑 */ \
        arr[cur_cnt] = new_ptr; \
    } while(0)

该实现适配任意类型的指针数组，调用时不需要任何强转，也不会触发gcc的类型告警，同时完全符合C标准的要求，没有可移植性风险。

内容的提问来源于stack exchange，提问作者Joseph Wong