← P3091R6 | P3099R3 →
P3097R3 — Contracts for C++: Virtual functions
Timur Doumler, Joshua Berne, Gašper Ažman
CWG
Revisions R3Jul 2026R2May 2026
View on open-std.org View Markdown GitHub issue #1822
```cpp 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: