Re: [boost] [unnullable_ptr] Proposal for a new library

From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2008-07-25 19:38:02

Giovanni Piero Deretta wrote:
> I think that the biggest problem is that, if T is movable,  you cannot
> statically guarantee that T is never accessed in an empty state, so
> the never empty guarantee is not as useful.

You can only move from rvalues.
Rvalues cannot be accessed later on.

If they're not real rvalues, that means casting was used. Which should
then make it explicit that trying to access it later on is undefined
behaviour as far as the implementation of the type is concerned.