K&R C 1.13：水平直方图wl[0]恒为25的异常问题排查

核心判断：大概率是**缓冲区溢出（数组越界写）**导致，而非单纯逻辑缺陷 #

原因推导 #

1. 水平直方图功能正常，说明词频统计的核心逻辑（wl数组的初始化、词长统计逻辑）原本是正确的——wl[0]在水平版本中应该是符合预期的（比如对应词长0的统计值，通常为0）。
2. 切换到垂直版本后，wl[0]固定为25，这个数值恰好是你垂直输出循环的初始k值（for(int k=25; k >=0; k--)），说明这个值是被意外覆盖的，而非统计逻辑计算出来的。

具体可能的溢出场景 #

• 数组下标越界写入：在垂直代码的// some logic部分，可能存在错误的数组访问逻辑。比如：
  • 误将k作为wl数组的下标（如wl[k] = ...），当k=25时，若wl数组长度仅为21（对应词长0~20），wl[25]属于越界访问，而栈内存中这个越界位置恰好与wl[0]的地址重叠，导致写入k=25时直接覆盖了wl[0]。
  • 循环中对wl[l]的操作有误，比如错误使用赋值语句（如wl[0] = k;），直接将循环变量k的值硬写到了wl[0]。
• 栈变量覆盖：如果k和wl数组在栈上的存储位置相邻，越界操作（比如访问wl[-1]）可能会修改到k的存储值，但这里是wl[0]被固定为25，更可能是反向的越界写覆盖了wl[0]。

排查步骤 #

1. 检查wl数组定义与初始化：确认数组长度是否匹配需求（比如你统计的词长是1~21，是否应该定义为int wl[22];来容纳0~21的词长？），且初始化时是否将所有元素置0（未初始化的栈数组会有随机值，但这里是固定25，所以排除未初始化问题）。
2. 定位wl[0]被修改的时机：在进入垂直输出循环前，先打印wl[0]的值；在循环的每一轮也打印wl[0]，确定是进入循环前就异常，还是循环过程中被修改的。
3. 检查// some logic代码：确认其中是否有对wl数组的写入操作，尤其是下标是否正确，有没有误写wl[0]或者越界访问的情况。
4. 编译时开启警告：用gcc -Wall -Wextra编译代码，编译器可能会提示数组越界、未初始化变量等问题。

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