tmp/tmpkm_mvkjq/{from.md → to.md}
RENAMED
|
@@ -17,11 +17,12 @@ following order:
|
|
| 17 |
|
| 18 |
[*Note 1*: A standard conversion sequence can be empty, i.e., it can
|
| 19 |
consist of no conversions. — *end note*]
|
| 20 |
|
| 21 |
A standard conversion sequence will be applied to an expression if
|
| 22 |
-
necessary to convert it to a required destination
|
|
|
|
| 23 |
|
| 24 |
[*Note 2*:
|
| 25 |
|
| 26 |
Expressions with a given type will be implicitly converted to other
|
| 27 |
types in several contexts:
|
|
@@ -39,12 +40,12 @@ types in several contexts:
|
|
| 39 |
[[dcl.init.ref]].
|
| 40 |
|
| 41 |
— *end note*]
|
| 42 |
|
| 43 |
An expression E can be *implicitly converted* to a type `T` if and only
|
| 44 |
-
if the declaration `T t=E;` is well-formed, for some invented
|
| 45 |
-
variable `t` [[dcl.init]].
|
| 46 |
|
| 47 |
Certain language constructs require that an expression be converted to a
|
| 48 |
Boolean value. An expression E appearing in such a context is said to be
|
| 49 |
*contextually converted to `bool`* and is well-formed if and only if the
|
| 50 |
declaration `bool t(E);` is well-formed, for some invented temporary
|
|
|
|
| 17 |
|
| 18 |
[*Note 1*: A standard conversion sequence can be empty, i.e., it can
|
| 19 |
consist of no conversions. — *end note*]
|
| 20 |
|
| 21 |
A standard conversion sequence will be applied to an expression if
|
| 22 |
+
necessary to convert it to an expression having a required destination
|
| 23 |
+
type and value category.
|
| 24 |
|
| 25 |
[*Note 2*:
|
| 26 |
|
| 27 |
Expressions with a given type will be implicitly converted to other
|
| 28 |
types in several contexts:
|
|
|
|
| 40 |
[[dcl.init.ref]].
|
| 41 |
|
| 42 |
— *end note*]
|
| 43 |
|
| 44 |
An expression E can be *implicitly converted* to a type `T` if and only
|
| 45 |
+
if the declaration `T t = E;` is well-formed, for some invented
|
| 46 |
+
temporary variable `t` [[dcl.init]].
|
| 47 |
|
| 48 |
Certain language constructs require that an expression be converted to a
|
| 49 |
Boolean value. An expression E appearing in such a context is said to be
|
| 50 |
*contextually converted to `bool`* and is well-formed if and only if the
|
| 51 |
declaration `bool t(E);` is well-formed, for some invented temporary
|