WeAreDevelopers Logo WeAreDevelopers
Sign in
For You LIVE
World Congress 2026 Europe • Jul 9, 2026 • Session details

Programming with Contracts in C++26

Peter Bindels

C++26 Contracts replace risky assert macros with explicit, compiler-enforced function boundaries. Learn how to trap errors at the source and achieve zero-overhead performance.

Pause
Mute Enter Fullscreen
#1 about 3 min

The limitations of code comments for function boundaries

Exploring a mathematical function to demonstrate why standard code comments hide critical bounds from compilers.

#2 about 2 min

Syntax and boundary checks of C++26 contracts

Applying preconditions and postconditions on function declarations allows compilers to assume exact bounds.

#3 about 2 min

Contracts as guardrails for intended application execution

Design bounds do not alter normal execution but catch unintended code paths before they can be exploited.

#4 about 2 min

Handling contract violations through traps and termination

The compiler standard provides handler functions passing violation objects to trigger debuggers, logging, or process termination.

#5 about 2 min

Delaying process termination in mission-critical applications

Terminating failing processes automatically is not appropriate in strict safety contexts like algorithmic trading or self-driving cars.

#6 about 2 min

Semantic modes for managing variable contract checks

The C++ standard allows switching contract enforcement paths between ignore, observe, enforce, and quick enforce.

#7 about 2 min

Deciding between contract semantic evaluation modes

Standard code should apply enforce mode, utilizing observe for deployments and quick enforce for extreme security.

#8 about 3 min

Recognizing the functional limitations of legacy C asserts

The standard assert macro breaks on unparenthesized commas and often degrades in release builds by hiding functional drift.

#9 about 2 min

Fixing ad-hoc validation problems with contract asserts

Deploying contract assert establishes safe checks that parse accurately without actively hindering system performance thresholds.

#10 about 5 min

Enabling global optimization through local contract analysis

Structured declarations assist compilers in pruning unneeded runtime checks by successfully tracking local data flow.

#11 about 3 min

Adding labels and custom messages to contract checks

Future standard updates will introduce labeled error string configurations to trigger conditional violation routing handlers.

#12 about 2 min

Checking early compiler support for C++26 contracts

Access standard implementations today using early versions of GCC 16, Clang forks, and Ubuntu package managers.

Matching moments

4:02 min

Contract testing summary and audience Q&A session

Vincent Hennig +1 · World Congress 2023

2:16 min

Progressing a career in smart contract programming languages

György László Kiss +1 · World Congress 2021

6:32 min

Enforcing architectural design boundaries via automated code tests

Bartosz Pietrucha · World Congress 2022

3:56 min

Improving the developer experience with mainstream programming languages

Arthur Breitman Arthur Breitman +2 · World Congress 2024

7:18 min

Fundamentals of smart contracts and the Solidity language

Marko Ivanković · LIVE

4:53 min

Security vulnerabilities and the challenges of immutable code

Tim Weingärtner · LIVE

More from World Congress 2026 Europe

Building the Nervous System of AI - Michael Kagan (NVIDIA) thumbnail
29:17
3 months ago

Building the Nervous System of AI - Michael Kagan (NVIDIA)

Michael Kagan, Sead Ahmetović

Five Things in Tech that Matter Now - WeAreDevelopers World Congress 2026 Closing Keynote thumbnail
19:41
3 months ago

Five Things in Tech that Matter Now - WeAreDevelopers World Congress 2026 Closing Keynote

Christian Heilmann

The Sound of Your Secrets: Teaching Your Model to Spy, So You Can Learn to Defend thumbnail
32:06
3 months ago

The Sound of Your Secrets: Teaching Your Model to Spy, So You Can Learn to Defend

David vonThenen

Super scaling for the Super Bowl: How to survive 30 million users hitting your backend in 30 minutes thumbnail
35:13
3 months ago

Super scaling for the Super Bowl: How to survive 30 million users hitting your backend in 30 minutes

Irina Branovic

Running Secure Life Science Research at Scale using Hybrid GPU HPC and Kubernetes 🧬 thumbnail
24:23
3 months ago

Running Secure Life Science Research at Scale using Hybrid GPU HPC and Kubernetes 🧬

Jeremy Murray

Angstfreude - AI and Corporate Culture - The Thrill and the Threat thumbnail
30:26
3 months ago

Angstfreude - AI and Corporate Culture - The Thrill and the Threat

Axel Ebert, Karin Krobath

Related videos

C++ in constrained environments thumbnail
1:00:16
World Congress 2022 • over 4 years ago

C++ in constrained environments

Bjarne Stroustrup

C++ Features You Might Not Know thumbnail
24:13
World Congress 2023 • about 3 years ago

C++ Features You Might Not Know

Jonathan Müller

Functional Programming in C++ thumbnail
26:54
World Congress 2025 • about 1 year ago

Functional Programming in C++

Jonathan Müller

The Design and Evolution of C++ thumbnail
1:01:15
World Congress 2022 • over 4 years ago

The Design and Evolution of C++

Bjarne Stroustrup

101 brilliant things of C++ thumbnail
45:27
World Congress 2021 • over 5 years ago

101 brilliant things of C++

Andreas Fertig

Smart Contract fundamentals - My first DApp thumbnail
38:32
LIVE • almost 6 years ago

Smart Contract fundamentals - My first DApp

Tim Weingärtner

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.