C++中传递va_list引用是否合法？clang-tidy警告是否为误报？

1. 传递va_list引用是否合法且符合预期？ #

语法上完全合法，C++允许将va_list作为引用参数传递，但行为上存在需要注意的点：

• va_list本质是迭代式的参数容器，调用vsprintf这类可变参数函数后，内部的指针会移动到下一个未处理的参数位置。
• 如果传引用，函数内部对va_list的操作会直接修改调用者手里的原对象。要是调用者在调用appendFoo后还想继续使用这个va_list，就会因指针已移动而拿到错误参数。
• 通常更推荐按值传递va_list，这样函数操作的是副本，不会影响调用者的原对象，能避免后续误用。

2. clang-tidy的警告是否为误报？ #

不是误报，原因如下：

• clang-tidy的静态分析会追踪va_list的初始化状态和生命周期。传递引用时，分析器难以准确追踪这个引用指向的va_list是否在传入前已通过va_start正确初始化，或是是否被其他操作修改过，因此触发未初始化警告。
• 改为按值传递后，函数接收的是原va_list的副本，分析器能明确这个副本基于已初始化的原对象生成，所以警告消失。
• 另外，你的函数实现里没有调用va_copy，如果传进来的引用va_list已经被使用过，后续操作会导致参数读取错误，这个警告其实是在提示这类潜在风险。

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