Aquivalent References as in C++?

[Namespace]

> But C++ does not do that either.
> Are you asking for a full-blown non-null type system?

Yes, but of course only with a special Keyword/Storage class.