[webkit-dev] NeverNull<T>

Peter Kasting pkasting at google.com
Tue Jul 28 15:59:33 PDT 2009

On Tue, Jul 28, 2009 at 3:55 PM, Oliver Hunt <oliver at apple.com> wrote:

> Personally i like the idea of having type system/compiler enforced null
> checking.

Note that eseidel's proposal is still a runtime check.  One could use
template specialization to write a class that gives a compile-time error if
you try to assign NULL directly to a pointer, but I'm not enough of a
template wizard to know if it could be made to catch all types of assignment
(e.g. if you could catch that when a NeverNull<Foo> is initialized by an
existing Foo*, that existing pointer must not contain NULL).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20090728/37a139be/attachment.html>

More information about the webkit-dev mailing list