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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk