Принят RFC: тип MaybeDangling снимает требования разыменуемости с указателей

Принят RFC, вводящий тип MaybeDangling: ссылки и Box, завёрнутые в него, не обязаны удовлетворять требованиям, зависящим от памяти — например «разыменуемость» и noalias.

Зачем

Нужно для указателей, которые могут указывать на уже освобождённую память, — например при возврате из функций, чей ресурс ещё у живого держателя. Без явного способа выразить «указатель может быть висячим» unsafe-код полагается на неформальные соглашения.

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

Оригинал

MaybeDangling