[fpos.operations] Unclear assertions in requirements table #1031
Comments
|
Regarding the first row: I have no clue what the editorial fix here should be. "p" is just any value of type P, so "p == P(i)" seems totally misguided. I'm asking for an LWG issue. Regarding the conversions in the last row of the table: sz is introduced in the paragraph before the table: "sz refers to a value of type streamsize". So, these rows tell you that conversion from streamsize to streamoff, then back to streamsize is value-preserving for all possible values of type "streamsize". |
|
See #2134 for the wholesale cleanup here. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The first row in "Table 108 — Position type requirements" contains expression
P(i)in the first column and assertionp == P(i)in the last column. It is not clear whatprefers to, since it is not used in the expression. Perhaps it is a typo and the assertion should bei == P(i).The expression
streamsize(o)has a corresponding assertionstreamsize(O(sz)) == sz. The meaning of this is also unclear, sinceszdoes not appear in the expression.The text was updated successfully, but these errors were encountered: