逻辑相似的两段C代码为何第二段出现Seg fault(段错误)?
第二段代码触发段错误的原因
两段代码的核心差异在于内层循环是否包含对字符串结束符'\0'的检查,这直接导致了第二段代码的越界访问:
第一段代码的每个循环都明确加入了
&& s[i]的判断:- 第一个跳过空白的循环:
while ((空白条件) && s[i]),当i走到字符串末尾的'\0'时,s[i]为0,循环直接终止,不会继续递增i。 - 第二个输出字符的循环:
while (!(空白条件) && s[i]),同样在遇到'\0'时停止,避免访问超出字符串范围的内存。
- 第一个跳过空白的循环:
第二段代码的外层循环虽然有
while (s[i]),但内层两个循环都没有检查s[i]是否有效:- 举个典型场景:如果输入字符串末尾是空白字符(比如
"hello "),当处理完有效字符hello后,i指向第一个末尾空格,外层循环继续执行(因为空格非0)。 - 第一个内层循环会不断递增
i,直到i指向'\0'——此时空白条件不成立('\0'的ASCII是0,不在代码定义的空白字符集合里),循环终止。 - 紧接着进入第二个内层循环,条件
!(空白条件)对'\0'来说是成立的(因为'\0'不是空白),于是代码会尝试输出s[i](即'\0'),然后i继续递增,开始访问字符串内存之外的未知区域,最终触发段错误(Segmentation Fault)。
- 举个典型场景:如果输入字符串末尾是空白字符(比如
简单说,第二段代码的内层循环没有在遇到'\0'时及时停止,导致了非法内存访问。
内容的提问来源于stack exchange,提问作者Joao Pereira
相关产品推荐
相关产品推荐

