There is one thing I never understood about references and I hope that one might help me. For all I know, a reference cannot be null. But what happens if you have a function
This causes undefined behaviour. Don't do it.
Implementation-wise, realistically, the reference would point into the stack where the stackframe for the call to foo used to be. That memory will in many cases still make sense, so the error is often not immediately apparent. Therefore, you should take care never to make a dangling reference like that.