C语言字符串操作程序第二个printf未输出预期内容的问题咨询

你代码里两个if判断都犯了同一个经典C语言错误：把相等比较运算符==写成了赋值运算符=，这直接导致程序执行逻辑和你预期完全不符。

逐行执行逻辑拆解 #

• 初始状态：字符数组str初始化后存储的内容是h e l l o \0（剩余未初始化的数组元素自动补0，也就是\0）。
• 第一个if分支执行：
  • 你写的判断条件是str[0] = 'h'，这行不是在判断str[0]是否等于'h'，而是直接将字符'h'赋值给str[0]。赋值表达式本身的返回值就是被赋的值，也就是'h'，对应ASCII码值非0，在C语言的逻辑判断中会被认定为「真」。
  • 因此分支内的str[0] = 'd'会被执行，把首字符改成'd'，此时str的内容变成d e l l o \0，第一个printf输出dello，和你观察到的结果一致。
• 第二个if分支（#ifdef OKAY包裹的部分）执行：
  • 你原本的预期是判断首字符是否为'h'，如果是就改成空格输出 ello，但实际判断条件还是写的赋值操作str[0] = 'h'。
  • 这行首先会把当前str[0]的值（也就是之前改好的'd'）直接覆盖成'h'，赋值返回值'h'非0，逻辑判定为真，因此分支内的str[0] = '\0'会被执行。
  • '\0'是C语言的字符串结束标记，printf用%s输出字符串时，遇到'\0'就会立刻终止输出。此时str的首字符就是结束符，相当于一个空字符串，所以第二个printf不会输出任何可见内容，你自然看不到预期的 ello。

修正方法 #

把两个if的判断条件里的赋值号=改成相等比较符==即可，也就是：

if (str[0] == 'h')

如果想从编码习惯上避免这类错误，可以把常量写在等号左边，比如if ('h' == str[0])，这样万一误写成=，编译器会直接报错，不让你给常量赋值，提前把问题拦在编译阶段。

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