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

3203. span element access invalidation

Section: 24.7.2.2.1 [span.overview] Status: New Submitter: Johel Ernesto Guerrero Peña Opened: 2019-05-04 Last modified: 2020-09-06

Priority: 2

View other active issues in [span.overview].

View all other issues in [span.overview].

View all issues with New status.

Discussion:

span doesn't explicitly point out when its accessed elements are invalidated like string_view does in 23.3.3.4 [string.view.iterators] p2.

[2019-06-12 Priority set to 2 after reflector discussion]

Proposed resolution:

This wording is relative to N4810.

  1. Modify 24.7.2.2.1 [span.overview] as indicated:

    -4- ElementType is required to be a complete object type that is not an abstract class type.

    -?- For a span s, any operation that invalidates a pointer in the range [s.data(), s.data() + s.size()) invalidates pointers, iterators, and references other than *this returned from s's member functions.