仅校验字母的C++字符串回文函数返回异常问题排查

核心问题分析 #

你的isPalindrome函数存在几个关键逻辑错误，导致无法正确判断回文：

• 递归调用未返回结果
  所有递归调用isPalindrome(...)的地方都没有返回其结果，比如处理首字符非字母时，调用递归后没有把递归的返回值传递给上层，最终函数会走到末尾的return false，直接覆盖了正确的递归结果。

• substr参数使用错误
  处理尾字符非字母的分支中，s.substr(0, strSize - 2)是错误的。C++的string::substr第二个参数是子串长度，不是结束索引。要去掉最后一个字符，应该用s.substr(0, strSize - 1)，否则会多删除一个字符，导致字符串被错误截断。

• 多分支逻辑冲突
  当前三个if分支是顺序执行的，比如即使第一个分支已经处理了首字符并递归，第二个分支依然会基于原字符串的尾字符进行判断，导致重复处理或错误的递归路径。正确逻辑应该是分支互斥：先判断首字符是否合法，不合法则递归处理去掉首字符的子串；首字符合法后再判断尾字符，不合法则递归处理去掉尾字符的子串；两者都合法再判断是否相等，相等则递归处理中间子串。

• 默认返回值错误
  函数末尾默认return false，只有空字符串或单字符返回true，其他所有情况最终都会返回false，完全不符合回文判断的逻辑。

修复后的递归版代码 #

#include <iostream>
#include <cctype> // 包含tolower的标准头文件

using namespace std;

bool isPalindrome(string s)
{
    int strSize = s.size();
    if (strSize == 0 || strSize == 1)
    {
        return true;
    }

    // 用static_cast避免char符号位导致的tolower异常
    char first = tolower(static_cast<unsigned char>(s[0]));
    char last = tolower(static_cast<unsigned char>(s.back())); // 用back()更直观

    // 先处理首字符非字母的情况
    if (!(first >= 'a' && first <= 'z'))
    {
        return isPalindrome(s.substr(1)); // substr(1)等价于从索引1到字符串末尾
    }

    // 首字符合法，再处理尾字符非字母的情况
    if (!(last >= 'a' && last <= 'z'))
    {
        return isPalindrome(s.substr(0, strSize - 1)); // 去掉最后一个字符
    }

    // 两者都是字母，判断是否相等
    if (first == last)
    {
        return isPalindrome(s.substr(1, strSize - 2)); // 取中间子串继续判断
    }

    // 字母不相等，直接返回false
    return false;
}

int main()
{
    bool ans = isPalindrome("A man, a plan, a canal: Panama");
    cout << "ans = " << boolalpha << ans << endl; // boolalpha输出true/false而非1/0
    return 0;
}

更高效的双指针优化方案 #

递归方式虽然直观，但超长字符串可能引发栈溢出，推荐使用空间复杂度O(1)的双指针法：

#include <iostream>
#include <cctype>

using namespace std;

bool isPalindrome(string s)
{
    int left = 0, right = s.size() - 1;
    while (left < right)
    {
        char lc = tolower(static_cast<unsigned char>(s[left]));
        char rc = tolower(static_cast<unsigned char>(s[right]));
        
        // 跳过左侧非字母字符
        if (!(lc >= 'a' && lc <= 'z'))
        {
            left++;
            continue;
        }
        // 跳过右侧非字母字符
        if (!(rc >= 'a' && rc <= 'z'))
        {
            right--;
            continue;
        }
        // 字母不相等，直接判定不是回文
        if (lc != rc)
        {
            return false;
        }
        left++;
        right--;
    }
    return true;
}

int main()
{
    bool ans = isPalindrome("A man, a plan, a canal: Panama");
    cout << "ans = " << boolalpha << ans << endl;
    return 0;
}

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