🤖 Контракты для С++

Доклад на тему контрактного программирования в и вообще будущего этой технологии в C++.

В докладе рассматриваются текущий дизайн контрактов для C++26. Обсуждается разновидности контрактов (preconditions, postconditions, assertions), возможные режимы проверки, обработка нарушений и многое другое. Рассматривается, чем текущий дизайн превосходит существующие реализации на макросах и как помогает повысить безопасность и корректность кодовой базы.

👉 YouTube