Title
pointer_traits::pointer_to should be constexpr
Status
lewg
Section
[pointer.traits]
Submitter
Alisdair Meredith

Created on 2020-06-21.00:00:00 last changed 3 weeks ago

Messages

Date: 2022-07-21.17:32:02

Proposed resolution:

This wording is relative to N4861.

  1. Modify [pointer.traits] as indicated:

    -1- The class template pointer_traits supplies a uniform interface to certain attributes of pointer-like types.

    namespace std {
      template<class Ptr> struct pointer_traits {
        using pointer         = Ptr;
        using element_type    = see below;
        using difference_type = see below;
        
        template<class U> using rebind = see below;
        
        static constexpr pointer pointer_to(see below r);
      };
      […]
    }
    
  2. Modify [pointer.traits.functions] as indicated:

    static constexpr pointer pointer_traits::pointer_to(see below r);
    static constexpr pointer pointer_traits<T*>::pointer_to(see below r) noexcept;
    

    -1- Mandates: For the first member function, Ptr::pointer_to(r) is well-formed.

    -2- Preconditions: For the first member function, Ptr::pointer_to(r) returns a pointer to r through which indirection is valid.

    -3- Returns: The first member function returns Ptr::pointer_to(r). The second member function returns addressof(r).

    -4- Remarks: If element_type is cv void, the type of r is unspecified; otherwise, it is element_type&.

Date: 2022-07-15.00:00:00

[ 2022-07-19; Casey Carter comments ]

This is no longer simply a theoretical problem that impedes implementing constexpr std::list, but an actual defect affecting current implementations of constexpr std::string. More specifically, it makes it impossible to support so-called "fancy pointers" in a constexpr basic_string that performs the small string optimization (SSO). (pointer_traits::pointer_to is critically necessary to get a pointer that designates the SSO buffer.) As things currently stand, constexpr basic_string can support fancy pointers or SSO, but not both.

Date: 2020-07-15.00:00:00

[ 2020-07-17; Forwarded to LEWG after review in telecon ]

Date: 2020-06-21.00:00:00

Trying to implement a constexpr std::list (inspired by Tim Song's note on using variant members in the node) as part of evaluating the constexpr container and adapters proposals, I hit problems I could not code around in pointer_traits, as only the specialization for native pointers has a constexpr pointer_to function.

This means that containers of my custom allocator, that delegates all allocation behavior to std::allocator<T> but adds extra telemetry and uses a fancy pointer, does not work with the approach I tried for implementing list (common link type, shared between nodes, and stored as end sentinel directly in the list object).

History
Date User Action Args
2022-07-21 17:32:02adminsetmessages: + msg12603
2020-07-17 22:37:26adminsetmessages: + msg11396
2020-07-17 22:37:26adminsetstatus: new -> lewg
2020-06-22 12:53:01adminsetmessages: + msg11341
2020-06-21 00:00:00admincreate