GCC

Контракты позволяют функции заявить, что должны гарантировать вызывающие и что она обещает взамен. Нарушение можно проигнорировать, наблюдать, принудительно проверить или проверить с быстрым завершением. Выбор делается на уровне сборки, переносимого переключателя для отдельного утверждения нет. Руководство предупреждает, что контракты не заменяют валидацию входных данных.

Уолтер Брайт, который говорит, что добавлял контракты в Zortech C++ в 1990-х и позже в D, написал, что они «оказались не очень полезными». Встраиваемый разработчик хочет обратного: проверки включены на рабочей станции и выключены на слабых производственных процессорах.

Смысл не в 46-миллионном артефакте, а в инструменте, который его выдал. Компилятор «cilly» прощупывает целевой C-компилятор крошечными свидетельскими программами вместо допущений сверх ANSI C и компилирует по сети. И «неподдерживаемая платформа» больше не упрёк Rust.

Тред нашёл полезные применения. Экс-разработчик компиляторов одобрил проект. Другие указали на упрощённый бутстрап Rust и трюк безопасности: через Diverse Double-Compiling проверить, нет ли в rustc бэкдора. Справедлив и вопрос скептика: кто доверит экзотику бета-транспайлеру?