JTC1/SC22/WG14
N785
SC22/WG14 N785
Meaning of "definition"
Clive D.W. Feather
clive@demon.net
1997-10-21
Abstract
========
The Standard uses wording that implies that certain concepts (such as type
names) have definitions, but does not support this in the definition of
definition. This proposal fixes this.
Proposal
========
Change 6.5 (Declarations) paragraph 5 from:
A /declaration/ specifies the interpretation and attributes of a set
of identifiers. A declaration that also causes storage to be reserved
for an object or function named by an identifier is a /definition/.[90]
to:
A /declaration/ specifies the interpretation and attributes of a set
of identifiers. A /definition/ of an identifier is a declaration for
that identifier that:
- for an object, causes storage to be reserved for that object;
- for a function, includes the function body;[90]
- for an enumeration constant or typedef name, is the (only)
declaration of the identifier.