On Saturday, 1 October 2022 at 17:50:54 UTC, tsbockman wrote:
but unless it is provided with a good estimate of the final length at the beginning, it will allocate several times fora longer string, and the final buffer will be, on average, 50% larger than needed.
I see, it's smart! SDB@79