引言：回文子串与递归求解
回文是指一个正读反读都一样的字符串，例如 "madam" 或 "level"。在编程中，一个常见的问题是找出给定字符串中最长的回文子串。递归是一种直观的解决思路，它通过将问题分解为更小的相同子问题来求解。然而，在实现递归解决方案时，尤其是在处理边界条件和结果合并时，常常会出现逻辑上的偏差。
初始递归尝试与逻辑缺陷
考虑以下一个尝试使用递归方法计算最长回文子串长度的Java代码片段：
public static int palindrome(String str) {
str = str.toLowerCase(); // 统一转为小写处理
if (str.length() == 0) {
return 0; // 空字符串没有回文
}
if (str.length() == 1) {
return 1; // 单字符是回文
}
// 如果首尾字符相同
if (str.charAt(0) == str.charAt(str.length() - 1)) {
// 递归查找内部子串的最长回文长度
int pal = palindrome(str.substring(1, str.length() - 1));
// 这里的条件判断存在问题
if (pal != 1 || str.length() <= 3) {
return 2 + pal;
}
}
// 如果首尾字符不同，或上述条件不满足，则在去掉首字符或尾字符的子串中寻找最长回文
return Math.max(palindrome(str.substring(0, str.length() - 1)), palindrome(str.substring(1)));
}这段代码的意图是：如果字符串的首尾字符相同，它会尝试递归地检查内部子串是否为回文，并在此基础上加上首尾两个字符的长度。然而，if (pal != 1 || str.length() <= 3) 这个条件判断是错误的。它的问题在于，即使 str.charAt(0) == str.charAt(str.length() - 1)，并且内部子串 str.substring(1, str.length() - 1) 包含一个回文，这并不意味着整个 str 都是一个回文。例如，对于字符串 "abacaba"，当处理 "abacaba" 时，'a' 和 'a' 匹配，内部子串是 "bacab"。palindrome("bacab") 可能会返回 "aca" 的长度 3。此时 pal 为 3，str.length() 为 7。pal != 1 成立，str.length() <= 3 不成立，所以会返回 2 + pal = 2 + 3 = 5。但实际上 "abacaba" 的长度是 7，它本身就是一个回文。这个逻辑未能正确识别当内部子串完全是回文时，整个字符串也是回文的情况。它错误地将内部的“最长回文”长度与外部匹配字符简单相加，而没有判断内部子串是否“完全”是回文。
修正递归逻辑：确保完整性判断
要正确判断一个字符串 str 是否为回文（当其首尾字符匹配时），关键在于其内部子串 str.substring(1, str.length() - 1) 必须完全是一个回文。这意味着内部子串的最长回文长度 pal 必须等于内部子串本身的长度。
修正后的逻辑应如下：
- 当 str.charAt(0) == str.charAt(str.length() - 1) 时，我们递归调用 palindrome(str.substring(1, str.length() - 1)) 得到内部子串的最长回文长度 pal。
- 如果 pal 等于内部子串的实际长度（即 str.length() - 2），那么说明内部子串本身就是一个回文。由于首尾字符也匹配，因此整个 str 都是一个回文，此时 str 的长度就是当前找到的一个回文长度。
- 如果 pal 不等于 str.length() - 2，则说明内部子串不是一个完整的回文，即使它包含一个更短的回文。在这种情况下，str 整体不是一个由其首尾匹配字符和完全回文内部构成的回文。我们必须继续在 str.substring(0, str.length() - 1) 和 str.substring(1) 中寻找最长的回文。
修正后的Java代码实现
根据上述分析，修正后的递归函数如下：
public static int palindrome(String str) {
str = str.toLowerCase(); // 统一转为小写处理
if (str.length() == 0) {
return 0; // 空字符串没有回文
}
if (str.length() == 1) {
return 1; // 单字符是回文
}
// 如果首尾字符相同
if (str.charAt(0) == str.charAt(str.length() - 1)) {
// 递归查找内部子串的最长回文长度
int pal = palindrome(str.substring(1, str.length() - 1));
// 关键修正：判断内部子串是否完全是回文
// 内部子串的长度为 str.length() - 2
if (pal == str.length() - 2) {
return str.length(); // 如果内部子串完全是回文，则整个str也是回文
}
// 如果内部子串不是完全回文，则不能直接将2+pal作为当前str的回文长度
// 此时，当前str不是一个由匹配首尾和完全回文内部构成的大回文
// 仍需在子问题中寻找最长回文
}
// 如果首尾字符不同，或者首尾字符相同但内部子串不是完全回文，
// 则在去掉首字符或尾字符的子串中寻找最长回文
return Math.max(palindrome(str.substring(0, str.length() - 1)), palindrome(str.substring(1)));
}关键修正点解析
核心的修正点在于将原始代码中的 if (pal != 1 || str.length() <= 3) return 2 + pal; 替换为 if (pal == str.length() - 2) return str.length();。
- pal == str.length() - 2 的意义： str.length() - 2 代表的是当前字符串 str 去掉首尾字符后，中间子串的实际长度。如果递归调用 palindrome(str.substring(1, str.length() - 1)) 返回的 pal 值恰好等于这个中间子串的实际长度，就说明这个中间子串本身就是一个完整的、长度为 pal 的回文。
- 返回 str.length() 的原因： 当首尾字符匹配，且中间子串也是一个完整的回文时，整个当前字符串 str 就构成了一个更大的回文。此时，它的长度就是 str.length()。这比简单地 2 + pal 更准确，因为 pal 总是代表内部子串的“最长回文”长度，它可能小于内部子串的实际长度。只有当 pal 等于内部子串实际长度时，才能确定 str 是一个完整的回文。
注意事项与总结
- 返回值的含义： 此递归函数返回的是最长回文子串的长度，而不是子串本身。
- 效率问题： 这种纯递归的解决方案通常效率较低，因为它会产生大量的重复计算（例如 palindrome("abc") 和 palindrome("bca") 都可能再次计算 palindrome("bc")）。对于较长的字符串，动态规划（Dynamic Programming）是更高效的解决方案，它通过存储和复用子问题的结果来避免重复计算。
- 理解递归基： str.length() == 0 和 str.length() == 1 是递归的终止条件，确保了递归能够正确结束。
- 大小写处理： 示例代码中将字符串统一转换为小写，以实现大小写不敏感的回文检测。根据需求可以调整。
通过上述修正，递归函数能够准确地判断并返回字符串中最长回文子串的长度，避免了因内部回文长度判断不完整而导致的错误。理解并正确处理递归中的子问题结果合并是编写正确递归算法的关键。
