Section: 31.6.3.4 [streambuf.protected] Status: New Submitter: Jiang An Opened: 2023-12-08 Last modified: 2023-12-09 16:21:45 UTC
Priority: Not Prioritized
View all issues with New status.
Discussion:
It seems that operations of std::basic_streambuf expect that
[eback(), egptr()) is a valid range and gptr() points into that range, and
[pbase(), pptr()) is a valid range and epptr() points into that range.
However, it is currently not specified for setg/setp that such invariants need to be established.
Proposed resolution:
This wording is relative to N4964.
Modify 31.6.3.4.2 [streambuf.get.area] as indicated:
void setg(char_type* gbeg, char_type* gnext, char_type* gend);-?- Preconditions: [gbeg, gnext), [gbeg, gend), and [gnext, gend) are all valid ranges.
-5- Postconditions: gbeg == eback(), gnext == gptr(), and gend == egptr() are all true.
Modify 31.6.3.4.3 [streambuf.put.area] as indicated:
void setp(char_type* pbeg, char_type* pend);-?- Preconditions: [pbeg, pend) is a valid range.
-5- Postconditions: pbeg == pbase(), pbeg == pptr(), and pend == epptr() are all true.