Foo *p = nullptr; p->bar(); That's undefined behavior. It's "allowed" in the sense of "yes it's possible to write, compile and run that code", but the lang

Foo *p = nullptr; p->bar(); That's undefined behavior. It's "allowed" in the sense of "yes it's possible to write, compile and run that code", but the language makes no guarantees about what the results will be. So maybe not the most useful definition of "allowed".