int[]からString[]を作る方法 ※for禁止

Question

{1,2,3}という配列を渡したら{"1", "2", "3"}という具合に文字列化して配列にできるメソッドを考えています。
ただ、forを使わずStreamを使う方法でできないかと頭を巡らせていたのですが、知識不足で手詰まり起こしてしまいました。
リストではなく配列で取得できないかという問題です。

jshellでREPLしながら考えているのですがなかなかにうまくいきません。

int[] a = {1, 2, 3};
Arrays.stream(a).mapToObj(p -> String.valueOf(p)).toArray();

とすると

$27 ==> Object[3] { "1", "2", "3" }

という返事です。
中身は文字列になっているのですが、Object[3]の型となっており、String[]の変数への代入はできません。何かが足りないのはわかるのですが…

ということで、

String[3]{"1", "2", "3"}

となって、String[]の変数に代入できるようになる方法を希望します。

Answer 1

toArrayの引数として、正しい型の配列を生成する関数を渡す必要があります（Oracle）。

Arrays.stream(a).mapToObj(p -> String.valueOf(p)).toArray(String[]::new);

Comments

[退会済みユーザー]

String::valueOf でよくね？ → mapToObje

[退会済みユーザー]

別の人が回答でいっておったか????

[FugahogeDS]

ありがとうございます、メソッド参照の::についてもありがとうございました。

Answer 2

こんな感じでできます。

jshell> Arrays.stream(a).mapToObj(p -> String.valueOf(p)).toArray(String[]::new);
$3 ==> String[3] { "1", "2", "3" }

また p -> String.valueOf(p) は String::valueOf で充分ですね。

Comments

[FugahogeDS]

ありがとうございます、メソッド参照の::についてもありがとうございました。
実際のコード例を入れてくださった後の方をベストアンサーにしておきましたが、この時点で解決できてました。

それにしても恥ずかしいところだな、あと一歩だったのに。

[退会済みユーザー]

コマンドプロンプトの行表示である

jshell>

付いてるだけで、実際のコード例はこっちにもあるのになんで後なんだろう。