Equality и hashing противоречат друг другу

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

Equality и hashing противоречат друг другу

Set и Dictionary предполагают согласованность equality и hashing. Если равные значения получают разные хеш-входы, membership может вести себя неожиданно.

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

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

// a == b сравнивает только id.
// hash(into:) комбинирует id и изменяемую метку.

// Использовать одинаковые существенные поля
// в == и hash(into:).

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

Определи семантику равенства и согласуй с ней hash. Не требуй, чтобы неравные значения всегда имели разные хеши.

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

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

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

VISION