[meta.unary.prop.query] - C++14 → C++17

Files changed (1) hide show

tmp/tmpen656f6e/{from.md → to.md} RENAMED Viewed

@@ -1,27 +1,35 @@
 ### Type property queries <a id="meta.unary.prop.query">[[meta.unary.prop.query]]</a>
-This sub-clause contains templates that may be used to query properties
 of types at compile time.
 Each of these templates shall be a `UnaryTypeTrait` ([[meta.rqmts]])
-with a `BaseCharacteristic` of `integral_constant<size_t, Value>`.
 ``` cpp
 // the following assertions hold:
-assert(rank<int>::value == 0);
-assert(rank<int[2]>::value == 1);
-assert(rank<int[][4]>::value == 2);
 ```
 ``` cpp
 // the following assertions hold:
-assert(extent<int>::value == 0);
-assert(extent<int[2]>::value == 2);
-assert(extent<int[2][4]>::value == 2);
-assert(extent<int[][4]>::value == 0);
-assert((extent<int, 1>::value) == 0);
-assert((extent<int[2], 1>::value) == 0);
-assert((extent<int[2][4], 1>::value) == 4);
-assert((extent<int[][4], 1>::value) == 4);
 ```

 ### Type property queries <a id="meta.unary.prop.query">[[meta.unary.prop.query]]</a>
+This subclause contains templates that may be used to query properties
 of types at compile time.
 Each of these templates shall be a `UnaryTypeTrait` ([[meta.rqmts]])
+with a base characteristic of `integral_constant<size_t, Value>`.
+[*Example 1*:
 ``` cpp
 // the following assertions hold:
+assert(rank_v<int> == 0);
+assert(rank_v<int[2]> == 1);
+assert(rank_v<int[][4]> == 2);
 ```
+— *end example*]
+[*Example 2*:
 ``` cpp
 // the following assertions hold:
+assert(extent_v<int> == 0);
+assert(extent_v<int[2]> == 2);
+assert(extent_v<int[2][4]> == 2);
+assert(extent_v<int[][4]> == 0);
+assert((extent_v<int, 1>) == 0);
+assert((extent_v<int[2], 1>) == 0);
+assert((extent_v<int[2][4], 1>) == 4);
+assert((extent_v<int[][4], 1>) == 4);
 ```
+— *end example*]

Diff to HTML by rtfpessoa