Ct
если часть, понятие "баг компилятора" невозможно
если учитывать все версии, а не только текущую, то вроде вполне возможно
Size: a a a
2020 August 10
CD
@fuer_immer_jung так где стандарт раста-то? Я очень хочу узнать вывод программы в ситуации, когда на целевом компьютере оперативная память 2-й бит каждого числа пишет как 1
Т8
@fuer_immer_jung так где стандарт раста-то? Я очень хочу узнать вывод программы в ситуации, когда на целевом компьютере оперативная память 2-й бит каждого числа пишет как 1
а стандарт - то, что сделано в mrustc
Т8
😁
Т8
Для реальных приложений это редко так
>по Парето 80/20: только 20% кода требуют оптимизации, которые принесут 80% производительности.
В случае с бездумным использованием LINQ на ряде проектов это просто не работает. В профайлере видна картина, когда нет конкретного места, которое тормозит. И это очень и очень дорого потом исправлять.
В случае с бездумным использованием LINQ на ряде проектов это просто не работает. В профайлере видна картина, когда нет конкретного места, которое тормозит. И это очень и очень дорого потом исправлять.
CD
что-то немного сливаемся
CD
оказывается в Rust есть UB, просто об этом забыли сказать)
CD
потому что UB возникает как только возникает любая аксиома для компилятора
BD
BD
Ct
оказывается в Rust есть UB, просто об этом забыли сказать)
А кто-то говорил что его нет?
BD
Т-34 85
а стандарт - то, что сделано в mrustc
ахахп
Ct
https://doc.rust-lang.org/reference/behavior-considered-undefined.html
у нас прямо в методичке написано, что оно есть
у нас прямо в методичке написано, что оно есть
NL
потому что UB возникает как только возникает любая аксиома для компилятора
Что такое "возникает любая аксиома для компилятора"?
BD
оказывается в Rust есть UB, просто об этом забыли сказать)
не забыли
Ct
Что такое "возникает любая аксиома для компилятора"?
Условно "&mut ссылки не алиасятся"
CD
CD
любой unsafe - UB
Ct
Условно "&mut ссылки не алиасятся"
С другой стороны система типов может эту аксиому всегда поддерживать "корректной", так что из этого не следует прямо, что в языке есть UB
p
любой unsafe - UB
нет