Исходное сообщение
"Выпуск Rust 1.72. Поставка пакета serde_derive только в ском..." Отправлено morphe, 25-Авг-23 23:47
> Ансейф раст — всего лишь маркер, > что компилятор снимает с себя полномочия по доказательству корректности и перекладывает > их на разработчика Не верно, никаких он полномочий не перекладывает, все гарантии из safe rust там сохраняются. Однако в unsafe{} блоке можно вызывать unsafe функции (Сторонние библиотеки например, FFI, или просто функции в которых есть unsafe, и корректность вызова которых должен доказывать пользователь), разыменовывать указатели (не путать с ссылками), обращаться с изменяемыми статичными переменными (static mut), и обращаться к полям union. Кроме этих дополнительных _разрешений_ unsafe блок ничего не делает.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Ансейф раст — всего лишь маркер, >> что компилятор снимает с себя полномочия по доказательству корректности и перекладывает >> их на разработчика > Не верно, никаких он полномочий не перекладывает, все гарантии из safe rust > там сохраняются. > Однако в unsafe{} блоке можно вызывать unsafe функции (Сторонние библиотеки например, FFI, > или просто функции в которых есть unsafe, и корректность вызова которых > должен доказывать пользователь), разыменовывать указатели (не путать с ссылками), обращаться > с изменяемыми статичными переменными (static mut), и обращаться к полям union. > Кроме этих дополнительных _разрешений_ unsafe блок ничего не делает.
	Введите код, изображенный на картинке: