Issue 2679 - WG21 LWG Issues
Title
Inconsistent Use of Effects and Equivalent To
Status
c++17
Section
[structure.specifications]
Submitter
Dawn Perchik

Created on 2016-04-14.00:00:00 last changed 89 months ago

Messages

msg8446 (view)
Date: 2016-08-06.21:12:20

Proposed resolution:

  1. Change [structure.specifications]/4 as indicated:

    "[…] if F has no Returns: element, a non-void return from F is specified by the Returns: elementsreturn statements in the code sequence."

  2. Add two return keywords to [string.access]:

    const charT& front() const;
charT& front();

    -7- Requires: !empty().

    -8- Effects: Equivalent to return operator[](0).

    const charT& back() const;
charT& back();

    -9- Requires: !empty().

    -10- Effects: Equivalent to return operator[](size() - 1).
msg8055 (view)
Date: 2016-08-03.00:00:00

[ 2016-08-03 Chicago ]

Fri PM: Move to Tentatively Ready
msg8052 (view)
Date: 2016-05-08.12:44:54

[ 2016-04, Issues Telecon ]

The PR is fine; but bullet #1 in the report really should have a list of places to change.

Jonathan checked throughout the library for bullet #2 and found two problems in [string.access], which have been added to the PR.

msg8051 (view)
Date: 2016-04-14.00:00:00

  • Some Effects: were intended to include the "Equivalent to" phrasing where no or different words were used. See examples in std::filesystem and throughout the library.

  • The wording in [structure.specifications]/4 is incorrect and Effects: throughout the library which use (or were intended to use) the "Equivalent to" phrasing need to be checked to make sure they fit the intended wording.

History
Date User Action Args
2017-07-30 20:15:43adminsetstatus: wp -> c++17
2016-11-14 03:59:28adminsetstatus: pending -> wp
2016-11-14 03:55:22adminsetstatus: ready -> pending
2016-08-06 21:12:20adminsetmessages: + msg8446
2016-08-06 21:12:20adminsetstatus: new -> ready
2016-04-16 04:21:53adminsetmessages: + msg8055
2016-04-15 06:19:02adminsetmessages: + msg8052
2016-04-14 00:00:00admincreate