On 04/17/2012 09:16 PM, Namespace wrote: >> 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. If it is not the default, how would you enforce it at the caller side?