Здравствуйте, kaa.python, Вы писали:

KP>Современный C++ дает достаточно предсказуемости при использовании в связке с современными инструментами. В качестве примера можно взять GSL, clang-tidy, санитайзеры и конечно же тесты. Основное отличие C++ от Rust в данном случае будет в том, что инструменты в C++ отдельны от компилятора и это ведет к высоким рискам их игнорирования. К примеру у нас сейчас многокомпонентный проект на C++14 и Go. Так как C++ часть довольно плотно покрыта инструментами по контролю, нет ни дедлоков, ни ликов, ни двойного освобождения памятью ни каких других около-C++ страшилок. То есть качество вполне сопоставимо с качеством достижимым в Go.

Согласен. Разница как раз в "насильственном насаждении" безопасности растом — в долгосрочной перспективе это хорошо. Можно провести аналогию (лживую, как и другие аналогии) со статической и динамической проверкой типов — хорошее тестовое покрытие динамически типизированного кода вполне ставит его на уровень статического по безопасности. Но когда конпелятор следит — оно всё же надёжнее как-то.

Ну и вообще С++ уже чрезмерно, безобразно огромен и сложен. И новый мусор всё прибывает и прибывает. "requires requires", "noexcept(noexcept)", "export import", метаклассы, и так далее. Рано или поздно вся эта гора коллапсирует под собственным весом в чорную дыру (глубокое легаси).