C/C++可变参数函数最后一个参数类型的标准规则疑问

一、“兼容类型”规则的具体含义 #

C++标准引用C标准的可变参数规则，其中va_start的核心要求是：最后一个命名参数parmN的类型，必须和该参数作为无对应形参的实参传递时的类型兼容。这里需要结合可变参数调用的「默认参数提升」规则理解：

• 当实参类型为char、signed char、unsigned char、short、unsigned short、bool、float时，会被自动提升为int（或unsigned int，取决于平台）、double。
• 在C中，兼容类型判定严格：基本类型只有完全相同才算兼容（比如short和int不兼容，float和double不兼容）；C++继承了这一核心逻辑，兼容类型的判定规则与C一致。

因此，parmN不能是float、bool、char、short这类会触发默认提升的类型——它们的原类型和提升后的类型不兼容，违反规则会直接导致未定义行为。

二、示例代码的va_start是否属于未定义行为 #

你的代码中，short count是可变参数列表前的最后一个命名参数：

int add_nums(short count, ...) 
{
    std::va_list args;
    va_start(args, count); // 此处属于未定义行为
    // ...
}

当count作为实参传递时，如果没有对应的short形参，会被提升为int；而short和int属于不兼容类型，完全符合标准中「类型与无对应参数时传递实参所得类型不兼容」的UB触发条件，因此这个va_start调用是未定义行为。

三、规则背后的原因 #

可变参数的实现依赖于函数调用栈的内存布局：va_start需要通过最后一个命名参数的内存地址，计算可变参数在栈中的起始位置。

1. 若parmN是会被默认提升的类型，实际传递到栈中的值是提升后的类型（比如short被存为int大小），但形参的类型是原类型，此时va_start获取的地址会和实际栈布局不匹配，后续va_arg读取可变参数时会出现栈越界、类型解析错误等问题。
2. 禁止parmN为引用类型的原因是：引用在底层通常以指针形式实现，va_start需要的是参数自身的地址，而引用的地址是被引用对象的地址，这会破坏栈布局的定位逻辑，导致可变参数读取错误。

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