[over.built] Rework formatting of placeholders. #1237
Conversation
Use \defn for definitions. Use \placeholder for meta-variables used in describing built-in candidate signatures. Fixes cplusplus#1233.
| \tcode{int} | ||
| and | ||
| \tcode{long} | ||
| but excluding e.g. | ||
| \tcode{char}). | ||
| Similarly, the term | ||
| \term{promoted arithmetic type} | ||
| \defn{promoted arithmetic type} | ||
| refers to floating types plus promoted integral types. |
There was a problem hiding this comment.
(This seems factually bad: Surely a "promoted arithmetic type" excludes float??)
There was a problem hiding this comment.
No. 5p11.4 says we don't promote "float" to "double" in expressions, in the way we promote char to int.
There was a problem hiding this comment.
Oh, right, I was thinking of the default argument promotions, not the arithmetic promotions.
| @@ -3440,331 +3442,295 @@ | |||
| \end{note} | |||
|
|
|||
| \pnum | |||
| In the remainder of this section, \cvqual{vq} represents either | |||
| \tcode{volatile} or the absence of \tcode{volatile}. | |||
There was a problem hiding this comment.
Maybe "or no cv qualifier"? Because currently it sounds like you could use "vq cv" to take an arbitrary cv-qualifier and constrain it to not include volatile.
There was a problem hiding this comment.
Maybe reuse the "is either volatile or empty" wording from below?"
| \textit{T}, | ||
| \textit{CV1}, | ||
| \textit{CV2}), | ||
| (\tcode{\placeholder{C1}}, |
There was a problem hiding this comment.
Now we could start thinking about subscripting, e.g. \tcode{\placeholder{C}}$_1$. But we can do that in a separate iteration.
There was a problem hiding this comment.
Yes, the subscripting is separate. And no, we want to use
The thing inside the math environment should be a well-formed mathematical term. Just the subscript looks broken. (Maybe that rule helps LaTeX keep the spacing right.)
There was a problem hiding this comment.
I'm happy with either. If you want a self-contained maths expression, use:
$\text{\tcode{\placeholder{X}}}_1$
etc.
There was a problem hiding this comment.
I'd really like to introduce \mcode = \text{\tcode{...}} otherwise the LaTeX source gets unreadable. Later.
|
Thanks! |
Introduce \cvqual{vq} once in the introductory text of the section.
|
Updated. |
Fixes #1233.