Принят RFC: extern-блоки становятся unsafe

Принят RFC, по которому блок extern "C" { .. } сам по себе считается unsafe-контекстом. Объявления внешних функций и статических переменных требуют явной пометки unsafe либо генерируют обёртки.

Зачем

Контракт внешней функции нарушить легко: типы в объявлении могут не соответствовать реальной сигнатуре. Пометка переносит ответственность на того, кто объявляет, и делает границу FFI видимой.

Дата — 20 мая 2024 года, день одобрения.

Оригинал

Unsafe Extern Blocks