tmp/tmp0ev4l3ri/{from.md → to.md}
RENAMED
|
@@ -12,14 +12,10 @@ element type are also taken as the cv-qualifiers cvᵢ of the array.
|
|
| 12 |
[*Example 1*: The type denoted by the *type-id* `const int **` has
|
| 13 |
three qualification-decompositions, taking `U` as “`int`”, as “pointer
|
| 14 |
to `const int`”, and as “pointer to pointer to
|
| 15 |
`const int`”. — *end example*]
|
| 16 |
|
| 17 |
-
The n-tuple of cv-qualifiers after the first one in the longest
|
| 18 |
-
qualification-decomposition of `T`, that is, cv₁, cv₂, …, cvₙ, is called
|
| 19 |
-
the *cv-qualification signature* of `T`.
|
| 20 |
-
|
| 21 |
Two types `T1` and `T2` are *similar* if they have
|
| 22 |
qualification-decompositions with the same n such that corresponding Pᵢ
|
| 23 |
components are either the same or one is “array of Nᵢ” and the other is
|
| 24 |
“array of unknown bound of”, and the types denoted by `U` are the same.
|
| 25 |
|
|
|
|
| 12 |
[*Example 1*: The type denoted by the *type-id* `const int **` has
|
| 13 |
three qualification-decompositions, taking `U` as “`int`”, as “pointer
|
| 14 |
to `const int`”, and as “pointer to pointer to
|
| 15 |
`const int`”. — *end example*]
|
| 16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 17 |
Two types `T1` and `T2` are *similar* if they have
|
| 18 |
qualification-decompositions with the same n such that corresponding Pᵢ
|
| 19 |
components are either the same or one is “array of Nᵢ” and the other is
|
| 20 |
“array of unknown bound of”, and the types denoted by `U` are the same.
|
| 21 |
|