tmp/tmpryy4fmty/{from.md → to.md}
RENAMED
|
@@ -19,11 +19,11 @@ member of `D` of type *cv* `T`”, where `D` is a derived class (Clause
|
|
| 19 |
of `D`, a program that necessitates this conversion is ill-formed. The
|
| 20 |
result of the conversion refers to the same member as the pointer to
|
| 21 |
member before the conversion took place, but it refers to the base class
|
| 22 |
member as if it were a member of the derived class. The result refers to
|
| 23 |
the member in `D`’s instance of `B`. Since the result has type “pointer
|
| 24 |
-
to member of `D` of type *cv* `T`”,
|
| 25 |
-
object. The result is the same as if
|
| 26 |
-
|
| 27 |
-
value is converted to the null member pointer value of the
|
| 28 |
-
type.[^5]
|
| 29 |
|
|
|
|
| 19 |
of `D`, a program that necessitates this conversion is ill-formed. The
|
| 20 |
result of the conversion refers to the same member as the pointer to
|
| 21 |
member before the conversion took place, but it refers to the base class
|
| 22 |
member as if it were a member of the derived class. The result refers to
|
| 23 |
the member in `D`’s instance of `B`. Since the result has type “pointer
|
| 24 |
+
to member of `D` of type *cv* `T`”, indirection through it with a `D`
|
| 25 |
+
object is valid. The result is the same as if indirecting through the
|
| 26 |
+
pointer to member of `B` with the `B` subobject of `D`. The null member
|
| 27 |
+
pointer value is converted to the null member pointer value of the
|
| 28 |
+
destination type.[^5]
|
| 29 |
|