Keynote: Contracts, Testing & the Pursuit of Well Defined Behaviour - Timur Doumler - CppNorth23

www.cppnorth.ca​
---
Keynote: C++ Contracts, Testing and the Pursuit of Well Defined Behaviour - Timur Doumler - CppNorth 2023
Everyone wants their code to be fast, safe, and correct. It seems that we cannot achieve all three simultaneously - or can we? What if Design by Contract goes a long way towards achieving this goal?
This talk covers what Contracts are, why they bring huge benefits to our codebases and tooling, and how to use them in C++ today. We will further look at the ongoing effort to standardise a contract-checking facility for C++26, which would enable Contracts use across libraries and codebases. We will learn about the difference between assertions and assumptions, hard and soft undefined behaviour, narrow and wide contracts, and testing your tests - and reconsider how we design, test, and implement our C++ APIs and how we think about code.
---
Slides: github.com/CppNorth/CppNorth_...
Sponsored By:
think-cell: www.think-cell.com/cppnorth
JetBrains: www.jetbrains.com/
---
Timur Doumler
Timur Doumler is the Developer Advocate for C++ tools at JetBrains and co-host of CppCast. He is an active member of the ISO C++ standard committee, where he is currently co-chair of the Contracts study group. As a developer, he worked many years in the audio and music technology industry and co-founded the music tech startup Cradle. Timur is passionate about clean code, good tools, low latency, and the evolution of the C++ language.
---
CppNorth is an annual C++ conference held in Toronto, Canada.
- Annual CppNorth C++ conference: cppnorth.ca/
- CppNorth Twitter: / cppnorth
---
CZcams Videos Edited & Optimised by Digital Medium: events.digital-medium.co.uk
#cppnorth #cpp #cppprogramming

[@andmal8]

Thank you for the video.

[@aniketbisht2823]

-fno-exceptions in more noexcept than noexcept.

[@carllee2439]

So many words... I think it's pretty clear, that it's time to switch to Rust. That is what everyone is doing.