Thank you Alan for the pointer!
I marked my bug as yet another duplicate of JDK-6813523.
It's not clear, why Martin's fix hadn't been pushed then.
Martin can you recollect if there were any concerns?
Sincerely yours,
Ivan
On 09.05.2015 19:14, Alan Bateman wrote:
On 09/05/2015 17:03, Ivan Gerasimov wrote:
Hi everyone!
The String class has getChars(int srcBegin, int srcEnd, char[] dst,
int dstBegin) which is used to efficiently extract substrings,
avoiding unnecessary copying.
This has come up a few times, here's the last thread (and patch) that
I could find:
http://mail.openjdk.java.net/pipermail/core-libs-dev/2013-April/015889.html