A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://cplusplus.github.io/LWG/issue3927 below:

Unclear preconditions for operator[] for sequence containers

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.

3927. Unclear preconditions for operator[] for sequence containers

Section: 23.2.4 [sequence.reqmts] Status: WP Submitter: Ville Voutilainen Opened: 2023-04-24 Last modified: 2023-11-22

Priority: Not Prioritized

View other active issues in [sequence.reqmts].

View all other issues in [sequence.reqmts].

View all issues with WP status.

Discussion:

In 23.2.4 [sequence.reqmts]/118, we specify what a[n] means for a sequence container a, but we don't state that it actually has preconditions, other than implied ones.

When we want to use implied preconditions, we can actually get them by using the "Effects: Equivalent to..." wording.

[2023-05-24; Reflector poll]

Set status to Tentatively Ready after six votes in favour during reflector poll.

[2023-06-17 Approved at June 2023 meeting in Varna. Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4944.

  1. Modify 23.2.4 [sequence.reqmts] as indicated:

    a[n]

    -118- Result: reference; const_reference for constant a

    -119- Returns Effects: Equivalent to: return *(a.begin() + n) ; -120- Remarks: Required for basic_string, array, deque, and vector.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4