C语言中格式说明符%*d的未定义行为及小数字段宽度参数引发的异常问题问询

这是个很容易踩坑的C语言printf细节问题，咱们先从测试案例说起，再深挖背后的原因：

测试案例回顾 #

• Case 1：执行printf("%*d", 10, 5)时，输出为_________5（_代表空格）。这个是完全符合预期的：%*d中的*用于动态指定输出字段宽度，这里第一个参数10是int类型，所以输出的整数5会被右对齐到10位宽度的区域，前面补9个空格。
• Case 2：尝试执行printf("%*d", 10.4, 5)时，预期想得到带前导零的______0005，但实际程序直接进入了无限循环。这到底是为什么？

核心原因：参数类型不匹配破坏可变参数栈 #

要搞懂这个问题，得先明确printf中%*d的规则：

%*d里的*要求对应的参数必须是int类型，用来指定输出的字段宽度。

当你传递double类型的10.4作为宽度参数时，就触发了类型不匹配的问题，而printf作为可变参数函数，对这种错误的容忍度极低，具体过程是：

1. 参数传递的字节不匹配：在多数系统中，double占8字节，int占4字节。printf看到%*d时，会从栈中尝试读取4字节作为int类型的宽度，但你传的是8字节的double值，这就导致它只读取了10.4的前4字节——这部分是无效的垃圾值，可能是一个极大的负数或者无意义的数。
2. 栈指针错位：读完错误的宽度参数后，printf需要读取下一个参数（也就是5）作为%d的输出值，但此时栈指针已经因为错误的字节读取而错位了，它会从错误的内存位置读取数据，而这个数据根本不是预期的5。
3. 可变参数列表无法终止：这种栈结构的破坏会让printf无法正确识别可变参数列表的结束位置，它会不断从栈中读取无效数据，循环执行解析逻辑，最终表现为程序进入无限循环（极端情况下也可能直接崩溃，取决于系统环境）。

补充：如何实现带前导零的动态宽度输出 #

如果你想要的是带前导零的固定宽度输出，正确的写法应该是在格式符中加上0前缀，比如：

printf("%0*d", 10, 5);

这样输出就是0000000005，完全符合预期，而且不会有任何异常行为。

内容的提问来源于stack exchange，提问作者S Mahesh Kumar