Clang与Apple macOS下va_arg是否会发生溢出？附代码异常输出

咱们先明确：你遇到的不是va_arg本身的溢出问题，而是可变参数类型不匹配+默认参数提升规则导致的栈内存越界访问，属于C++可变参数的典型误用场景。

为什么会出现随机值？ #

在macOS 64位环境下，你的代码存在两个关键问题：

• 默认参数提升：可变参数函数中，int类型的实参会保持int（32位宽度）传递（注：char/short会提升为int，float提升为double，但int本身不会再提升）。你传入的1,2,3,4,5,6都是int，每个占4字节，栈上总共是6×4=24字节的数据。
• 类型不匹配的读取：你用va_arg(args, uint64_t)每次读取8字节的数据，但实际栈上每段有效数据只有4字节。循环执行6次的话，总共要读取6×8=48字节——前24字节是你传入的6个int（但会被错误地两两拼接成3个uint64_t），后面24字节就是栈上的随机垃圾数据，所以最后一个输出自然是乱码。

怎么修复？ #

有两种直接的修复方式，还有更现代的替代方案：

方案1：让读取类型与实参匹配

要么修改va_arg的类型为int，要么把实参显式转为uint64_t：

子方案1a：修正va_arg的读取类型

#include <cstdarg>
#include <iostream>
void print(const size_t n, ...) {
    va_list args;
    va_start(args, n);
    for (size_t i = 0; i< n; ++i ) {
        auto v = va_arg(args, int); // 改为int，和传入的实参类型一致
        std::cout<< v << std::endl;
    }
    va_end(args);
    return;
}
int main() {
    print(6, 1,2,3,4,5,6);
    return 0;
};

子方案1b：显式转换实参为uint64_t

int main() {
    print(6, 
          static_cast<uint64_t>(1),
          static_cast<uint64_t>(2),
          static_cast<uint64_t>(3),
          static_cast<uint64_t>(4),
          static_cast<uint64_t>(5),
          static_cast<uint64_t>(6)
         );
    return 0;
};

方案2：用C++模板实现类型安全的可变参数

如果你的项目支持C++11及以上，完全可以抛弃不安全的va_arg，用模板参数包实现类型安全的可变参数函数，从根源避免这类错误：

#include <iostream>

// 打印所有参数，用换行分隔
template<typename T, typename... Args>
void print(T&& first, Args&&... rest) {
    std::cout << first << std::endl;
    if constexpr (sizeof...(rest) > 0) {
        print(std::forward<Args>(rest)...);
    }
}

int main() {
    print(1,2,3,4,5,6);
    return 0;
};

额外说明 #

在Clang+macOS环境下，va_arg本身不会无故溢出，只有当你尝试读取的类型宽度与栈上实际参数宽度不匹配，或者读取次数超过实际传入的参数数量时，才会触发未定义行为（表现为读取随机栈数据）。你的场景就是典型的类型不匹配导致的未定义行为。

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