search

cplusplus / nbballot

Handling of NB comments in response to ballots
14 stars 4 forks source link

GB-075 16.3.3.6 [freestanding.entity] "Freestanding entities" are not entities #448

Closed wg21bot closed 1 year ago

wg21bot commented 1 year ago

The term "freestanding entity" refers to things that aren't entities.

It's confusing for "freestanding entities" to be two things (declarations and macro definitions), neither of which are entities. Declarations may declare entities, they are not entities themselves. Given this definition, p6/7/8 makes no sense. A namespace can't be a freestanding entity since it's neither a declaration nor a macro definition.

N.B. LWG 3753 already changed what's in the CD.

JeffGarland commented 1 year ago

As noted this will be resolved by LWG3753 which is tentatively ready and will be moved in Kona.

https://cplusplus.github.io/LWG/issue3753

jwakely commented 1 year ago

No 3753 does not solve the problem that "declarations and macro definitions" are not entities. It exacerbates it .

When we accepted lwg 3753 there were objections about this point, I suggested that we should accept the issue as a net improvement and there would be an NB comment to address the objections to the issue's resolution. That is this comment.

JeffGarland commented 1 year ago

@jwakely Thanks for the clarification -- we will discuss on Monday @ben-craig take note

JeffGarland commented 1 year ago

LWG3753 is being reworded in Kona to improve and address.

jensmaurer commented 1 year ago

Accepted with modification. See LWG3753 for details.