To make things clear: no, this is not an implementation of the ISO standard library. At no point was such a thing claimed. There is little point in writing one of those, there are several high quality implementations available. "Standard library" in this context means "a collection of low level functions and types that would be needed by most applications".
I was hoping it'd be about an ISO standard library implementation. Mostly because the GNU and Clang ones are difficult to read.
quuxplusone · 2h ago
> There are of course cases when you need to deal with types that are not well behaved. If you can tolerate a memory allocation per object, the simple solution is to use unique_ptr.
But unique_ptr definitely does not satisfy TFA's `concept WellBehaved`...?
I mean, the idea of a "concept WellBehaved" is pretty intriguing (albeit completely unattested in practice AFAIK), but TFA should have spent a minute coming up with a concept definition that actually works before posting.
I was hoping it'd be about an ISO standard library implementation. Mostly because the GNU and Clang ones are difficult to read.
But unique_ptr definitely does not satisfy TFA's `concept WellBehaved`...?
I mean, the idea of a "concept WellBehaved" is pretty intriguing (albeit completely unattested in practice AFAIK), but TFA should have spent a minute coming up with a concept definition that actually works before posting.