C语言字符串后缀匹配函数返回结果与预期不符的问题排查

直接导致返回值错误的语法问题 #

重点：C语言的相等运算符==遵循左结合规则，不支持数学场景下的连续等价判断写法

你代码中的返回语句：

return *str == *suffix == '\0';

实际执行逻辑和预期完全错位，展开等价写法为：

// 先计算左侧两值的相等判断结果，再将结果与'\0'做比较
return ( (*str == *suffix) == '\0' );

结合你的调试输出场景：两个指针当前都指向空字符'\0'，第一步判断*str == *suffix结果为真，在C中对应整数取值1；接着计算1 == '\0'（即1 == 0），结果为假。这就是为什么两个值均为结束符，函数最终却返回false的核心原因。

这个写法的判断结果和预期完全相反：

• 前两个值相等时，判断结果为1，与'\0'比较返回假
• 前两个值不相等时，判断结果为0，与'\0'比较反而返回真

第一阶段修复方案 #

将连续相等的判断拆为独立的逻辑与条件，确保两个值同时等于空结束符时才返回真：

// 替换原有return语句
return (*str == '\0') && (*suffix == '\0');

上述修改可以解决你当前遇到的返回值错位问题，但原有匹配逻辑还存在固有缺陷：

原有匹配逻辑的潜在错误 #

当前逐位对比、不匹配就将后缀指针重置回起点的朴素遍历方式，没有留存“已经完整匹配过一次后缀”的状态。举个实际触发场景：

• 输入字符串为"abcbc"，待匹配后缀为"bc"
• 遍历过程中，指针走到字符串内第一个"bc"子串时，后缀指针会刚好抵达结束符，但因为后续还有未遍历的字符，新字符与空结束符的对比必然不相等，代码会直接将后缀指针重置回起点，丢失之前已经完成匹配的记录
• 最终字符串遍历到末尾时，后缀指针还停留在起点位置，会错误返回false，但实际上"bc"是字符串的合法后缀

针对后缀匹配场景，更稳妥的实现是直接从字符串末尾反向对比，从根源避免状态丢失：

• 分别计算原字符串、后缀的长度，若后缀长度大于原字符串，直接返回false
• 将两个指针分别移动到各自字符串的末尾位置
• 从后往前逐位对比字符，直到后缀指针走到字符串起点：全程字符匹配就返回真，中途出现不匹配就返回假

调试语句说明 #

你写的调试打印中三个值均为'\0'，这个字符是不可打印的空值，控制台输出时会显示为空白，实际取值符合预期，并非打印逻辑出错。

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