C语言栈数组{0}初始化与calloc分配的差异及valgrind报错疑问

问题解答 #

1. 你对数组初始化的理解完全正确：
   C语言标准明确规定，聚合类型（数组、结构体等）初始化时如果提供的初始化列表元素数量少于实际成员数，剩余所有成员都会被默认零初始化。所以char buf[65] = {0};确实会把整个数组的65个元素全部设置为0，和calloc申请的全零内存从数值层面没有任何差异。

2. 你看到的Valgrind报错是macOS平台Valgrind的已知适配问题，和你的代码无关：
   你贴的Valgrind日志里首先有大量set address range perms的警告，且错误栈回溯里的地址全部指向系统动态链接器dyld和/dev/ttys002相关区域，根本没有对应你代码里的内存操作，属于典型的Valgrind对新版本macOS系统库、虚拟内存布局适配不完善导致的误报。
   你改用calloc申请堆内存后没有报错也只是巧合，仅因为Valgrind对macOS平台堆内存的跟踪逻辑适配度略高于栈内存，不是你的栈数组初始化存在问题。

3. 额外注意代码笔误：
   你贴的部分代码片段里存在笔误printf("<%.64s>\n", but);，这里的but应为buf，如果实际运行的代码里写的是but，才会真的触发未初始化变量访问的错误。

如果你要在macOS上做内存错误检测，更推荐使用clang自带的AddressSanitizer，兼容性和准确率远高于当前macOS版本的Valgrind，编译时添加-fsanitize=address参数即可使用。

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