这个字符串比较逻辑有什么缺陷？

Question

以下

#include <iostream>

unsigned short int stringCompare ( char * s1, char * s2 )
{
// returns 1 if the character arrays s1 and s2 are equal; 
// returns 0 otherwise
    while (*s1 && (*s1++ == *s2++));
    return (!(*s1) && !(*s2));
}

int main () 
{
    char str1 [] = "americano";
    char str2 [] = "americana";
    std::cout << stringCompare(str1,str2);
    return 0;
}

打印1，表示我的函数逻辑不正确。我想了解为什么。让我解释一下我的逻辑：

while (*s1 && (*s1++ == *s2++))

同时递增指针s1 和s2，只要s1 不等于'\0' 并且s1 指向的值与s2 指向的值相同。应该是比较短的写法

while (*s1 && *s2)
{
   if (*s1 != *s2) break;
   ++s1; ++s2;
}

并依靠花哨的运算符优先级来缩短它。

声明

return (!(*s1) && !(*s2))

表示

"If s1 and s2 are both the null character, return true; otherwise return false"

因为如果字符串相等，那么s1 和s2 在while 循环之后都是空字符。

我哪里错了？

Answer 1

缺陷在于++ 即使在最后一个字符不匹配时也在循环中完成。如果以下字符匹配（在本例中为空终止符），则它们比较为真。

Answer 2

问题在于后自增运算符

while (*s1 && (*s1++ == *s2++));

当您在比较最后一个非空字符后增加 s1 时，比较返回 false，但指针无论如何都会增加。错误评估导致 while 循环终止。但是下一行您使用指针都指向空字符（它们确实如此）的条件来指示字符串匹配（不是匹配）。因此，即使最后一个字符不匹配，您的代码也会考虑匹配任何字符串。