Принят 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