725. Optional sequence container requirements column label

Section: 23.2.4 [sequence.reqmts] Status: NAD Editorial Submitter: David Abrahams Opened: 2007-09-16 Last modified: 2016-01-28

Priority: Not Prioritized

View other active issues in [sequence.reqmts].

View all other issues in [sequence.reqmts].

View all issues with NAD Editorial status.

Discussion:

Table 90: (Optional sequence container operations) states the "assertion note pre/post-condition" of operator[] to be

*(a.begin() + n)

Surely that's meant to be "operational semantics?"

Proposed resolution:

Table 90: Optional sequence container operations
expression return type assertion/note
pre/post-condition

operational semantics
container