Принят RFC: часть атрибутов становится unsafe — например #[unsafe(no_mangle)]
06.05.2024Принят RFC, по которому атрибуты с внешним эффектом — например no_mangle, export_name, link_section — должны писаться внутри unsafe(...): #[unsafe(no_mangle)].
Что это даёт
Такие атрибуты ломают гарантии безопасности: no_mangle может столкнуться с другим символом, link_section — положить код в неожиданный участок. Пометка unsafe делает источник риска видимым в коде и позволяет компилятору потребовать подтверждение.
Дата — 6 мая 2024 года, день одобрения.
Оригинал
unsafe attributes
Упоминаний: 1 · Просмотров: 2