Контрактное программирование в C++

Довольно продолжительное время Александр не писал assert от слова совсем, однако написав его впервые, теперь не может представить код без него. Довольно быстро пришло осознание того, что хочется расширить возможности такой диагностики, и в результате этих изысканий произошло знакомство с контрактами. Уже 4 года Александр ждет контракты в C++, и решил им посвятить свой доклад.

В докладе пойдет речь о том, как появилась сама идея контрактного программирования и как она эволюционировала, будет разобрано, что такое контрактное программирование сейчас и как его применяют на практике, дан обзор того, какими могут быть контракты в C++23.