tmp/tmppigzib_z/{from.md → to.md}
RENAMED
|
@@ -1,10 +1,13 @@
|
|
| 1 |
### Type property queries <a id="meta.unary.prop.query">[[meta.unary.prop.query]]</a>
|
| 2 |
|
| 3 |
This sub-clause contains templates that may be used to query properties
|
| 4 |
of types at compile time.
|
| 5 |
|
|
|
|
|
|
|
|
|
|
| 6 |
``` cpp
|
| 7 |
// the following assertions hold:
|
| 8 |
assert(rank<int>::value == 0);
|
| 9 |
assert(rank<int[2]>::value == 1);
|
| 10 |
assert(rank<int[][4]>::value == 2);
|
|
|
|
| 1 |
### Type property queries <a id="meta.unary.prop.query">[[meta.unary.prop.query]]</a>
|
| 2 |
|
| 3 |
This sub-clause contains templates that may be used to query properties
|
| 4 |
of types at compile time.
|
| 5 |
|
| 6 |
+
Each of these templates shall be a `UnaryTypeTrait` ([[meta.rqmts]])
|
| 7 |
+
with a `BaseCharacteristic` of `integral_constant<size_t, Value>`.
|
| 8 |
+
|
| 9 |
``` cpp
|
| 10 |
// the following assertions hold:
|
| 11 |
assert(rank<int>::value == 0);
|
| 12 |
assert(rank<int[2]>::value == 1);
|
| 13 |
assert(rank<int[][4]>::value == 2);
|