tmp/tmpgym5psug/{from.md → to.md}
RENAMED
|
@@ -7,11 +7,11 @@ template<class T> struct variant_size;
|
|
| 7 |
All specializations of `variant_size` meet the *Cpp17UnaryTypeTrait*
|
| 8 |
requirements [[meta.rqmts]] with a base characteristic of
|
| 9 |
`integral_constant<size_t, N>` for some `N`.
|
| 10 |
|
| 11 |
``` cpp
|
| 12 |
-
template<class T>
|
| 13 |
```
|
| 14 |
|
| 15 |
Let `VS` denote `variant_size<T>` of the cv-unqualified type `T`. Then
|
| 16 |
each specialization of the template meets the *Cpp17UnaryTypeTrait*
|
| 17 |
requirements [[meta.rqmts]] with a base characteristic of
|
|
@@ -21,11 +21,11 @@ requirements [[meta.rqmts]] with a base characteristic of
|
|
| 21 |
template<class... Types>
|
| 22 |
struct variant_size<variant<Types...>> : integral_constant<size_t, sizeof...(Types)> { };
|
| 23 |
```
|
| 24 |
|
| 25 |
``` cpp
|
| 26 |
-
template<size_t I, class T>
|
| 27 |
```
|
| 28 |
|
| 29 |
Let `VA` denote `variant_alternative<I, T>` of the cv-unqualified type
|
| 30 |
`T`. Then each specialization of the template meets the
|
| 31 |
*Cpp17TransformationTrait* requirements [[meta.rqmts]] with a member
|
|
|
|
| 7 |
All specializations of `variant_size` meet the *Cpp17UnaryTypeTrait*
|
| 8 |
requirements [[meta.rqmts]] with a base characteristic of
|
| 9 |
`integral_constant<size_t, N>` for some `N`.
|
| 10 |
|
| 11 |
``` cpp
|
| 12 |
+
template<class T> struct variant_size<const T>;
|
| 13 |
```
|
| 14 |
|
| 15 |
Let `VS` denote `variant_size<T>` of the cv-unqualified type `T`. Then
|
| 16 |
each specialization of the template meets the *Cpp17UnaryTypeTrait*
|
| 17 |
requirements [[meta.rqmts]] with a base characteristic of
|
|
|
|
| 21 |
template<class... Types>
|
| 22 |
struct variant_size<variant<Types...>> : integral_constant<size_t, sizeof...(Types)> { };
|
| 23 |
```
|
| 24 |
|
| 25 |
``` cpp
|
| 26 |
+
template<size_t I, class T> struct variant_alternative<I, const T>;
|
| 27 |
```
|
| 28 |
|
| 29 |
Let `VA` denote `variant_alternative<I, T>` of the cv-unqualified type
|
| 30 |
`T`. Then each specialization of the template meets the
|
| 31 |
*Cpp17TransformationTrait* requirements [[meta.rqmts]] with a member
|