Свойство только записывается и не наблюдается

V-ARCH-12 · Возможность улучшения

Свойство только записывается и не наблюдается

Запись в свойство может создавать впечатление сохранённого состояния, хотя это состояние никогда не наблюдается. Но сама запись иногда имеет важный эффект lifetime.

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

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

private struct State { var cached: Int = 0 }
private func consume(_: State) {}
public func entry() {
    var state = State(); state.cached = 2; consume(state)
}

// Если состояние действительно не нужно:
private struct State {}
private func consume(_: State) {}
public func entry() { consume(State()) }

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

Удали ненужное хранение или восстанови отсутствующее чтение. Перед удалением проверь observers, wrappers, Codable и удержание объектов.

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

Принят ограниченный случай собственных Int-полей и закрытых source uses. Произвольные reference effects и open-world consumers остаются за границей.

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

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

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

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

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

Возможность улучшения — не уровень severity

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

native-experimental.swift-6.3.3

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

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

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

PERIPHERY