From Jason Turner

[over.ref]

C++17 → C++20 1.2 KB 23 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmporb2_top/{from.md → to.md} +10 -10
tmp/tmporb2_top/{from.md → to.md} RENAMED
@@ -1,17 +1,17 @@
1
  ### Class member access <a id="over.ref">[[over.ref]]</a>
2
 
3
- `operator->`
4
-
5
- shall be a non-static member function taking no parameters. It
6
- implements the class member access syntax that uses `->`.
7
 
8
  ``` bnf
9
- postfix-expression '->' 'template'ₒₚₜ id-expression
10
- postfix-expression '->' pseudo-destructor-name
11
  ```
12
 
13
- An expression `x->m` is interpreted as `(x.operator->())->m` for a class
14
- object `x` of type `T` if `T::operator->()` exists and if the operator
15
- is selected as the best match function by the overload resolution
16
- mechanism ([[over.match]]).
 
 
17
 
 
1
  ### Class member access <a id="over.ref">[[over.ref]]</a>
2
 
3
+ A *class member access operator function* is a function named
4
+ `operator->` that is a non-static member function taking no parameters.
5
+ For an expression of the form
 
6
 
7
  ``` bnf
8
+ postfix-expression '->' templateₒₚₜ id-expression
 
9
  ```
10
 
11
+ the operator function is selected by overload resolution
12
+ [[over.match.oper]], and the expression is interpreted as
13
+
14
+ ``` bnf
15
+ '(' postfix-expression . operator '->' '('')' ')' '->' templateₒₚₜ id-expression
16
+ ```
17