Исходное сообщение
"Линус Торвальдс подключился к обсуждению начальной реализаци..." Отправлено Аноним, 12-Июл-20 13:11
Увы, мнение об отключении всех проверок в unsafe — это типичное заблуждение, потому что в документации к языку Rust сказано, что unsafe позволяет:     Разыменовывать сырой указатель;     Вызывать и объявлять unsafe функции;     Читать или измененять статическую изменяемую переменную;     Реализовывать и объявлять unsafe типаж;     Получать доступ к полям union. Ни о каких отключениях всех проверок Rust здесь и речи не идет. Если у вас ошибка с lifetime-ами, то просто добавление unsafe не поможет коду скомпилироваться. Внутри этого блока компилятор продолжает проверять код на соответствие системы типов, отслеживать время жизни переменных, корректность на потокобезопасность и многое-многое другое. Подробнее можно прочитать в статье You can’t "turn off the borrow checker" in Rust. К unsafe не стоит относиться как "я делаю, что хочу". Это указание компилятору, что вы берете на себя ответственность за вполне конкретный набор инвариантов, которые компилятор самостоятельно проверить не может. Например, разыменование сырого указателя. Это мы с вами знаем, что сишный malloc возвращает NULL или указатель на аллоцированный кусок неинициализированной памяти, а компилятор Rust об этой семантике ничего не знает. Поэтому для работы с сырым указателем, который вернул, к примеру, malloc, вы должны сказать компилятору: "я знаю, что делаю; я проверил, там не нулл, память правильно выравнена для этого типа данных". Вы берете на себя ответственность за этот указатель в блоке unsafe.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Увы, мнение об отключении всех проверок в unsafe — это типичное заблуждение, > потому что в документации к языку Rust сказано, что unsafe позволяет: > Разыменовывать сырой указатель; > Вызывать и объявлять unsafe функции; > Читать или измененять статическую изменяемую переменную; > Реализовывать и объявлять unsafe типаж; > Получать доступ к полям union. > Ни о каких отключениях всех проверок Rust здесь и речи не идет. > Если у вас ошибка с lifetime-ами, то просто добавление unsafe не > поможет коду скомпилироваться. Внутри этого блока компилятор продолжает проверять код > на соответствие системы типов, отслеживать время жизни переменных, корректность на потокобезопасность > и многое-многое другое. Подробнее можно прочитать в статье You can’t "turn > off the borrow checker" in Rust. > К unsafe не стоит относиться как "я делаю, что хочу". Это указание > компилятору, что вы берете на себя ответственность за вполне конкретный набор > инвариантов, которые компилятор самостоятельно проверить не может. Например, разыменование > сырого указателя. Это мы с вами знаем, что сишный malloc возвращает > NULL или указатель на аллоцированный кусок неинициализированной памяти, а компилятор Rust > об этой семантике ничего не знает. Поэтому для работы с сырым > указателем, который вернул, к примеру, malloc, вы должны сказать компилятору: "я > знаю, что делаю; я проверил, там не нулл, память правильно выравнена > для этого типа данных". Вы берете на себя ответственность за этот > указатель в блоке unsafe.
	Введите код, изображенный на картинке: