On Tuesday, 23 January 2018 at 21:53:24 UTC, Steven Schveighoffer
wrote:
[1] Note: the reason they are safe is because they generally
result in a segfault, which doesn't harm any memory. This is
very much a user-space POV, and doesn't take into account
kernel-space where null dereferences may actually be valid
memory! It also doesn't (currently) take into account possible
huge objects that could extend into valid memory space, even in
user space.
That's what kindof ticks me off about this "null is memory safe"
argument; it seems to be only applicable to a specific platform
and environment. I have a micocontroller in front of me where an
address of null (essentially 0) is a perfectly valid memory
address.
Mike