JTC 1/SC 22/WG 23 C++ Vulnerability Discussions    WG 23 N1492
		July 07 2025

Participants
    Stephen Michell - convenor, SCC    
    Matt Butler - USA
    Richard Corden - USA
    Erhard Ploedereder - liaison
    Paul Preney - Canada
 Regrets
    Loic Joly - AFNOR
    Peter Sommerlad

    
Actions:

Issues addressed

   Added material to  Issue 205

   Added material to Contracts, raised issue 206


Merged branches back into main.

Issue #173 Inheritance, added clause 4.6 on inheritance.

Clause 6.41 Inheritance, integrated material from 4.6. with significant restructure and editing.
Members requested to review.


Last meeting was 23 June 2025  with meeting notes in document N1493.

All work is done in the WG 23 GitHub space
     https://github.com/ISO-IEC-JTC1-SC22-WG23-CPP/wg23-tr24772-10
and changes made are tracked in GitHub history.

The generated Word document that reflects the current state of the draft document is available from.
       https://iso-iec-jtc1-sc22-wg23-cpp.github.io/wg23-tr24772-10-public/all.html

Please contact Stephen Michell, Peter Sommerlad or Paul Preney to gain access.


FROM THE CHAT:

Paul Preney (Jul 7, 2025, 10:22 AM)
https://cppreference.com/w/cpp/26.html
https://wg21.link/P2530R3
 
Richard Corden (Jul 7, 2025, 11:05 AM)
https://godbolt.org/z/szddT3Ye4

Breaking of class invariants_ can be avoided by proper initialization even with the default constructor and by defining data members private if the class invariant depends on them. If copy and move operations are user-defined in a derived class they must ensure to call the corresponding base class operations.