C语言中for循环对数组赋值和使用语句直接赋值的方式对分配空间是否有影响

Question

这个问题是在我学习us/Os-II时遇到的。
这个实时操作系统中的例2含有堆栈检查的相关内容，我在其基础上进行了测试，
发现对于task3，其使用for循环填充了499个垃圾字符，堆栈检查时显示此时task3函数占用的栈空间是556字节，
我改为填充399、99、2等个垃圾字符时，占用空间仍为556字节，
而当把填充垃圾字符的代码注释掉后，所占用的栈空间变为54，即减少了502字节的占用，
所以我感到困惑的是，不对数组进行填充后，理应少了500字节（数组空间），
现在少了502字节，那么那2个字节是哪里来的？
简单来说就是以下两种赋值方式为什么占用的栈空间不一样

Answer 1

• 数据段：静态内存空间，其中数据的总大小和初始值在编译时确定，数据在整个程序运行时一直存在。
• 栈空间：自动内存空间，其中数据的大小在编译时确定，数据的分配和释放也由编译器在函数进入和退出时插入指令完成，数据生命周期和函数一样。
• 堆空间：动态（手动）内存空间，其中数据的大小和初始值在运行时确定，数据生命周期不定。