JavaでIntStreamからStringのListを作る

当メモは2020-08-28に投稿されたものを加筆修正し、再掲したものです。

mapToObj

IntStreamからStringのList(List)を作りたかったんですが、#mapだとintにしか変換できないなと思っていたら#mapToObjを使えばいいようです。

Copy

List<String> numList = IntStream.range(1, 10)
    .mapToObj(new DecimalFormat("000")::format)
    .collect(Collectors.toList());

こんな感じで。 numListには

Copy

["000", "001", ... "009"]

が入ります。