函数内的While循环为何始终返回True？回文检测代码问题排查

原代码的错误点 #

你写的原函数逻辑完全颠倒了：

• 只要第一次取出的首尾字符相等，就直接返回True，根本没检查剩下的字符。比如测试的"tacrocat"，首尾都是t，函数立马返回True，完全不管中间的acroca是不是对称。
• 只有当队列里的字符剩1个或0个时才返回False，但这种情况恰恰是回文的特征，所以原逻辑完全搞反了结果。

修改后代码正确的原因 #

你调整后的逻辑才是对的，道理很简单：

• 循环里每次对比首尾字符，只要发现一对不相等，就直接返回False——毕竟只要有一对对称字符不对，这单词肯定不是回文。
• 如果循环能顺利跑完（说明所有对称的字符都匹配上了，队列最后只剩0或1个字符），就返回True，这时候才是回文。

修正后的完整代码 #

from collections import deque

word = "tacrocat"

def check_palindrome(word):
    d = deque(word)
    while len(d) > 1:
        if d.pop() != d.popleft():
            return False
    return True

print(check_palindrome(word))  # 输出False，符合预期

核心逻辑梳理 #

回文的本质是所有对称位置的字符都完全相等，所以正确的判断流程应该是：

• 优先找反例：只要有一对对称字符不相等，直接排除回文可能。
• 所有对称对都检查通过后，才能确定是回文。

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