Repository navigation
Non-defining object declarations can have type cv void CWG2475 #3953
Description
Activity
While pretty obvious, this does not feel editorial to me.
[dcl.pre] p10 introduces "object declaration" (which, curiously enough, might also declare a reference). This would be a suitable place to prohibit "cv void".
CWG 2020-12-07:
C allowsextern void var;
A new core issue will be created, and deferred to the WG14/WG21 liaison group.[basic.pre] p6
A variable is introduced by the declaration of a reference other than a non-static data member or of an object. The variable’s name, if any, denotes the reference or object.
Presumably, an "object" must have object type.
- changed the title
[-]Non-defining object declarations can have type cv void[/-][+]Non-defining object declarations can have type cv void CWG2475[/+]on Feb 26, 2022 See CWG2475
Nothing prohibits an object declaration from having type
cv void. While there is wording that prevents an object definition from having such a type in [basic.def], so such wording exists to cover the following: