|
550 | 550 | \pnum |
551 | 551 | An expression $E$ can be |
552 | 552 | \defnx{implicitly converted}{conversion!implicit} to a type \tcode{T} if and only if the |
553 | | -declaration \tcode{T t=$E$;} is well-formed, for some invented temporary |
| 553 | +declaration \tcode{T t=$E$;} is well-formed, for some invented |
554 | 554 | variable \tcode{t}\iref{dcl.init}. |
555 | 555 |
|
556 | 556 | \pnum |
557 | 557 | Certain language constructs require that an expression be converted to a Boolean |
558 | 558 | value. An expression $E$ appearing in such a context is said to be |
559 | 559 | \defnx{contextually converted to \tcode{bool}}{conversion!contextual to \tcode{bool}} and is well-formed if and only if |
560 | | -the declaration \tcode{\keyword{bool} t($E$);} is well-formed, for some invented temporary |
| 560 | +the declaration \tcode{\keyword{bool} t($E$);} is well-formed, for some invented |
561 | 561 | variable \tcode{t}\iref{dcl.init}. |
562 | 562 |
|
563 | 563 | \pnum |
|
577 | 577 | \pnum |
578 | 578 | The effect of any implicit |
579 | 579 | conversion is the same as performing the corresponding declaration and initialization |
580 | | -and then using the temporary variable as the result of the conversion. |
| 580 | +and then using the invented variable as the result of the conversion. |
581 | 581 | The result is an lvalue if \tcode{T} is an lvalue reference |
582 | 582 | type or an rvalue reference to function type\iref{dcl.ref}, |
583 | 583 | an xvalue if \tcode{T} is an rvalue reference to object type, |
|
4027 | 4027 | \begin{codeblock} |
4028 | 4028 | T t(@$E$@); |
4029 | 4029 | \end{codeblock} |
4030 | | -for some invented temporary variable \tcode{t}\iref{dcl.init} |
4031 | | -and then using the temporary variable as the result of the conversion. |
| 4030 | +for some invented variable \tcode{t}\iref{dcl.init} |
| 4031 | +and then using the variable as the result of the conversion. |
4032 | 4032 | Otherwise, the result object is direct-initialized from $E$. |
4033 | 4033 | \begin{note} |
4034 | 4034 | The conversion is ill-formed when attempting to convert an |
|
0 commit comments