Re: Disallow null references in safe code?

[Timon Gehr]

On 02/01/2014 11:05 PM, Adam D. Ruppe wrote:

A library solution to this exists already:

Widget wn = fetchWidget();
if(auto w = wn.checkNull) {
    // w implicitly converts to NotNull!Widget
}

I've had some difficulty in const correctness with my implementation...
but const correct is an entirely separate issue anyway.

It isn't quite the same as if(w) but meh, does that matter? The point of
the static check is to make you think about it,  and that's achieved here.

The following illustrates what's not achieved here:

if(auto w = wn.checkNull){
    // ...
}else w.foo();