次のように空の文字列で分割するJava 8より前

String[] tokens = "abc".split("");

分割メカニズムは、でマークされた場所で分割されます |

|a|b|c|

""各文字の前後に空白スペースがあるためです。結果として、最初にこの配列が生成されます

["", "a", "b", "c", ""]

その後、末尾の空の文字列を削除します（limit引数に負の値を明示的に指定しなかったため）。

["", "a", "b", "c"]

Java 8では、分割メカニズムが変更されたようです。今私たちが使うとき

"abc".split("")

["a", "b", "c"]代わりに配列を取得するため["", "a", "b", "c"]、最初の空の文字列も削除されているように見えます。しかし、この理論は失敗します

"abc".split("a")

startに空の文字列の配列を返します["", "bc"]。

ここで何が起こっているのか、Java 8で分割のルールがどのように変更されたのかを誰かが説明できますか？

String.split（を呼び出すPattern.split）の動作は、Java 7とJava 8で異なります。

ドキュメンテーション

ドキュメント間の比較Pattern.splitでのJava 7とJavaの8、我々は追加されている次の句を守ってください。

入力シーケンスの先頭に正の幅の一致がある場合、結果の配列の先頭に空の先行部分文字列が含まれます。ただし、最初に幅が一致しないと、そのような空の先行部分文字列は生成されません。

Java 7と比較して、同じ句がJava 8にも追加さString.splitれています。

リファレンス実装

Pattern.splitJava 7とJava 8の参照実装のコードを比較してみましょう。コードは、バージョン7u40-b43および8-b132のgrepcodeから取得されます。

Java 7

public String[] split(CharSequence input, int limit) {
    int index = 0;
    boolean matchLimited = limit > 0;
    ArrayList<String> matchList = new ArrayList<>();
    Matcher m = matcher(input);

    // Add segments before each match found
    while(m.find()) {
        if (!matchLimited || matchList.size() < limit - 1) {
            String match = input.subSequence(index, m.start()).toString();
            matchList.add(match);
            index = m.end();
        } else if (matchList.size() == limit - 1) { // last one
            String match = input.subSequence(index,
                                             input.length()).toString();
            matchList.add(match);
            index = m.end();
        }
    }

    // If no match was found, return this
    if (index == 0)
        return new String[] {input.toString()};

    // Add remaining segment
    if (!matchLimited || matchList.size() < limit)
        matchList.add(input.subSequence(index, input.length()).toString());

    // Construct result
    int resultSize = matchList.size();
    if (limit == 0)
        while (resultSize > 0 && matchList.get(resultSize-1).equals(""))
            resultSize--;
    String[] result = new String[resultSize];
    return matchList.subList(0, resultSize).toArray(result);
}

Java 8

public String[] split(CharSequence input, int limit) {
    int index = 0;
    boolean matchLimited = limit > 0;
    ArrayList<String> matchList = new ArrayList<>();
    Matcher m = matcher(input);

    // Add segments before each match found
    while(m.find()) {
        if (!matchLimited || matchList.size() < limit - 1) {
            if (index == 0 && index == m.start() && m.start() == m.end()) {
                // no empty leading substring included for zero-width match
                // at the beginning of the input char sequence.
                continue;
            }
            String match = input.subSequence(index, m.start()).toString();
            matchList.add(match);
            index = m.end();
        } else if (matchList.size() == limit - 1) { // last one
            String match = input.subSequence(index,
                                             input.length()).toString();
            matchList.add(match);
            index = m.end();
        }
    }

    // If no match was found, return this
    if (index == 0)
        return new String[] {input.toString()};

    // Add remaining segment
    if (!matchLimited || matchList.size() < limit)
        matchList.add(input.subSequence(index, input.length()).toString());

    // Construct result
    int resultSize = matchList.size();
    if (limit == 0)
        while (resultSize > 0 && matchList.get(resultSize-1).equals(""))
            resultSize--;
    String[] result = new String[resultSize];
    return matchList.subList(0, resultSize).toArray(result);
}

Java 8で次のコードを追加すると、入力文字列の先頭にある長さゼロの一致が除外され、上記の動作が説明されます。

            if (index == 0 && index == m.start() && m.start() == m.end()) {
                // no empty leading substring included for zero-width match
                // at the beginning of the input char sequence.
                continue;
            }

互換性の維持

Java 8以降での動作の追跡

splitバージョン間で一貫して動作し、Java 8の動作と互換性を持たせるには：

1. 正規表現が長さゼロの文字列に一致できる場合は、正規表現の最後に追加(?!\A)し、元の正規表現を非キャプチャグループにラップします（必要な場合）。(?:...)
2. 正規表現が長さ0の文字列と一致しない場合、何もする必要はありません。
3. 正規表現が長さ0の文字列と一致するかどうかわからない場合は、手順1で両方の操作を実行します。

(?!\A) 文字列が文字列の先頭で終了していないことを確認します。これは、一致が文字列の先頭で空の一致であることを意味します。

Java 7以前の動作の追跡

独自のカスタム実装を指すようsplitにすべてのインスタンスを置き換える以外に、Java 7以前との下位互換性を確保するための一般的な解決策はありませんsplit。

これはのドキュメントで指定されていますsplit(String regex, limit)。

この文字列の先頭に正の幅の一致がある場合、結果の配列の先頭に空の先行部分文字列が含まれます。ただし、最初に幅が一致しないと、そのような空の先行部分文字列は生成されません。

では"abc".split("")、最初に幅がゼロに一致しているため、結果の配列に先頭の空の部分文字列は含まれていません。

ただし、2番目のスニペットで分割する"a"と、幅の一致が正（この場合は1）になるため、空の先行部分文字列が期待どおりに含まれます。

（無関係なソースコードを削除）

のドキュメントがsplit()Java 7からJava 8に若干変更されました。具体的には、次のステートメントが追加されました。

この文字列の先頭に正の幅の一致がある場合、結果の配列の先頭に空の先行部分文字列が含まれます。ただし、最初に幅が一致しないと、そのような空の先行部分文字列は生成されません。

^{（強調鉱山）}

空の文字列の分割は、最初にゼロ幅の一致を生成するため、空の文字列は、上記の指定に従って、結果の配列の先頭に含まれません。対照的に、分割する2番目の例では、文字列の先頭に正の幅の一致が"a"生成されるため、結果の配列の先頭に空の文字列が実際に含まれます。