|
10 | 10 | \indextext{conversion!implicit}%
|
11 | 11 | Standard conversions are implicit conversions with built-in meaning.
|
12 | 12 | \ref{conv} enumerates the full set of such conversions. A
|
13 |
| -\indextext{sequence!standard conversion}% |
14 |
| -\term{standard conversion sequence} is a sequence of standard |
| 13 | +\defnx{standard conversion sequence}{conversion sequence!standard} is a sequence of standard |
15 | 14 | conversions in the following order:
|
16 | 15 |
|
17 | 16 | \begin{itemize}
|
|
60 | 59 |
|
61 | 60 | \pnum
|
62 | 61 | An expression \tcode{e} can be
|
63 |
| -\indextext{conversion!implicit}% |
64 |
| -\term{implicitly converted} to a type \tcode{T} if and only if the |
| 62 | +\defnx{implicitly converted}{conversion!implicit} to a type \tcode{T} if and only if the |
65 | 63 | declaration \tcode{T t=e;} is well-formed, for some invented temporary
|
66 | 64 | variable \tcode{t}\iref{dcl.init}.
|
67 | 65 |
|
68 | 66 | \pnum
|
69 | 67 | Certain language constructs require that an expression be converted to a Boolean
|
70 | 68 | value. An expression \tcode{e} appearing in such a context is said to be
|
71 |
| -\indextext{conversion!contextual to \tcode{bool}}% |
72 |
| -\term{contextually converted to \tcode{bool}} and is well-formed if and only if |
| 69 | +\defnx{contextually converted to \tcode{bool}}{conversion!contextual to \tcode{bool}} and is well-formed if and only if |
73 | 70 | the declaration \tcode{bool t(e);} is well-formed, for some invented temporary
|
74 | 71 | variable \tcode{t}\iref{dcl.init}.
|
75 | 72 |
|
|
393 | 390 | one.
|
394 | 391 |
|
395 | 392 | \pnum
|
396 |
| -These conversions are called \term{integral promotions}. |
| 393 | +These conversions are called \defnx{integral promotions}{integral promotion}. |
397 | 394 |
|
398 | 395 | \rSec1[conv.fpprom]{Floating-point promotion}
|
399 | 396 |
|
|
403 | 400 | \tcode{double}. The value is unchanged.
|
404 | 401 |
|
405 | 402 | \pnum
|
406 |
| -This conversion is called \term{floating-point promotion}. |
| 403 | +This conversion is called \defn{floating-point promotion}. |
407 | 404 |
|
408 | 405 | \rSec1[conv.integral]{Integral conversions}
|
409 | 406 |
|
|
490 | 487 | \pnum
|
491 | 488 | \indextext{conversion!pointer}%
|
492 | 489 | \indextext{null pointer conversion|see{conversion, null pointer}}%
|
493 |
| -\indextext{pointer!zero}% |
494 |
| -\indextext{constant!null pointer}% |
| 490 | +\indextext{pointer!zero|see{value, null pointer}}% |
495 | 491 | \indextext{value!null pointer}%
|
496 |
| -A \term{null pointer constant} is an integer literal\iref{lex.icon} with |
| 492 | +A \defnx{null pointer constant}{constant!null pointer} is an integer literal\iref{lex.icon} with |
497 | 493 | value zero
|
498 | 494 | or a prvalue of type \tcode{std::nullptr_t}. A null pointer constant can be
|
499 | 495 | converted to a pointer type; the
|
|
532 | 528 |
|
533 | 529 | \pnum
|
534 | 530 | \indextext{conversion!pointer-to-member}%
|
| 531 | +\indextext{null member pointer conversion|see{conversion, null member pointer}}% |
535 | 532 | \indextext{constant!null pointer}%
|
536 |
| -\indextext{value!null member pointer}% |
537 | 533 | A null pointer constant\iref{conv.ptr} can be converted to a
|
538 | 534 | pointer-to-member
|
539 |
| -type; the result is the \term{null member pointer value} |
| 535 | +type; the result is the \defnx{null member pointer value}{value!null member pointer} |
540 | 536 | of that type and is distinguishable from any pointer to member not
|
541 | 537 | created from a null pointer constant.
|
542 |
| -Such a conversion is called a \term{null member pointer conversion}. |
| 538 | +Such a conversion is called a \defnx{null member pointer conversion}{conversion!null member pointer}. |
543 | 539 | Two null member pointer values of
|
544 | 540 | the same type shall compare equal. The conversion of a null pointer
|
545 | 541 | constant to a pointer to member of cv-qualified type is a single
|
|
0 commit comments