[temp.inst] Define the process of instantiation
Nobody has claimed this yet.
- Dominant language
- TeX
- Stars
- 221
- Forks
- 813
- Avg merge
- 16h 4m
- Merged PRs (30d)
- 36
Description
Instantiation is obviously used a lot, but we never specify what the process entails. The english definition is not sufficient to describe it, so it should be defined.
Perhaps something like:
Instantiation of a templated entity is the process of generating a specialization through substituting template arguments in for their respective template parameters. During the instantiation of the definition of a specialization, if the substitution results in an invalid type or expression, the program is ill-formed.
This isn't a full definition by any means, but certainly a start. The second sentence sounds a little iffy.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reviewing the existing uses of “instantiation” in the C++ draft and compare them with the proposed definition in this issue. Determine which parts of the process and ill-formedness rule need to be stated, then confirm that the wording is consistent with surrounding standard terminology and usage.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, tex
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100