cplusplus / cplusplus/draft

The definition of what entity denoted by a qualified-id is not clear

Open
#5,346 20 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

[expr.prim.id.qual] p5 states that

The result of a qualified-id Q is the entity it denotes ([basic.lookup.qual]).

The emphasized subclause has no actual interpretation. [basic.pre] p5 define what entity is denoted by a name.

An entity E is denoted by the name (if any) that is introduced by a declaration of E

So, I think [expr.prim.id.qual] p5 should be changed to:

The result of a qualified-id Q is the entity denoted by the qualified name of Q.

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

Start with [expr.prim.id.qual] p5 and compare its wording with [basic.pre] p5 and [basic.lookup.qual]. Review the 20-comment discussion for the unresolved interpretation and any agreed wording. Done means the standard text has a settled, consistent definition of what a qualified-id denotes.

Written by the indexing model from the issue text.

Assessment

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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.