Title
Hidden friends should be specified more narrowly
Status
new
Section
[cmp.weakeq][cmp.strongeq][cmp.partialord] [cmp.weakord][cmp.strongord][fs.class.path] [container.node.overview]
Submitter
Daniel Sunderland

Created on 2019-07-19.00:00:00, last changed 2019-07-19.00:00:00.

Messages

Date: 2019-07-19.00:00:00

LWG has been moving papers which use hidden friends to restrict an entity's lookup to be via ADL only. However, the current wording does not prevent an implementation from making these entities from also being available via (un)qualified lookup.

Walter Brown and I have an unreviewed paper (P1601R0) in the Post Kona mailing specifying that entities which are intended to be found via ADL only include a Remarks element which states something equivalent to the following:

"Remarks: This function is to be found via argument-dependent lookup only."

Adding this element after the draft ships will be a semantic change. Marshall suggested that I file an LWG issue to add/modify Remarks elements where needed to prevent (un)qualified lookup.

The following stable names are places in the pre Cologne draft (N4820) which potentially use hidden friends. Furthermore, there are papers that LWG added to the straw polls which also potentially use hidden friends. LWG should review each of these subsections/papers to determine if they should include the text equivalent to the Remarks above. [Note: Not all these subsections should restrict lookup to ADL only. It is very likely that I missed a paper or subsection — end note].

History
Date User Action Args
2019-07-19 00:00:00admincreate