Modern C++ Error Handling

on YouTube ↗01h 01m

" summary

Covers concrete choices not high-level promises: C++17 std::optional and C++23 std::expected with the Monadic Operations (transform and_then transform_error or_else) are shown in real code and compared to exceptions, boolean/error‑code returns, out‑params and globals. Examples include composing error returns with lambdas, a checked/unchecked policy (compile‑time template switch) and a correct‑by‑construction month type, plus a substitutable throwing violation handler for contracts and the checked/unchecked policy to defer who decides how to handle errors.

AI-written summary · about

" chapters (20)

1. 0:00Introduction
2. 1:47Why modern C++ error handling matters
3. 3:56Disappointments vs logic errors
4. 5:18Traditional error handling techniques
5. 11:00Limitations of exceptions
6. 12:46C++17 std::optional
7. 13:52C++23 std::expected benefits
8. 16:00Composition challenges with std::expected
9. 18:52Immediately invoked lambdas
10. 20:15Monadic operations in C++23
11. 28:55Part two transition
12. 29:16Invalid inputs with contracts
13. 32:32Checked vs unchecked functions
14. 34:43Policy-based error handling
15. 37:13Correct by construction
16. 40:00Contracts in C++
17. 40:43C++26 contracts proposal
18. 46:20Liskov rule and testing contracts
19. 51:22Summary
20. 52:46Q&A

" related talks

• 17mA closer look into error handling techniquesDiana Samboní · droidcon London 2022
• 52mHigher Order Functions for ordinary developersBjörn Fahller · Meeting C++ 2018
• 27mUsing Monads for Elegant Error HandlingJohn Gallagher · RubyConf 2021
• 44mInitiatory Journey from Exceptions to Composable Error TypesFrançois Armand · Scala.IO 2014
• 01h 05mBetter Code: Contracts in C++Sean Parent, Dave Abrahams · CppCon 2023
• 35mHandling Exceptional Conditions with Grace and EleganceNikola Poša · phpDay 2019
• 27mModeling errors in Now CLIJavi Velasco · ReactiveConf 2018
• 01h 11mPragmatic Simplicity - Actionable Guidelines To Tame Cpp ComplexityVittorio Romeo · CppCon 2022