2207. basic_string::at should not have a Requires clause

Section: [string.access] Status: C++14 Submitter: Nevin Liber Opened: 2012-10-26 Last modified: 2016-01-28 10:19:27 UTC

Priority: Not Prioritized

View all other issues in [string.access].

View all issues with C++14 status.


basic_string::at() has a wide contract and should not have a "Requires" clause on it.

[2013-01-17, Juan Soulie comments]

This issue would also apply to every member function of basic_string that throws out_of_range, and to some cases where a length_error can be thrown.

[2013-03-15 Issues Teleconference]

Moved to Review.

While this could simply move to Ready on inspection, there is concern that this will not be the only such case. Alisdair volunteers to review clause 21/23 for more of such issues for Bristol, and update the proposed resolution as necessary.

[2013-04-18, Bristol]

Proposed resolution:

This wording is relative to N3376.

  1. Remove [string.access] p5:

    const_reference at(size_type pos) const;
    reference at(size_type pos);

    -5- Requires: pos < size()

    -6- Throws: out_of_range if pos >= size().

    -7- Returns: operator[](pos).