Исходное сообщение
"Пятая редакция патчей для ядра Linux с поддержкой языка Rust..." Отправлено freecoder, 13-Фев-22 14:07
В данном примере имеется структура Iter<'a, ..> для которой задан лайфтайм. То есть, это ссылочная структура. Но среди ее полей нет растовых ссылок, а есть сырые указатели. Это значит, во-первых, что компилятор не будет отслеживать лайфтаймы автоматически для этих полей (сырые указатели не имеют лайфтаймов), а во-вторых, использование данных полей возможно только через unsafe (разыменование сырого указателя - это небезопасная операция в Rust). Говоря проще, указатель можно представить как ссылку, но это такая ссылка, время жизни которой компилятор знать не может. Поэтому при реализации безопасного интерфейса для ссылочного типа с лайфтаймами, которые "под капотом" используют сырые указатели, обеспечение корректности их работы ложится на программиста. Это обычная практика работы с unsafe в Rust и это то место, где вероятность допустить ошибку высока.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> В данном примере имеется структура Iter<'a, ..> для которой задан лайфтайм. То > есть, это ссылочная структура. Но среди ее полей нет растовых ссылок, > а есть сырые указатели. Это значит, во-первых, что компилятор не будет > отслеживать лайфтаймы автоматически для этих полей (сырые указатели не имеют лайфтаймов), > а во-вторых, использование данных полей возможно только через unsafe (разыменование сырого > указателя - это небезопасная операция в Rust). > Говоря проще, указатель можно представить как ссылку, но это такая ссылка, время > жизни которой компилятор знать не может. Поэтому при реализации безопасного интерфейса > для ссылочного типа с лайфтаймами, которые "под капотом" используют сырые указатели, > обеспечение корректности их работы ложится на программиста. Это обычная практика работы > с unsafe в Rust и это то место, где вероятность допустить > ошибку высока.
	Введите код, изображенный на картинке: