tmp/tmpcrlns3z4/{from.md → to.md}
RENAMED
|
@@ -5,17 +5,14 @@ relationships between types at compile time.
|
|
| 5 |
|
| 6 |
Each of these templates shall be a *Cpp17BinaryTypeTrait* [[meta.rqmts]]
|
| 7 |
with a base characteristic of `true_type` if the corresponding condition
|
| 8 |
is true, otherwise `false_type`.
|
| 9 |
|
| 10 |
-
[*Note 1*: Base classes that are private, protected, or ambiguous are,
|
| 11 |
-
nonetheless, base classes. — *end note*]
|
| 12 |
-
|
| 13 |
For the purpose of defining the templates in this subclause, a function
|
| 14 |
call expression `declval<T>()` for any type `T` is considered to be a
|
| 15 |
-
trivial
|
| 16 |
-
odr-use [[
|
| 17 |
corresponding definition notwithstanding the restrictions of
|
| 18 |
[[declval]].
|
| 19 |
|
| 20 |
[*Example 1*:
|
| 21 |
|
|
@@ -46,19 +43,19 @@ implicit conversions to the return type of the function:
|
|
| 46 |
To test() {
|
| 47 |
return declval<From>();
|
| 48 |
}
|
| 49 |
```
|
| 50 |
|
| 51 |
-
[*Note
|
| 52 |
-
types,
|
| 53 |
|
| 54 |
Access checking is performed in a context unrelated to `To` and `From`.
|
| 55 |
Only the validity of the immediate context of the *expression* of the
|
| 56 |
`return` statement [[stmt.return]] (including initialization of the
|
| 57 |
returned object or reference) is considered.
|
| 58 |
|
| 59 |
-
[*Note
|
| 60 |
instantiation of class template specializations and function template
|
| 61 |
specializations, the generation of implicitly-defined functions, and so
|
| 62 |
on. Such side effects are not in the “immediate context” and can result
|
| 63 |
in the program being ill-formed. — *end note*]
|
| 64 |
|
|
|
|
| 5 |
|
| 6 |
Each of these templates shall be a *Cpp17BinaryTypeTrait* [[meta.rqmts]]
|
| 7 |
with a base characteristic of `true_type` if the corresponding condition
|
| 8 |
is true, otherwise `false_type`.
|
| 9 |
|
|
|
|
|
|
|
|
|
|
| 10 |
For the purpose of defining the templates in this subclause, a function
|
| 11 |
call expression `declval<T>()` for any type `T` is considered to be a
|
| 12 |
+
trivial [[term.trivial.type]], [[special]] function call that is not an
|
| 13 |
+
odr-use [[term.odr.use]] of `declval` in the context of the
|
| 14 |
corresponding definition notwithstanding the restrictions of
|
| 15 |
[[declval]].
|
| 16 |
|
| 17 |
[*Example 1*:
|
| 18 |
|
|
|
|
| 43 |
To test() {
|
| 44 |
return declval<From>();
|
| 45 |
}
|
| 46 |
```
|
| 47 |
|
| 48 |
+
[*Note 1*: This requirement gives well-defined results for reference
|
| 49 |
+
types, array types, function types, and cv `void`. — *end note*]
|
| 50 |
|
| 51 |
Access checking is performed in a context unrelated to `To` and `From`.
|
| 52 |
Only the validity of the immediate context of the *expression* of the
|
| 53 |
`return` statement [[stmt.return]] (including initialization of the
|
| 54 |
returned object or reference) is considered.
|
| 55 |
|
| 56 |
+
[*Note 2*: The initialization can result in side effects such as the
|
| 57 |
instantiation of class template specializations and function template
|
| 58 |
specializations, the generation of implicitly-defined functions, and so
|
| 59 |
on. Such side effects are not in the “immediate context” and can result
|
| 60 |
in the program being ill-formed. — *end note*]
|
| 61 |
|