cplusplus / cplusplus/draft

[over.match.oper] p3 The "rewritten" is used in different meanings

Open
#4,835 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
TeX
Stars
221
Forks
813
Avg merge
16h 4m
Merged PRs (30d)
36

Description

For the operators =, [], or ->, the set of non-member candidates is empty; otherwise, it includes the result of unqualified lookup for operator@ in the rewritten function call ([basic.lookup.unqual], [basic.lookup.argdep]), ignoring all member functions.

The wording "rewritten" is basically associated with "rewritten candidates". The use of it in the above bullet seems to make misleading. In the older version, the corresponding wording is that

The set of non-member candidates is the result of the unqualified lookup of operator@ in the context of the expression according to the usual rules for name lookup in unqualified function calls ([basic.lookup.argdep]) except that all member functions are ignored.

Presumably, the modification is concerned to make the lookup for it as if it is applied to a function call whose postfix expression is an unqualified-id. Could we say that to make the meaning unambiguous?

For the operators =, [], or ->, the set of non-member candidates is empty; otherwise, it includes the result of unqualified lookup for operator@ in the rewritten transformed non-member function call ([basic.lookup.unqual], [basic.lookup.argdep]), ignoring all member functions.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Search the draft for the quoted paragraph describing non-member candidates for operators. Compare the use of “rewritten” with the issue’s proposed “transformed non-member function call.” Done means the paragraph’s lookup context is unambiguous without changing the stated lookup rules.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp, tex
Domain
documentation
Issue type
Documentation
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Clearly specified
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.