-
Notifications
You must be signed in to change notification settings - Fork 771
[dcl.fct,expr.ref] Fix description of class member access expressions #3624
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
source/expressions.tex
Outdated
If \tcode{E2} refers to a member function of type \tcode{T}, | ||
\tcode{E1.E2} has type \tcode{T} and refers to that member function. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The "If" here sounds like it's introducing a condition, but it's not. Perhaps:
If
E2
is a (possibly overloaded) member function, function overload resolution ([over.match]) is used to determine to which functionE2
refers. The type ofE1.E2
is the type ofE2
andE1.E2
refers to the function referred to byE2
."
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fixed with a slightly bigger hammer.
source/expressions.tex
Outdated
member function. The type of \tcode{E1.E2} is the same type as that of | ||
\tcode{E2}, namely ``function of parameter-type-list returning | ||
\tcode{T}''. | ||
\item If \tcode{E1.E2} refers to a static member function, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think "If E2
refers to a static member function" would be a little simpler.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fixed.
source/expressions.tex
Outdated
\item Otherwise, if \tcode{E1.E2} refers to a non-static member function, | ||
then \tcode{E1.E2} is a prvalue. The expression can be used only as the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe:
Otherwise (when
E2
refers to a non-static member function),E1.E2
is a prvalue.
involving non-static member functions.
involving non-static member functions.
Fixes #3607.