Исходное сообщение
"Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..." Отправлено Витюшка, 02-Янв-24 00:37
Ну и как же ты не в runtime отловишь выход за границы массива? Очень хочу послушать гуру Раста, как они это делают в compile time. Опять будете рассказывать что я там что-то не так прочитал? Товарищи, вы путаетесь в показаниях. То вы говорите что то что Rust гарантирует... очень ограничено. А значит в compile time это не проверить (вроде это очевидно?)...а тут же на голубом глазу что runtime проверки якобы очень дороги 😀 Либо одно, либо другое. Те в Rust просто забивают и никакие проверки не делают? А про гарантии borrow checker Rust я прекрасно осведомлён и что он гарантирует знаю. В моём Zig не вышла ещё версия 1.0. И эта лишь детали имплементации, не успели ребята написать ещё эту фичу. https://github.com/ziglang/zig/issues/6004 Очевидно что аллокатор будет уметь ловить практически все известные ошибки аллокации памяти. Включая double free. * Detect double free, and emit stack trace of: //!    - Where it was first allocated //!    - Where it was freed the first time //!    - Where it was freed the second time В принципе все эти ошибки можно и нужно детектировать. И Zig это и делает. Например double lock на мьютексе из своего потока. Аллокатор тоже много чего детектирует, но не всё ещё. И если ты говоришь что для Rust это дорого и он всё это не детектирует - получается он менее безопасный.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, [email protected] (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: