CWG 2024-04-19

This issue is not a DR.

CWG 2023-12-01

CWG seeks approval from EWG for the design direction. See paper issue 1698.

EWG 2024-03-18

EWG approves.

Proposed resolution (approved by CWG 2023-12-01):

Change in 7.7 [expr.const] bullet 5.14 as follows:

• ...
• a conversion from a prvalue P of type “pointer to cv void” to a pointer-to-object type T unless P is a null pointer value or points to an object whose type is similar to T;
• ...

Subclause 7.7 [expr.const] bullet 5.14 was amended by P2738R1 to support certain casts from void* to object pointer types. The bullet specifies:

• ...
• a conversion from a prvalue P of type “pointer to cv void” to a pointer-to-object type T unless P points to an object whose type is similar to T;
• ...

This wording does not, but should, support null pointer values. The implementation burden is negligible.