This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 110b. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2023-01-15


2411. Comparison of pointers to members in template non-type arguments

Section: 13.6  [temp.type]     Status: C++20     Submitter: Jens Maurer     Date: 2017-11-11

[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).