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

—

от автора

Как пишут на https://www.opennet.ru/opennews/art.shtml?num=66614

Голосование национальных комитетов ISO (NB, National Bodies) завершилось отказом утверждения международного стандарта C++26, финальный вариант спецификации для которого был принят в марте. Это первый подобный случай в истории развития основного стандарта C++.

Основной причиной отклонения стандарта стало включение в язык элементов контрактного программирования (Contracts), позволяющих определять формальные спецификации интерфейсов при помощи трёх новых операторов: pre (предусловие), post (постусловие) и contract_assert (проверка утверждения).

Другими словами, сложность новых предложений и глубину их проработки почитали недостаточной, из-за чего отклонили предложения всего стандарта C++26 целиком.

И теперь непонятно, то ли C++26 не будет вовсе, или в случае принятие новой версии в следующем году будет какой нибудь C++27?

ссылка на оригинал статьи https://habr.com/ru/articles/1103576/