为何这段可变参数函数代码每次运行都会产生随机结果？

你遇到的问题核心是可变参数传递时的类型不匹配，触发了C语言的未定义行为——哪怕两种类型的内存大小一致，也不能无视类型规则强行解析，具体原因如下：

• 类型的内存语义完全不同：double采用IEEE 754浮点标准存储数值，而unsigned long是无符号整数格式。你把double值压入栈后，用va_arg以unsigned long类型解析这段二进制，得到的必然是和原浮点值毫无关联的乱码整数，这本身就是错误的解析逻辑。
• 可变参数的类型必须严格匹配：C标准明确要求，使用va_arg获取参数时，指定的类型必须和实际传递的参数类型（经过默认参数提升后的类型）完全一致。这里你传递的是double，却用unsigned long去读取，直接违反规则，属于未定义行为——编译器可以生成任意代码，包括每次运行输出不同的值、读取到内存中无关区域的数据，甚至程序崩溃。
• 内存大小相同不代表可互相解析：字节数一致只是内存占用的巧合，两种类型的二进制结构没有任何语义关联，强行跨类型读取只会得到无意义的结果，这和栈弹出多少字节无关，本质是类型规则的问题。

修正示例 #

根据需求，有两种正确的处理方式：

方式1：传递前转换为目标类型 #

#include <stdio.h>
#include <stdarg.h>

void test(int num, ...)
{
    va_list arguments;                     
    
    va_start(arguments, num);            
    unsigned long x = va_arg(arguments, unsigned long);
    printf("%lu\n", x);
    va_end(arguments);
}

int main(void)
{
    double x = 1.234;
    printf("sizeof(double) = %zu\n", sizeof(x));
    printf("sizeof(unsigned long) = %zu\n", sizeof(unsigned long));

    // 先将double转换为unsigned long再传递
    test(1, (unsigned long)x);
}

方式2：函数内正确读取double后转换 #

#include <stdio.h>
#include <stdarg.h>

void test(int num, ...)
{
    va_list arguments;                     
    
    va_start(arguments, num);            
    // 先按double类型读取参数
    double val = va_arg(arguments, double);
    // 再转换为unsigned long
    unsigned long x = (unsigned long)val;
    printf("%lu\n", x);
    va_end(arguments);
}

int main(void)
{
    double x = 1.234;
    printf("sizeof(double) = %zu\n", sizeof(x));
    printf("sizeof(unsigned long) = %zu\n", sizeof(unsigned long));

    test(1, x);
}

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