Own type for null?

Benjamin Thaut code at benjamin-thaut.de
Tue Oct 25 22:49:05 PDT 2011


I recently tried to replace the deprecated overloading of new and delete 
and came across a serious issue. You can not use std.conv.emplace with 
null. If you pass null to it, null loses it's implicit casting 
cabablities and just becomes a void*.
This issue pretty much exists with every template. As soon as you pass 
null to a template (compile time) information gets lost.

Besides fixing std.conv.emplace it could be really handy to be able to 
check for a null-type at compile time for example with non-nullable types.

There is already a enhancement reqeust in bugzilla since January but it 
didn't get much attention yet: 
http://d.puremagic.com/issues/show_bug.cgi?id=5416

Would this be a worthwile improvement for the langauge?
-- 
Kind Regards
Benjamin Thaut


More information about the Digitalmars-d mailing list