8 May
2008
8 May
'08
2:03 p.m.
Frank Mori Hess:
On Thursday 08 May 2008 04:51 am, Anthony Williams wrote:
To this end, unique_lock is default-constructible and movable, and supports lock and unlock operations.
Since when is unique_lock default-constructible? You just mean it has a defer_lock_t constructor, right?
It does have a default constructor. Movable types have to have an "empty" state in which to put the moved-from source, and the default constructor of a movable type usually creates such an "empty" object. (The proposed promise doesn't adhere to this "convention" though.)