为什么这个递归函数在到达 s.substring(1) where s="y" 时不会崩溃？

Question

public static void recur(String s)
{
    if(s.length() == 0)
        return;
    else
    {
        System.out.println(s.charAt(0));
        recur(s.substring(1));
    }
}

Answer 1

以自己的长度作为子字符串的字符串将返回一个空字符串。

String s = "y";
System.out.println(s.substring(s.length()));
// prints out an empty string

因此，当使用"y" 调用您的递归函数时，它将再次以空字符串运行，而条件if (s.length() == 0) return; 将退出函数。

---

有关Java中String的详细信息，在the Java 6 Language Specification of 10.9：

在 Java 编程语言中，与 C 不同，char 数组不是 String，String 或 char 数组都不会以 '\u0000'（NUL 字符）结尾。

因此，Java 中的空字符串实际上是空的。在String.length() 处获取字符将始终导致字符串超出范围异常。也就是说，

String empty = "";
empty.charAt(0); // <= throws exception at runtime

Answer 2

String.substring(int) 状态的文档

抛出： IndexOutOfBoundsException - 如果 beginIndex 为负数或大于此 String 对象的长度。

您的 beginIndex 始终为 1（不是负数），因为第一个 if 已经返回，所以对于空字符串，您不会到达这一点。对于任何非空字符串，1 不大于长度，因为在这种情况下，长度定义为 >= 1。