The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Выпуск Rust 1.72. Решение поставлять макрос  serde_derive только в скомпилированном виде"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Второй уровень иерархии тем в форуме реализован через вкладку "Показ ключевых тем".
. "Выпуск Rust 1.72. Поставка пакета serde_derive только в ском..." +/
Сообщение от morphe (?), 25-Авг-23, 23:47 
> Ансейф раст — всего лишь маркер,
> что компилятор снимает с себя полномочия по доказательству корректности и перекладывает
> их на разработчика

Не верно, никаких он полномочий не перекладывает, все гарантии из safe rust там сохраняются.
Однако в unsafe{} блоке можно вызывать unsafe функции (Сторонние библиотеки например, FFI, или просто функции в которых есть unsafe, и корректность вызова которых должен доказывать пользователь), разыменовывать указатели (не путать с ссылками), обращаться с изменяемыми статичными переменными (static mut), и обращаться к полям union.
Кроме этих дополнительных _разрешений_ unsafe блок ничего не делает.

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Выпуск Rust 1.72. Решение поставлять макрос  serde_derive только в скомпилированном виде, opennews, 24-Авг-23, 21:52  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру