Копия нарушает контракт независимости состояния

V-COR-12 · Дефект

Копия нарушает контракт независимости состояния

Внешне скопированное значение может разделять внутреннее изменяемое состояние, хотя API обещает независимую копию.

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

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

let copy = original
copy.storage.value = 2
// storage — reference type; original тоже изменился.

// Для контракта независимой копии:
let copy = original.deepCopy()

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

Выбери честный контракт: shared identity либо независимое состояние. Реализуй копирование только тех данных, которые должны быть независимыми.

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

Принят bounded source subset по контракту задачи. Подтверждение распространяется только на допущенные source forms, профиль сборки, positive/negative и unknown-границы из приёмки. Пример выше и весь класс похожих программ автоматически принятыми не становятся.

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

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

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

Исследовательский прототип — план реализации, не maturity

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION