Is it worth mentioning that an implementation may have other
mechanisms that create storage in the manner of malloc? For example,
it'd make sense for VirtualAlloc or mmap to create implicit objects
just like the standard malloc functions.
Sounds like a good change to me.
It would be nice if we could indicate that in a portable way. The default is wrong for attributes, unfortunately, but otherwise something like:
[[blessed_storage]] void* my_memory_map(…);
would have been useful.
Incidentally, I’m not too fond of the name “bless”. Maybe “implicit_lifetime”?
Daveed