tmp/tmpea98ygli/{from.md → to.md}
RENAMED
|
@@ -17,13 +17,13 @@ template<class S1, class S2, class M1, class M2>
|
|
| 17 |
```
|
| 18 |
|
| 19 |
*Mandates:* `S1` and `S2` are complete types.
|
| 20 |
|
| 21 |
*Returns:* `true` if and only if `S1` and `S2` are standard-layout
|
| 22 |
-
types, `M1` and `M2` are object types, `m1` and
|
| 23 |
-
`m1` and `m2` point to corresponding members of
|
| 24 |
-
sequence [[class.mem]] of `S1` and `S2`.
|
| 25 |
|
| 26 |
[*Note 1*:
|
| 27 |
|
| 28 |
The type of a pointer-to-member expression `&C::b` is not always a
|
| 29 |
pointer to member of `C`, leading to potentially surprising results when
|
|
|
|
| 17 |
```
|
| 18 |
|
| 19 |
*Mandates:* `S1` and `S2` are complete types.
|
| 20 |
|
| 21 |
*Returns:* `true` if and only if `S1` and `S2` are standard-layout
|
| 22 |
+
struct [[class.prop]] types, `M1` and `M2` are object types, `m1` and
|
| 23 |
+
`m2` are not null, and `m1` and `m2` point to corresponding members of
|
| 24 |
+
the common initial sequence [[class.mem]] of `S1` and `S2`.
|
| 25 |
|
| 26 |
[*Note 1*:
|
| 27 |
|
| 28 |
The type of a pointer-to-member expression `&C::b` is not always a
|
| 29 |
pointer to member of `C`, leading to potentially surprising results when
|