cplusplus / cplusplus/draft

[basic.scope.temp] p2 What is "the scope D inhabits"?

Open
#4,931 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

[basic.scope.temp] p2

Each template-declaration D introduces a template parameter scope that extends from the beginning of its template-parameter-list to the end of the template-declaration. Any declaration outside the template-parameter-list that would inhabit that scope instead inhabits the same scope as D.

According to [basic.scope#scope-2]

A declaration inhabits the immediate scope at its locus ([basic.scope.pdecl]).

However, we didn't specify the locus of a template-declaration. The note [basic.scope#scope-2.8] also depends on the scope template-declaration inhabits

The declaration in a template-declaration inhabits the same scope as the template-declaration.

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 by reading [basic.scope.temp] p2 together with [basic.scope#scope-2] and [basic.scope#scope-2.8]. Determine how the draft defines the scope or locus of a template-declaration and how that affects “inhabit that scope.” Done means the wording and note no longer depend on an unspecified concept.

Written by the indexing model from the issue text.

Assessment

Tech stack
tex
Domain
documentation
Issue type
Documentation
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.