Исходное сообщение
"Для ядра Linux предложен драйвер GPIO, написанный на Rust" Отправлено px, 21-Июл-21 04:59
Вы, батенька, чушь сморозили. UB — это и вполне тривиальное ```int a[] = {1,2}; int b = a[2]``` и вообще до черта всего, особенно в многопоточном коде. Про статические анализаторы, то же ерунда какая-то получилась: статические анализаторы по-разным эвристикам пытаются угадать очепятки, в то время как rust имеет систему типов, которая даёт вполне определённые гарантии, без всяких вероятностных допущений (конечно опуская вероятность ошибок в самом компиляторе). Unsafe, хоть и является вынужденным злом, но позволяет локализировать наиболее опасные места, а не размазывать их по всему коду. В реальном коде unsafe используется достаточно редко. Возможно, вам было бы комфортнее комментировать что-то, в чём вы разбираетесь. Но на всякий случай, вы можете почитать https://en.wikipedia.org/wiki/Undefined_behavior — в английской версии статьи есть много менее «казуистических» примеров неопределённого поведения. Спасибо за внимание.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Вы, батенька, чушь сморозили. UB — это и вполне тривиальное ```int a[] > = {1,2}; int b = a[2]``` и вообще до черта всего, > особенно в многопоточном коде. Про статические анализаторы, то же ерунда какая-то > получилась: статические анализаторы по-разным эвристикам пытаются угадать очепятки, > в то время как rust имеет систему типов, которая даёт вполне > определённые гарантии, без всяких вероятностных допущений (конечно опуская вероятность > ошибок в самом компиляторе). Unsafe, хоть и является вынужденным злом, но > позволяет локализировать наиболее опасные места, а не размазывать их по всему > коду. В реальном коде unsafe используется достаточно редко. Возможно, вам было > бы комфортнее комментировать что-то, в чём вы разбираетесь. Но на всякий > случай, вы можете почитать https://en.wikipedia.org/wiki/Undefined_behavior — > в английской версии статьи есть много менее «казуистических» примеров неопределённого > поведения. Спасибо за внимание.
	Введите код, изображенный на картинке: