← P3045R8 | P3098R2 →
P3097R2 — Contracts for C++: Virtual functions
Timur Doumler, Joshua Berne
EWG
Revisions R3Jul 2026R2May 2026
View on open-std.org View Markdown GitHub issue #1822
We propose to allow specifying precondition and postcondition assertions on virtual functions, in the same way they can already be specified on non-virtual functions: