Subject: Re: [boost] [variant] Basic rvalue and C++11 features support
From: Peter Dimov (lists_at_[hidden])
Date: 2013-01-08 13:09:22
Paul Smith wrote:
> Sure. My point was that "destructible and assignable" are not always
> enough as far as the library goes.
Yes, I agree. To expand on that, the requirements defined by the standard
library such as CopyConstructible, LessThanComparable, and so on, do not
have preconditions. So if a movable type claims to conform to these
requirements, it can't impose a precondition that the operations only work
on values that haven't been moved from. And the same holds for requirements
defined by libraries other than the standard library.