Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- This seems like great stuff. Some libraries already do this, so why not standardize the behavior (to the extent it can be done)?by wakawaka28
- 30 years late, but I will take it. Contracts look useful and less messy than exceptions.by pama
- There is a small hint of it at the end, but I really hope compile time contract assertions become more common. I know some languages like spark, dafny and a few others do it and generate implicit contracts for things like divide by 0. I've been experimenting with my own custom language that do these things and going back to c++ every day at work is actually a slight let down because of it.by Cieric
- One thing that I'm curious about regarding all of this: I thought all of this stuff landed in C++26, yet we are still getting papers like https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p43...
> The C++26 draft has not yet had its final ballot
This is co-authored by Bjarne, and so I'm sure it's not trivially false, but maybe I am just missing some detail. I know Bjarne was threatening to cast a veto of C++26 over this, but I thought he did not?
Anyone who follows the process a bit more than me have some context here?
by steveklabnik