Title
Escalation of virtual functions
Status
tentatively ready
Section
11.7.3 [class.virtual]
Submitter
Cody Miller

Created on 2026-02-06.00:00:00 last changed 2 weeks ago

Messages

Date: 2026-02-20.22:26:13

Proposed resolution (approved by CWG 2026-02-20):

Change in 11.7.3 [class.virtual] paragraph 18 as follows:

A class with a consteval an immediate virtual function that overrides a non-immediate virtual function that is not consteval shall have consteval-only type (6.9.1 [basic.types.general]). A consteval An immediate virtual function shall not be overridden by a non-immediate virtual function that is not consteval.
Date: 2026-02-06.00:00:00

Subclause 11.7.3 [class.virtual] paragraph 18 disallows mixing consteval and non-consteval virtual function overrides. This does not cover immediate functions via escalation.

History
Date User Action Args
2026-02-20 22:26:13adminsetstatus: open -> tentatively ready
2026-02-18 21:04:32adminsetmessages: + msg8476
2026-02-06 00:00:00admincreate