Skip to content

[basic.pre] Split names and entities into its own subclause #8620

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.

Sign up for GitHub

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

Open
AlisdairM wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[basic.pre] Split names and entities into its own subclause #8620

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 10 additions & 8 deletions source/basic.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,8 @@
Clauses.
\end{note}

\rSec1[basic.name]{Names and entities}

\pnum
A \defn{name} is an \grammarterm{identifier}\iref{lex.name},
\grammarterm{conversion-function-id}\iref{class.conv.fct},
Expand Down Expand Up @@ -171,7 +173,7 @@
\indextext{declaration!definition versus}%
\indextext{declaration}%
\indextext{declaration!name}%
A declaration\iref{basic.pre} may (re)introduce
A declaration\iref{basic.name} may (re)introduce
one or more names and/or entities into a translation
unit.
If so, the
Expand Down Expand Up @@ -377,7 +379,7 @@
\item a class type\iref{class},
\item an enumeration type\iref{dcl.enum},
\item a function\iref{dcl.fct},
\item a variable\iref{basic.pre},
\item a variable\iref{basic.name},
\item a templated entity\iref{temp.pre},
\item a default argument for a parameter
(for a function in a given scope)\iref{dcl.fct.default}, or
Expand Down Expand Up @@ -587,7 +589,7 @@
invoked\iref{class.dtor}.

\pnum
A local entity\iref{basic.pre}
A local entity\iref{basic.name}
is \defn{odr-usable} in a scope\iref{basic.scope.scope} if
\begin{itemize}
\item either the local entity is not \tcode{*\keyword{this}}, or
Expand Down Expand Up @@ -1248,7 +1250,7 @@

\pnum
\indextext{declaration!locus|see{locus}}%
The \defn{locus} of a declaration\iref{basic.pre} that is a declarator
The \defn{locus} of a declaration\iref{basic.name} that is a declarator
is immediately after the complete declarator\iref{dcl.decl}.
\begin{example}
\begin{codeblock}
Expand Down Expand Up @@ -1716,7 +1718,7 @@
A \defnadj{single}{search} in a scope $S$
for a name $N$ from a program point $P$
finds all declarations that precede $P$
to which any name that is the same as $N$\iref{basic.pre} is bound in $S$.
to which any name that is the same as $N$\iref{basic.name} is bound in $S$.
If any such declaration is a \grammarterm{using-declarator}
whose terminal name\iref{expr.prim.id.unqual}
is not dependent\iref{temp.dep.type},
Expand Down Expand Up @@ -2839,7 +2841,7 @@
whose converted \grammarterm{constant-expression} represents
a construct $X$ is said to \defn{designate} either
\begin{itemize}
\item the underlying entity of $X$ if $X$ is an entity\iref{basic.pre}, or
\item the underlying entity of $X$ if $X$ is an entity\iref{basic.name}, or
\item $X$ otherwise.
\end{itemize}
\begin{note}
Expand Down Expand Up @@ -3459,7 +3461,7 @@
\end{note}
The properties of an
object are determined when the object is created. An object can have a
name\iref{basic.pre}. An object has a storage
name\iref{basic.name}. An object has a storage
duration\iref{basic.stc} which influences its
lifetime\iref{basic.life}. An object has a
type\iref{basic.types}.
Expand Down Expand Up @@ -5669,7 +5671,7 @@
\begin{itemize}
\item a value of scalar type\iref{temp.param},
\item an object with static storage duration\iref{basic.stc},
\item a variable\iref{basic.pre},
\item a variable\iref{basic.name},
\item a structured binding\iref{dcl.struct.bind},
\item a function\iref{dcl.fct},
\item a function parameter,
Expand Down
8 changes: 4 additions & 4 deletions source/expressions.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1581,7 +1581,7 @@
appears in a \grammarterm{lambda-expression}
at program point $P$,
\item
the entity is a local entity\iref{basic.pre}
the entity is a local entity\iref{basic.name}
or a variable declared by an \grammarterm{init-capture}\iref{expr.prim.lambda.capture},
\item
naming the entity within the \grammarterm{compound-statement} of
Expand Down Expand Up @@ -2748,7 +2748,7 @@

\pnum
The \grammarterm{identifier} in a \grammarterm{simple-capture}
shall denote a local entity\iref{basic.lookup.unqual,basic.pre}.
shall denote a local entity\iref{basic.lookup.unqual,basic.name}.
The \grammarterm{simple-capture}{s} \keyword{this} and \tcode{* \keyword{this}}
denote the local entity \tcode{*\keyword{this}}.
An entity that is designated by a
Expand Down Expand Up @@ -3573,7 +3573,7 @@
\item
an unnamed bit-field, or
\item
a local entity\iref{basic.pre} such that
a local entity\iref{basic.name} such that
\begin{itemize}
\item
there is a lambda scope that intervenes
Expand Down Expand Up @@ -6837,7 +6837,7 @@
a local parameter introduced by
a \grammarterm{requires-expression}\iref{expr.prim.req}, or
\item
a local entity $E$\iref{basic.pre} for which a lambda scope intervenes
a local entity $E$\iref{basic.name} for which a lambda scope intervenes
between the point at which $E$ was introduced and $R$,
\end{itemize}
then $R$ is ill-formed.
Expand Down