Date
2010-10-21.18:28:33
Message id
4626

Content

Proposed resolution:

Change Exception Propagation [propagation]:

exception_ptr shall be DefaultConstructible, CopyConstructible, CopyAssignable and EqualityComparable.

Change Class template reference_wrapper [refwrap]:

reference_wrapper<T> is a CopyConstructible and CopyAssignable wrapper around a reference to an object of type T.

Change Placeholders [func.bind.place]:

It is implementation defined whether placeholder types are CopyAssignable. CopyAssignable placeholders' copy assignment operators shall not throw exceptions.

Change Class template shared_ptr [util.smartptr.shared]:

Specializations of shared_ptr shall be CopyConstructible, CopyAssignable, and LessThanComparable...

Change Class template weak_ptr [util.smartptr.weak]:

Specializations of weak_ptr shall be CopyConstructible, CopyAssignable, and LessThanComparable...

Change traits typedefs [char.traits.typedefs] (note: including deletion of reference to 23.1!):

Requires: state_type shall meet the requirements of CopyAssignable (23.1), CopyConstructible (20.1.8), and DefaultConstructible types.

Change Class seed_seq [rand.util.seedseq] (note again: including deletion of reference to 23.1!):

In addition to the requirements set forth below, instances of seed_seq shall meet the requirements of CopyConstructible (20.1.8) and of CopyAssignable (23.1).

Note: The proposed resolution of this issue does not deal with the instance of the term "Assignable" in [auto.ptr], as this is dealt with more specifically by LWG 973, "auto_ptr characteristics", submitted by Maarten Hilferink.