Re: two questions on allocators

[Simon Wright <simon@pushface.org>]

Robert A Duff <bobduff@TheWorld.com> writes:

> "not null" is checked in more places than "Predicate => S /= null".
> You might think that means "not null" is safer.

I think I'm going to be terminally confused. I'd rather have to work
round the fact that something was *going* to be checked than be able to
write code (with fingers crossed) using the fact that *in some
circumstances* it might not be.

I recently (discussed here) came across a problem using a predicate
where even Randy wasn't sure whether the predicate check should have
been triggered.