Glimi schreef op 24 December 2002 @ 11:36:
Eigenlijk moet Java gewoon van een variabele kunnen afdwingen dat deze nooit null kan zijn, want nullwaardes (en deze zo verbergen) zorgen juist voor inconsistentie van objecten welke ontzettend moeilijk te traceren zijn

Even Alarmnummer het gras voor de voeten wegmaaien:
Nice.
Een erg mooie feature als je 't mij vraagt, want zoals je terecht zegt, wil je een strict onderscheid maken tussen references die wel of niet null mogen zijn op een bepaald moment (en null zijn, mag alleen als dit een zinnige betekenis heeft; niet om maar wat onverwachte fouten te ontwijken).
In C++ wordt het onderscheid enigszins aangegeven door het gebruik van references (niet null) en pointers (mogelijk wel null), al is dit alleen een goede conventie en geen eis die vanuit de taal opgelegd wordt. Het verschil in syntaxis tussen C++ references en pointers is wat dat betreft ook wel fijn; als je een pointer dereferenced, weet je dat het fout zou kunnen gaan.