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

Title: basic_string::at should not have a Requires clause
Status: c++14
Section: [string.access]
Submitter: Nevin Liber

Created on 2012-10-26.00:00:00 last changed 123 months ago

Messages

msg6461 (view)

Date: 2013-04-18.22:58:13

Proposed resolution:

This wording is relative to N3376.

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).

msg6423 (view)

Date: 2013-04-15.00:00:00

[ 2013-04-18, Bristol ]

msg6382 (view)

Date: 2013-03-15.00:00:00

[ 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.

msg6228 (view)

Date: 2013-01-15.00:00:00

[ 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.

msg6227 (view)

Date: 2012-10-26.00:00:00

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

History
Date	User	Action	Args
2014-02-20 13:20:35	admin	set	status: wp -> c++14
2013-04-25 19:07:07	admin	set	status: voting -> wp
2013-04-19 21:44:50	admin	set	status: ready -> voting
2013-04-18 22:58:13	admin	set	messages: + msg6461
2013-04-18 22:58:13	admin	set	status: review -> ready
2013-03-18 14:33:00	admin	set	messages: + msg6423
2013-03-18 13:02:36	admin	set	status: new -> review
2013-03-12 20:38:59	admin	set	messages: + msg6382
2012-11-01 21:04:29	admin	set	messages: + msg6228
2012-10-26 00:00:00	admin	create