tmp/tmpiex6wz94/{from.md → to.md}
RENAMED
|
@@ -19,16 +19,18 @@ Compound types can be constructed in the following ways:
|
|
| 19 |
- *unions*, which are classes capable of containing objects of different
|
| 20 |
types at different times, [[class.union]];
|
| 21 |
- *enumerations*, which comprise a set of named constant values. Each
|
| 22 |
distinct enumeration constitutes a different *enumerated type*,
|
| 23 |
[[dcl.enum]];
|
| 24 |
-
- *pointers to non-static* [^
|
| 25 |
of a given type within objects of a given class, [[dcl.mptr]].
|
| 26 |
|
| 27 |
These methods of constructing types can be applied recursively;
|
| 28 |
restrictions are mentioned in [[dcl.ptr]], [[dcl.array]], [[dcl.fct]],
|
| 29 |
-
and [[dcl.ref]].
|
|
|
|
|
|
|
| 30 |
|
| 31 |
The type of a pointer to `void` or a pointer to an object type is called
|
| 32 |
an *object pointer type*. A pointer to `void` does not have a
|
| 33 |
pointer-to-object type, however, because `void` is not an object type.
|
| 34 |
The type of a pointer that can designate a function is called a
|
|
|
|
| 19 |
- *unions*, which are classes capable of containing objects of different
|
| 20 |
types at different times, [[class.union]];
|
| 21 |
- *enumerations*, which comprise a set of named constant values. Each
|
| 22 |
distinct enumeration constitutes a different *enumerated type*,
|
| 23 |
[[dcl.enum]];
|
| 24 |
+
- *pointers to non-static* [^28] *class members*, which identify members
|
| 25 |
of a given type within objects of a given class, [[dcl.mptr]].
|
| 26 |
|
| 27 |
These methods of constructing types can be applied recursively;
|
| 28 |
restrictions are mentioned in [[dcl.ptr]], [[dcl.array]], [[dcl.fct]],
|
| 29 |
+
and [[dcl.ref]]. Constructing a type such that the number of bytes in
|
| 30 |
+
its object representation exceeds the maximum value representable in the
|
| 31 |
+
type `std::size_t` ([[support.types]]) is ill-formed.
|
| 32 |
|
| 33 |
The type of a pointer to `void` or a pointer to an object type is called
|
| 34 |
an *object pointer type*. A pointer to `void` does not have a
|
| 35 |
pointer-to-object type, however, because `void` is not an object type.
|
| 36 |
The type of a pointer that can designate a function is called a
|