From Jason Turner

[expr.mptr.oper]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpok2w87r9/{from.md → to.md} +10 -10
tmp/tmpok2w87r9/{from.md → to.md} RENAMED
@@ -7,21 +7,21 @@ pm-expression:
7
  cast-expression
8
  pm-expression '.*' cast-expression
9
  pm-expression '->*' cast-expression
10
  ```
11
 
12
- The binary operator `.*` binds its second operand, which shall be of
13
- type “pointer to member of `T`” to its first operand, which shall be a
14
- glvalue of class `T` or of a class of which `T` is an unambiguous and
15
- accessible base class. The result is an object or a function of the type
16
- specified by the second operand.
17
 
18
- The binary operator `->*` binds its second operand, which shall be of
19
- type “pointer to member of `T`” to its first operand, which shall be of
20
- type “pointer to `U`” where `U` is either `T` or a class of which `T` is
21
- an unambiguous and accessible base class. The expression `E1->*E2` is
22
- converted into the equivalent form `(*(E1)).*E2`.
23
 
24
  Abbreviating *pm-expression*`.*`*cast-expression* as `E1.*E2`, `E1` is
25
  called the *object expression*. If the result of `E1` is an object whose
26
  type is not similar to the type of `E1`, or whose most derived object
27
  does not contain the member to which `E2` refers, the behavior is
 
7
  cast-expression
8
  pm-expression '.*' cast-expression
9
  pm-expression '->*' cast-expression
10
  ```
11
 
12
+ The binary operator `.*` binds its second operand, which shall be a
13
+ prvalue of type “pointer to member of `T`” to its first operand, which
14
+ shall be a glvalue of class `T` or of a class of which `T` is an
15
+ unambiguous and accessible base class. The result is an object or a
16
+ function of the type specified by the second operand.
17
 
18
+ The binary operator `->*` binds its second operand, which shall be a
19
+ prvalue of type “pointer to member of `T`” to its first operand, which
20
+ shall be of type “pointer to `U`” where `U` is either `T` or a class of
21
+ which `T` is an unambiguous and accessible base class. The expression
22
+ `E1->*E2` is converted into the equivalent form `(*(E1)).*E2`.
23
 
24
  Abbreviating *pm-expression*`.*`*cast-expression* as `E1.*E2`, `E1` is
25
  called the *object expression*. If the result of `E1` is an object whose
26
  type is not similar to the type of `E1`, or whose most derived object
27
  does not contain the member to which `E2` refers, the behavior is