• [first, last) is a valid range. • Each iterator in [first, last) points to a region of uninitialized memory that is large enough to store a value of ForwardIterator's value type.Preconditions
• [first, last) is a valid range. • Each iterator in [first, last) points to a region of uninitialized memory that is large enough to store a value of ForwardIterator's value type.Preconditions