Stream APIでint[]同士をつなぎ合わせるには

Stream APIの勉強として色々と書いています。
2つのint[]をつなぎ合わせて新たなint[]を返すメソッドappend()として以下のコードを考えてみました。

Java
1static int[] append(int[] array1, int[] array2) {
2    List<Integer> list = Arrays.stream(array1).boxed().collect(Collectors.toList());
3    list.addAll(Arrays.stream(array2).boxed().collect(Collectors.toList()));
4    return list.stream().mapToInt(Integer::intValue).toArray();
5  }

array -> list -> arrayとしてarrayにこだわったのが原因ではあるのですが、何だか冗長に見えます。
他に良いやり方など、改善点があればご指摘いただけると幸いです。

行動規範の内容に同意します

回答1件

ベストアンサー

こんな感じで書けます。

Java
1import java.util.*;
2import java.util.stream.*;
3
4class Main {
5    static int[] concat(int[] arr1, int[] arr2) {
6        return IntStream.concat(
7            IntStream.of(arr1), IntStream.of(arr2)
8        ).toArray();
9    }
10    
11    public static void main(String[] args) {
12        System.out.println(Arrays.toString(
13            concat(new int[]{1, 2, 3}, new int[]{4, 5, 6})
14        ));
15    }
16}

実行結果 Wandbox

[1, 2, 3, 4, 5, 6]

案2

ちょっと読みづらいですけど、任意個数の結合にも対応できる例。

Java
1import java.util.*;
2import java.util.stream.*;
3
4class Main {
5    static int[] concat(int[]... arrs) {
6        return Stream.of(arrs).flatMapToInt(IntStream::of).toArray();
7    }
8    
9    public static void main(String[] args) {
10        System.out.println(Arrays.toString(
11            concat(new int[]{1, 2, 3}, new int[]{4, 5, 6}, new int[]{7, 8, 9})
12        ));
13    }
14}