This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of LEWG status.

3918. std::uninitialized_move/_n and guaranteed copy elision

Section: 27.11.6 [uninitialized.move] Status: LEWG Submitter: Jiang An Opened: 2023-04-04 Last modified: 2023-06-01

Priority: 3

View all issues with LEWG status.

Discussion:

Currently std::move is unconditionally used in std::uninitialized_move and std::uninitialized_move_n, which may involve unnecessary move construction if dereferencing the input iterator yields a prvalue.

The status quo was mentioned in paper issue #975, but no further process is done since then.

[2023-06-01; Reflector poll]

Set priority to 3 after reflector poll. Send to LEWG.

"P2283 wants to remove guaranteed elision here." "Poorly motivated, not clear anybody is using these algos with proxy iterators." "Consider using iter_move in the move algos."

Proposed resolution:

This wording is relative to N4944.

1. Modify 27.11.1 [specialized.algorithms.general] as indicated:

   -3- Some algorithms specified in 27.11 [specialized.algorithms] make use of the following exposition-only functions voidify:

   template<class T>
     constexpr void* voidify(T& obj) noexcept {
       return addressof(obj);
     }
     
   template<class I>
     decltype(auto) deref-move(const I& it) {
       if constexpr (is_lvalue_reference_v<decltype(*it)>)
         return std::move(*it);
       else
         return *it;
     }
   

2. Modify 27.11.6 [uninitialized.move] as indicated:

   template<class InputIterator, class NoThrowForwardIterator>
     NoThrowForwardIterator uninitialized_move(InputIterator first, InputIterator last,
                                               NoThrowForwardIterator result);
   

   -1- Preconditions: result + [0, (last - first)) does not overlap with [first, last).

   -2- Effects: Equivalent to:

   for (; first != last; (void)++result, ++first)
     ::new (voidify(*result))
       typename iterator_traits<NoThrowForwardIterator>::value_type(std::move(*deref-move(first));
   return result;
   

   […]

   template<class InputIterator, class Size, class NoThrowForwardIterator>
     pair<InputIterator, NoThrowForwardIterator>
       uninitialized_move_n(InputIterator first, Size n, NoThrowForwardIterator result);
   

   -6- Preconditions: result + [0, n) does not overlap with first + [0, n).

   -7- Effects: Equivalent to:

   for (; n > 0; ++result,(void) ++first, --n)
     ::new (voidify(*result))
       typename iterator_traits<NoThrowForwardIterator>::value_type(std::move(*deref-move(first));
   return {first, result};