Contracts for C++ - Timur Doumler

Contracts for C++ - Timur Doumler - ACCU 2024

Рет қаралды 1,652

Ай бұрын

ACCU Membership: tinyurl.com/ydnfkcyn
---
Contracts for C++ - Timur Doumler - ACCU 2024
---
Design by Contract is a very effective approach for writing safer, more correct programs. It has been successfully implemented in programming languages like Eiffel and Ada. Attempts to add a Contracts facility to C++ have a long and storied history spanning two decades. Since the last attempt to standardise Contracts (for the C++20 Standard) has failed, SG21 - the Contracts Study Group on the C++ Standard Committee - has been working on a new design, the so-called Contracts MVP, which is now essentially feature-complete and on track to make it into the upcoming C++26 Standard.
In this talk, we present the current design of the Contracts MVP targeting C++26. We discuss preconditions, postconditions, assertions, contract-violation handling and much more. We consider how the Contracts MVP provides a superior replacement for custom assertion macros and, when used correctly, can significantly improve the safety and correctness of your code.
Slides: accu.org/conf-previous/accu2024/
Sponsored By think-cell
---
Timur Doumler
Timur Doumler is the co-host of CppCast and an active member of the ISO C++ standard committee, where he is currently co-chair of SG21, the Contracts study group. Timur started his journey into C++ in computational astrophysics, where he was working on cosmological simulations. He then moved into the audio and music technology industry, where he has been working for over a decade and co-founded the music tech startup Cradle. In the past, Timur also worked for JetBrains, first as a developer on CLion's C++ parser and later as a Developer Advocate for C++ developer tools. Currently, Timur lives in Finland, where he organises the monthly C++ Helsinki meetup and works as an independent C++ consultant. Timur is passionate about clean code, good tools, low latency, and the evolution of the C++ language.
---
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: tinyurl.com/ydnfkcyn
2024 Program: accu.org/conf-previous/accu2024/
accu.org
www.accuconference.org/
mastodon.social/@ACCUConf
/ accu-conference
bsky.app/profile/accuconf.bsk...
/ accuorg
/ accuconf
---
KZbin Videos Filmed, Edited & Optimised by Digital Medium: events.digital-medium.co.uk
#accuconf #programming #cplusplus #cppprogramming #cpptutorial

Пікірлер: 6

@Avantarius 29 күн бұрын

slides #110 to #113 are cursed: we have v, val and value, should this all be the same variable? Also, if postconditions require parameters to be const, how would you ever be able to check a non-const member function (i.e. specify that size() after push_back is the same as size()+1 before mutation?)

@gast128 27 күн бұрын

Not sure if this is an improvement over the straightforward assert or _ASSERT macro's. It seems to have its own set of quirks which has to be learnt separately. Adding const (1:00:28) to built in argument types was deprecated by Scott Meyers book so code has to be changed for this. Let this contract be completely removed in release builds so that one can add as much as one want without compromising performance in release ever. Visual Studio 2008 had checked iterators in release builds which suppressed inlining and compiler optimizations.