Re: [boost] [variant] Basic rvalue and C++11 features support

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.