Was ist der Fehler in dieser String-Vergleichslogik?

Question

Die folgende

#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; 
} 

druckt 1, meine Funktion Logik falsch ist Bedeutung. Ich würde gerne verstehen warum. Lassen Sie mich meine Logik erklären:

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

gleichzeitig Zeiger s1 und s2 so lange erhöht, wie s1 ungleich '\0' und der Wert s1 Punkte ist, ist der gleiche wie der Wert s2 Punkte. Es sollte eine kürzere Art des Schreibens

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

sein und verlässt sich auf ausgefallene Operator Vorrang, um es zu verkürzen.

Die Anweisung

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

bedeutet

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

, weil, wenn die Zeichenkette gleich sind, dann s1 und s2 werden sowohl die Null-Zeichen nach der while Schleife sein.

Wo bin ich falsch?

Answer 1

Der Fehler ist, dass die ++ in der Schleife auch auf das letzte Zeichen erfolgt, wenn sie nicht übereinstimmen. Wenn das folgende Zeichen übereinstimmt (was in diesem Fall der Null-Terminator ist), werden sie als wahr verglichen.

Answer 2

Das Problem liegt in der Post Inkrementoperator

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

wenn Sie s1 nach dem Vergleich der letzten Nicht-Null-Zeichen erhöhen, gibt der Vergleich falsch, aber die Zeiger sowieso erhöht. Die falsche Auswertung führt zur Beendigung der while-Schleife. Aber in der nächsten Zeile verwenden Sie die Bedingung, dass die Zeiger auf Null-Zeichen zeigen (was sie tun), um eine Übereinstimmung der Zeichenfolgen anzuzeigen (was keine Übereinstimmung war). Daher berücksichtigt Ihr Code alle Zeichenfolgen, die übereinstimmen, auch wenn das letzte Zeichen nicht übereinstimmt.