Yes. With a private build:
jshell>
"hello".chars().mapToObj(Character::toString).collect(Collectors.joining())
$1 ==> "hello"
Naoto
On 03/02/2018 04:42 PM, Remi Forax wrote:
Just to be sure, it now means that a code like this will work
String s = "hello".chars()
.mapToObj(Character::toString)
.collect(Collectors.joining());
Rémi
----- Mail original -----
De: "naoto sato" <naoto.s...@oracle.com>
À: "Stuart Marks" <stuart.ma...@oracle.com>, "Xueming Shen" <xueming.s...@gmail.com>,
"core-libs-dev"
<core-libs-dev@openjdk.java.net>
Envoyé: Vendredi 2 Mars 2018 03:47:51
Objet: [11] RFR: 4993841: (str) java.lang.Character should have a toString(int)
method
Hi,
Please review the fix to the following issue:
https://bugs.openjdk.java.net/browse/JDK-4993841
The proposed changeset is located at:
http://cr.openjdk.java.net/~naoto/4993841/webrev.03/
This stems from the recent discussion regarding String.repeat().[1] The
corresponding CSR has already been approved.
Naoto
--
[1]
http://mail.openjdk.java.net/pipermail/core-libs-dev/2018-February/051568.html
