Принят RFC: у указателей Rust закреплена модель происхождения (provenance)

Принят RFC «Rust Has Provenance»: у каждого указателя в Rust есть не только адрес, но и происхождение — оно определяет, к каким участкам памяти указатель вообще имеет право обращаться.

Что закреплено

Модель описывает указатель как пару «адрес + происхождение». Происхождение отвечает на вопрос, в каких границах и в какой момент времени указателю разрешён доступ к памяти; приведение указателей сохраняет его, а целочисленные преобразования — нет. Это фундамент для дальнейшей работы с unsafe-кодом: без формализованного происхождения компилятор не мог обоснованно оптимизировать разыменования.

Дата новости — 17 февраля 2024 года: день, когда PR с RFC был слит, то есть момент одобрения.

Оригинал

Rust Has Provenance