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.

3323. has-tuple-element helper concept needs convertible_to

Section: 24.7.15.2 [range.elements.view] Status: WP Submitter: Great Britain Opened: 2019-11-06 Last modified: 2020-02-24

Priority: 0

View all other issues in [range.elements.view].

View all issues with WP status.

Discussion:

Addresses GB 299

has-tuple-element helper concept needs convertible_to

The exposition-only has-tuple-element concept (for elements_view) is defined as

template<class T, size_t N>
concept has-tuple-element = exposition only
  requires(T t) {
    typename tuple_size<T>::type;
    requires N < tuple_size_v<T>;
    typename tuple_element_t<N, T>;
    { get<N>(t) } -> const tuple_element_t<N, T>&;
  };

However, the return type constraint for { get<N>(t) } is no longer valid under the latest concepts changes

Proposed change:

Change to:

template<class T, size_t N>
concept has-tuple-element = exposition only
  requires(T t) {
    typename tuple_size<T>::type;
    requires N < tuple_size_v<T>;
    typename tuple_element_t<N, T>;
    { get<N>(t) } -> convertible_to<const tuple_element_t<N, T>&>;
  };

Jonathan Wakely:

The NB comment says "The return type constraint for { get(t) } is no longer valid under the latest concepts changes." The changes referred to are those in P1452R2.

[2019-11 Status to Ready during Wednesday night issue processing in Belfast.]

Proposed resolution:

This wording is relative to N4835.

  1. Modify 24.7.15.2 [range.elements.view], class template elements_view synopsis, as indicated:

    namespace std::ranges {
      template<class T, size_t N>
      concept has-tuple-element = // exposition only
        requires(T t) {
          typename tuple_size<T>::type;
          requires N < tuple_size_v<T>;
          typename tuple_element_t<N, T>;
          { get<N>(t) } -> convertible_to<const tuple_element_t<N, T>&>;
        };
    […]
    }