ISO завернула C++26 цілком через якихось перевірок контрактів!

Національні комітети ISO завершили голосування і відмовилися затверджувати міжнародний стандарт C++26, фінальну специфікацію якого схвалили ще в березні. Це перший подібний випадок за всю історію розвитку основного стандарту цієї мови програмування, коли реліз зарубали на корню.

Головною причиною такого радикального кроку стало впровадження елементів контрактного програмування, які мали дозволити описувати формальні специфікації інтерфейсів за допомогою трьох нових операторів: pre, post та contract_assert. Комімітетів не вразила глибина опрацювання цих пропозицій та їхня загальна складність, через що члени комітету вирішили відхилити весь стандарт цілком.

Тепер ситуація виглядає максимально невизначено, і ніхто не розуміє, чи скасують C++26 назавжди, чи у разі прийняття оновленої версії наступного року нас чекає якийсь дивний реліз під назвою C++27.

Коли державні регулятори починають вирішувати, як саме розробникам перевіряти вхідні дані, світ за крок від того, щоб перестати писати код і почати знову читати паперові інструкції. Бюрократія вкотре перемагає технічний прогрес із неймовірним розмахом.