Skip to content

Commit 858b48f

Browse files
jensmaurertkoeppe
authored andcommitted
[basic.def] 'class name declaration' is undefined.
1 parent e207506 commit 858b48f

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

source/basic.tex

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,8 @@
112112
\pnum
113113
\indextext{declaration!function}%
114114
\indextext{definition}%
115-
A declaration is a \defn{definition} unless
115+
Each entity declared by a \grammarterm{declaration} is
116+
also \defnx{defined}{define} by that declaration unless:
116117
\begin{itemize}
117118
\item
118119
it declares a function
@@ -137,7 +138,7 @@
137138
specifier (this usage is deprecated; see \ref{depr.static_constexpr}),
138139
\item
139140
\indextext{declaration!class name}%
140-
it is a class name declaration\iref{class.name},
141+
it is introduced by an \grammarterm{elaborated-type-specifier}\iref{class.name},
141142
\item
142143
it is an
143144
\indextext{declaration!opaque enum}%
@@ -180,6 +181,7 @@
180181
an explicit specialization\iref{temp.expl.spec} whose
181182
\grammarterm{declaration} is not a definition.
182183
\end{itemize}
184+
A declaration is said to be a \defn{definition} of each entity that it defines.
183185
\begin{example} All but one of the following are definitions:
184186
\indextext{example!definition}%
185187
\begin{codeblock}

0 commit comments

Comments
 (0)