Borrowed pointer или view выходит за lifetime

V-LIFE-01 · Дефект

Borrowed pointer или view выходит за lifetime

Указатель на временно заимствованную память становится недействительным за пределами области borrow, даже если его тип позволяет сохранить адрес.

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

var saved: UnsafeRawPointer?
data.withUnsafeBytes { saved = $0.baseAddress }
use(saved)

data.withUnsafeBytes { bytes in
    use(bytes.baseAddress)
}

Что изменить и что сохранить

Завершить работу внутри borrow либо создать собственную копию памяти с явным владельцем. Не продлевать время жизни одним сохранением указателя.

Что подтверждено сейчас

В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.

Владелец реализации

T024: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Узкий проверяемый случай — план реализации, не maturity

Смысл результата

Дефект — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

VISION