Created on 2007-10-15.00:00:00 last changed 171 months ago
Proposed resolution:
Change the wording of the return clause to say ([uninitialized.copy]):
-2- Returns: The value of result after effects have taken place.
14882-2003, [lib.uninitialized.copy] is currently written as follows:
template <class InputIterator, class ForwardIterator> ForwardIterator uninitialized_copy(InputIterator first, InputIterator last, ForwardIterator result);-1- Effects:
for (; first != last; ++result, ++first) new (static_cast<void*>(&*result)) typename iterator_traits<ForwardIterator>::value_type(*first);-2- Returns: result
similarily for N2369, and its corresponding section [uninitialized.copy].
It's not clear to me what the return clause is supposed to mean, I see two possible interpretations:
The problem is: I see nothing in the standard which grants that this interpretation is correct, specifically [lib.structure.specifications] or [structure.specifications] resp. do not clarify which "look-up" rules apply for names found in the elements of the detailed specifications - Do they relate to the corresponding synopsis or to the effects clause (or possibly other elements)? Fortunately most detailed descriptions are unambigious in this regard, e.g. this problem does not apply for std::copy.
History | |||
---|---|---|---|
Date | User | Action | Args |
2010-10-21 18:28:33 | admin | set | messages: + msg3660 |
2007-10-15 00:00:00 | admin | create |