Исходное сообщение
"Выпуск языка программирования Rust 1.73" Отправлено Аноньимъ, 06-Окт-23 16:00
> Садись, 2, ты не понимаешь, как работает статический анализатор. В С++ он никак не работает. В С++ абстракции внесённые в стандарт дословно построены на багах компилятора. > UB опять-таки, определяются > стандартом Да, и в этом проблема. > и если анализатор видит, что возможно UB, его дело на > это поругаться, что вполне реализуемо. Во первых, совсем, вот совсем не всегда видит. Во вторых, ну и толку если он на пол кода поругается? Зачем оно нужно? Целочисленное переполнение тоже UB например. И что дальше?