tmp/tmp_cm8fk2y/{from.md → to.md}
RENAMED
|
@@ -1,12 +1,12 @@
|
|
| 1 |
### Type names <a id="dcl.name">[[dcl.name]]</a>
|
| 2 |
|
| 3 |
To specify type conversions explicitly, and as an argument of `sizeof`,
|
| 4 |
`alignof`, `new`, or `typeid`, the name of a type shall be specified.
|
| 5 |
-
This can be done with a *type-id*
|
| 6 |
-
for a variable or function of that type
|
| 7 |
-
entity.
|
| 8 |
|
| 9 |
``` bnf
|
| 10 |
type-id:
|
| 11 |
type-specifier-seq abstract-declaratorₒₚₜ
|
| 12 |
```
|
|
@@ -43,11 +43,10 @@ abstract-pack-declarator:
|
|
| 43 |
```
|
| 44 |
|
| 45 |
``` bnf
|
| 46 |
noptr-abstract-pack-declarator:
|
| 47 |
noptr-abstract-pack-declarator parameters-and-qualifiers
|
| 48 |
-
noptr-abstract-pack-declarator '[' constant-expressionₒₚₜ ']' attribute-specifier-seqₒₚₜ
|
| 49 |
'...'
|
| 50 |
```
|
| 51 |
|
| 52 |
It is possible to identify uniquely the location in the
|
| 53 |
*abstract-declarator* where the identifier would appear if the
|
|
@@ -70,8 +69,9 @@ pointers to `int`”, “pointer to array of 3 `int`”, “function of (no
|
|
| 70 |
parameters) returning pointer to `int`”, and “pointer to a function of
|
| 71 |
(`double`) returning `int`”.
|
| 72 |
|
| 73 |
— *end example*]
|
| 74 |
|
| 75 |
-
A type can also be named
|
| 76 |
-
|
|
|
|
| 77 |
|
|
|
|
| 1 |
### Type names <a id="dcl.name">[[dcl.name]]</a>
|
| 2 |
|
| 3 |
To specify type conversions explicitly, and as an argument of `sizeof`,
|
| 4 |
`alignof`, `new`, or `typeid`, the name of a type shall be specified.
|
| 5 |
+
This can be done with a *type-id* or *new-type-id* [[expr.new]], which
|
| 6 |
+
is syntactically a declaration for a variable or function of that type
|
| 7 |
+
that omits the name of the entity.
|
| 8 |
|
| 9 |
``` bnf
|
| 10 |
type-id:
|
| 11 |
type-specifier-seq abstract-declaratorₒₚₜ
|
| 12 |
```
|
|
|
|
| 43 |
```
|
| 44 |
|
| 45 |
``` bnf
|
| 46 |
noptr-abstract-pack-declarator:
|
| 47 |
noptr-abstract-pack-declarator parameters-and-qualifiers
|
|
|
|
| 48 |
'...'
|
| 49 |
```
|
| 50 |
|
| 51 |
It is possible to identify uniquely the location in the
|
| 52 |
*abstract-declarator* where the identifier would appear if the
|
|
|
|
| 69 |
parameters) returning pointer to `int`”, and “pointer to a function of
|
| 70 |
(`double`) returning `int`”.
|
| 71 |
|
| 72 |
— *end example*]
|
| 73 |
|
| 74 |
+
[*Note 1*: A type can also be named by a *typedef-name*, which is
|
| 75 |
+
introduced by a typedef declaration or *alias-declaration*
|
| 76 |
+
[[dcl.typedef]]. — *end note*]
|
| 77 |
|