Title
Comparison of pointers to members in template non-type arguments
Status
c++20
Section
13.6 [temp.type]
Submitter
Jens Maurer

Created on 2017-11-11.00:00:00 last changed 38 months ago

Messages

Date: 2019-11-15.00:00:00

[Adopted at the November, 2019 meeting as part of paper P1907R1.]

The status quo appears to be that pointers-to-members as members of a non-type template parameter of class type are permitted, and are compared with == (which is unsound), whereas pointers-to-members as non-type template parameter are permitted with different semantics (equality only if they denote the same member).

History
Date User Action Args
2021-02-17 00:00:00adminsetstatus: open -> c++20
2017-11-11 00:00:00admincreate