21 Nov
2023
21 Nov
'23
9:53 p.m.
On Tue Nov 21 18:59:48 2023 +0000, Zebediah Figura wrote:
I'd use sizeof() instead, since map.size is really supposed to be a byte size, but that's a minor quibble.
Yeah, that sounds slightly cleaner.