为什么for循环中初始化的size_t类型变量i会出现垃圾值？

核心是size_t为无符号整数类型的特性导致的：

• 无符号整数的取值范围恒大于等于0，因此你的循环判断条件i >= 0永远为真，循环不会正常终止
• 当i递减到0后，再执行--i操作会触发无符号整数下溢，按照C语言标准规定，无符号整数溢出/下溢时会回绕到对应类型的取值上限（比如32位size_t下溢后为2^32 - 1，64位则为2^64 -1），这个回绕后的超大值就是你观察到的「垃圾值」
• 额外补充：你代码中使用%lu打印size_t类型的写法存在兼容性风险，C标准中对应size_t的格式化占位符为%zu，如果编译器不兼容C99及以上标准，也可能导致打印结果异常。

如果需要实现从指定值倒序遍历到0的需求，推荐两种写法：

1. 调整循环判断逻辑，规避无符号数下溢

// 先判断再递减，i为0时判断不成立直接退出，不会触发下溢
for (size_t i = 6; i-- > 0; ) {
    printf("%zu\n", i);
}

2. 确认遍历数值范围不超过有符号整数上限时，直接将i声明为int等有符号整数类型即可。

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