Why Perfect C++ Invariants Don't Exist

ACCU Membership: https://tinyurl.com/ydnfkcyn --- How Invariant are Invariants? - David Olsen - ACCU 2026 --- Class invariants are a vital tool when writing robust code. Classes are easier to use and easier to maintain if you know that some conditions are always true. But C++ makes it impossible to maintain invariants in all cases. We will look at a simple class with a seemingly simple invariant. Then we'll discover why that class is impossible to implement correctly and explore techniques for dealing with the situation. You will come away with new insights on class invariants and guidelines for writing and using classes in robust code. Slides: https://github.com/Digital-Medium/ACC... --- David Olsen David Olsen has three decades of software development experience in a variety of programming languages and development environments. For the last decade he has been the lead engineer for the NVIDIA HPC C++ compiler, focusing on running standard parallel algorithms on GPUs. Video Sponsored By JetBrains, Bloomberg Engineering & HRT --- The ACCU Conference is the annual conference of the ACCU membership, but is open to any and all who wish to attend. The tagline for the ACCU is 'Professionalism in Programming', which captures the whole spectrum of programming languages, tools, techniques and processes involved in advancing our craft. While there remains a core of C and C++ - with many members participating in respective ISO standards bodies - the conference, like the organisation, embraces other language ecosystems and you should expect to see sessions on C#, D, F#, Go, Javascript, Haskell, Java, Kotlin, Lisp, Python, Ruby, Rust, Swift and more.The ACCU Conference is a conference by programmers for programmers about programming. Discounted rates for members. ACCU Membership: https://tinyurl.com/ydnfkcyn 2026 Program: https://accuonsea.uk/2026/schedule/in... https://accu.org https://www.accuconference.org/ https://mastodon.social/@ACCUConf   / accu-conference   https://bsky.app/profile/accuconf.bsk...   / accuorg     / accuconf   --- YouTube Videos Filmed, Edited & Optimised by Digital Medium: https://events.digital-medium.co.uk #cpp #cplusplus #programming #coding #softwareengineering #softwaredeveloper #code #cplusplusprogramming #cplusplustutorial #cplus #softwaredevelopment #coder #talk