C23标准下使用{}空初始化va_list后再调用va_start()是否合法？

这确实是个挺闹心的误报问题——编译器升级到GCC15默认用C23，结果老版本Coverity跟不上新的__builtin_c23_va_start，把合法的代码当成未初始化来报。咱们来仔细说清楚你的疑问：

核心结论：这么写完全合法，没有未定义行为 #

1. va_list va = {};的合法性
   C23里的= {}是通用值初始化，标准明确规定这种初始化方式适用于所有类型，包括va_list这种标准定义的不透明类型。对于不透明类型，C标准要求其实现必须兼容通用初始化，所以这行代码完全符合规范，不会触发未定义行为（UB）。哪怕是在C11及以后的版本里，这种写法也是合法的，因为值初始化的规则早就覆盖了这类场景。

2. 后续调用va_start的合法性
   va_start的作用是专门初始化va_list对象，用来准备可变参数的遍历。C标准允许对已经初始化的va_list调用va_start（只要参数符合要求，比如第二个参数是最后一个命名参数），它会直接覆盖va之前的状态——不管之前是零值初始化的状态，还是其他合法状态，都不会有问题。说白了，va_start就是负责把va变成可用的状态，之前的初始化只是给它一个合法的“起点”，不会干扰后续操作。

针对你的场景的额外好处 #

这种写法刚好能戳中Coverity误报的点：它会认为va已经被初始化了，从而停止报错。而且这不是什么“hack”写法，本身就是符合标准的规范代码，哪怕后续Coverity升级了，这么写也完全没问题。

关于你的三个解决方案 #

• 更新Coverity：这是最彻底的解决办法，既然已经在推进了，那肯定是最优选择；
• 注释抑制警告：确实能解决问题，但会让代码里多一堆注释，显得杂乱，长期维护不太友好；
• = {}初始化：既合规又简洁，完全没有风险，作为临时过渡或者长期写法都合适，非常推荐。

内容来源于stack exchange