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

3821. uses_allocator_construction_args should have overload for pair-like

Section: 20.2.8.2 [allocator.uses.construction] Status: WP Submitter: Tim Song Opened: 2022-11-08 Last modified: 2023-02-13

Priority: 2

View all other issues in [allocator.uses.construction].

View all issues with WP status.

Discussion:

P2165R4 added a pair-like constructor to std::pair but didn't add a corresponding uses_allocator_construction_args overload. It was in P2165R3 but incorrectly removed during the small group review.

Without LWG 3525, not having the overload would have caused emplacing a pair-like into a pmr::vector<pair> to be outright ill-formed.

With that issue's resolution, in cases where the constructor is not explicit we would create a temporary pair and then do uses-allocator construction using its pieces, and it still won't work when the constructor is explicit.

We should just do this properly.

[2022-11-09 Tim updates wording following LWG review]

During review of this issue LWG noticed that neither the constructor nor the new overload should accept subrange.

The remove_cv_t in the new paragraph is added for consistency with LWG 3677.

[Kona 2022-11-12; Set priority to 2]

[2023-01-11; LWG telecon]

Replace P with U in p17 and set status to Tentatively Ready (poll result: 8/0/0).

[2023-02-13 Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4917 after the application of LWG 3677.

1. Edit 22.3.2 [pairs.pair] as indicated:

   template<class U1, class U2> constexpr explicit(see below) pair(pair<U1, U2>& p);
   template<class U1, class U2> constexpr explicit(see below) pair(const pair<U1, U2>& p);
   template<class U1, class U2> constexpr explicit(see below) pair(pair<U1, U2>&& p);
   template<class U1, class U2> constexpr explicit(see below) pair(const pair<U1, U2>&& p);
   template<pair-like P> constexpr explicit(see below) pair(P&& p);
   

   -14- Let FWD(u) be static_cast<decltype(u)>(u).

   -15- Constraints:

   1. (15.?) — For the last overload, remove_cvref_t<P> is not a specialization of ranges::subrange,

   2. (15.1) — is_constructible_v<T1, decltype(get<0>(FWD(p)))> is true and

   3. (15.2) — is_constructible_v<T2, decltype(get<1>(FWD(p)))> is true.

   -16- Effects: Initializes first with get<0>(FWD(p)) and second with get<1>(FWD(p)).

2. Edit 20.2.2 [memory.syn], header <memory> synopsis, as indicated:

   namespace std {
     […]
     // 20.2.8.2 [allocator.uses.construction], uses-allocator construction
     […]
     template<class T, class Alloc, class U, class V>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc,
                                                       pair<U, V>& pr) noexcept;
   
     template<class T, class Alloc, class U, class V>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc,
                                                       const pair<U, V>& pr) noexcept;
   
     template<class T, class Alloc, class U, class V>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc,
                                                       pair<U, V>&& pr) noexcept;
   
     template<class T, class Alloc, class U, class V>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc,
                                                       const pair<U, V>&& pr) noexcept;
     template<class T, class Alloc, pair-like P>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc, P&& p) noexcept;
       
     template<class T, class Alloc, class U>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc, U&& u) noexcept;
     […]
   }
   

3. Add the following to 20.2.8.2 [allocator.uses.construction]:

     template<class T, class Alloc, pair-like P>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc, P&& p) noexcept;
   

   -?- Constraints: remove_cv_t<T> is a specialization of pair and remove_cvref_t<P> is not a specialization of ranges::subrange.

   -?- Effects: Equivalent to:

   
   return uses_allocator_construction_args<T>(alloc, piecewise_construct,
                                               forward_as_tuple(get<0>(std::forward<P>(p))),
                                               forward_as_tuple(get<1>(std::forward<P>(p))));
   

4. Edit 20.2.8.2 [allocator.uses.construction] p17:

     template<class T, class Alloc, class U>
       constexpr auto uses_allocator_construction_args(const Alloc& alloc, U&& u) noexcept;
   

   -16- Let FUN be the function template:

     template<class A, class B>
     void FUN(const pair<A, B>&);
   

   -17- Constraints: remove_cv_t<T> is a specialization of pair, and either:

   1. (17.1) — remove_cvref_t<U> is a specialization of ranges::subrange, or

   2. (17.2) — U does not satisfy pair-like and the expression FUN(u) is not well-formed when considered as an unevaluated operand..