8 Jan
2013
8 Jan
'13
6:09 p.m.
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.