如何让C编译器或工具对危险的显式类型转换输出告警？

编译器原生选项 #

• GCC 可额外开启 -Wcast-align 选项：该选项会校验指针转换后目标类型的对齐要求是否高于源类型，你示例中 struct person* 转 double* 的场景下，double 的对齐要求（通常为8字节）高于 struct person 的默认对齐（受首成员int影响通常为4字节），会直接触发告警；而合法的 struct person* 转首成员类型 int* 的场景对齐要求一致，不会误报。
• Clang 可组合开启 -Wcast-align、-Wstrict-aliasing=2：其中 -Wstrict-aliasing=2 会检查违反C标准别名规则的显式转换，你示例中跨不兼容类型的指针转换明显违反别名规则，会被命中告警，符合标准的首成员指针转换不会触发。

注意：默认的 -Wall 选项不包含上述针对显式转换的校验规则，需要手动追加。

专用静态检查工具 #

• 开源工具 cppcheck：开启 --enable=warning,style 参数运行后，会自动识别明确触发未定义行为的指针类型转换，你示例中的违规转换会被直接标记风险，同时不会对符合C标准6.7.2.1p15节的合法转换误报。
• Clang 静态分析器：使用 clang --analyze 命令执行深度静态分析，工具会做基础的指针溯源校验，仅对明确非法的转换输出告警，不会误判可溯源合法的双向转换场景。

适配代码生成场景的补充建议 #

如果你生成C代码时的合法转换有明确特征，可以在生成合法转换逻辑时通过 union 包裹转换过程，或者给指针对象追加 __attribute__((may_alias)) 注解，即可完全避免合法场景被误告警，同时所有无意义的非法转换都会被上述工具拦截。

内容的提问来源于stack exchange，提问作者Andrew Thaddeus Martin