String 类的边缘情况？

Question

考虑以下场景：

String str = "str";
System.out.println("str subs: " + str.substring(3,3));

预期结果：
StringIndexOutOfBoundsException（因为 beginIndex 在字符串结束“之后”开始）

实际结果：
打印空字符串

来自String.java：

public String substring(int beginIndex, int endIndex) {
    if (beginIndex < 0) {
        throw new StringIndexOutOfBoundsException(beginIndex);
    }
    if (endIndex > count) {
        throw new StringIndexOutOfBoundsException(endIndex);
    }
    if (beginIndex > endIndex) {
        throw new StringIndexOutOfBoundsException(endIndex - beginIndex);
    }
    return ((beginIndex == 0) && (endIndex == count)) ? this :
        new String(offset + beginIndex, endIndex - beginIndex, value);
}

很容易看出，实现没有处理以下边缘情况：
beginIndex == endIndex == count（count 是字符串的长度）。

根据the manual方法子串：

返回一个新字符串，它是该字符串的子字符串。子串 从指定的 beginIndex 开始并延伸到字符 index endIndex - 1。因此子字符串的长度是 endIndex-beginIndex.

它还指出该方法抛出：

IndexOutOfBoundsException - 如果 beginIndex 为负数，或者 endIndex 大于此 String 对象的长度，或 beginIndex 为 大于 endIndex。

makes sense 是否考虑以下情况：beginIndex == endIndex == count 有效？
我错过了什么吗？

Answer 1

"abc".substring(3,3) == ""

如你所说，我们来看看manual：

返回一个新字符串，它是该字符串的子字符串。

好的

子字符串从指定的 beginIndex 开始并延伸到索引 endIndex - 1 处的字符。

无论字符串的长度如何，这句话的解释都很困难。但我认为我们可以同意空字符串不违反这一点。

因此子串的长度是endIndex-beginIndex。

好的

抛出：IndexOutOfBoundsException - 如果 beginIndex 为负数

不是

或者endIndex大于这个String对象的长度

不是

或者 beginIndex 大于 endIndex。

不是。

行为似乎对我有所承诺。

你也可以这样看：字符串"abc"包含四个空子字符串，两个字符之间，一个在开头，一个在结尾。它们可以分别通过substring 和1,1 和2,2、0,0 和3,3 访问。也和下面的代码比较一下

class EmptyTest {

    public static void main (String[] args) {

         Matcher m = Pattern.compile("").matcher("abc");
         while (m.find()) {
            System.out.println(m.start() + "," + m.end());
         }
    }
}

打印出来的

0,0
1,1
2,2
3,3

Answer 2

beginIndex == endIndex == count 表示虚拟“起始光标”将放置在字符串中的最后一个字符之后，与“结束光标”位于同一点，因此您将得到一个长度为零的字符串。它似乎与为 (0,0) 返回空字符串一样有效。

Answer 3

此行为符合：

String str = "str";
System.out.println("str subs: " + str.substring(2,2));

还返回空字符串而不是子字符串。空集是所有集的子集。

参考类 java.lang.String 参数： beginIndex 起始索引，含。