Тимур Думлер — Контракты для С++

Ближайшая конференция C Russia: #cpp #cpprussia #IT #conference #jugrugroup Контрактное программирование — эффективный подход к написанию более безопасных и корректных программ. Он был успешно реализован в таких языках программирования, как Eiffel и Ada. В стандарте С контрактное программирование имеет долгую и сложную историю. С тех пор как попытка добавить контракты в стандарт C 20 потерпела неудачу, SG21 — рабочая группа для стандартизации контрактов в комитете C — активно разрабатывает новую версию этой фичи. Сегодня эта версия контрактов уже практически полнофункциональна и с большой вероятностью будет включена в следующий стандарт C 26. В этом докладе мы рассмотрим текущий дизайн контрактов для C 26. Обсудим разновидности контрактов (preconditions, postconditions, assertions), возможные режимы проверки, обработку нарушений и многое другое. Рассмотрим, чем текущий дизайн превосходит существующие реализации на макросах и как помогает повысить безопасность и корректность кодовой базы. Скачать презентацию с сайта —