Неиспользуемый параметр во всём dispatch family

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

Неиспользуемый параметр во всём dispatch family

Параметр без семантической роли усложняет API и вводит вызывающий код в заблуждение. Виртуальные и protocol-вызовы требуют проверки всей семьи реализаций.

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

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

private func price(_ discount: Int) -> Int { 100 }
public func total() -> Int { price(20) }

private func price() -> Int { 100 }
public func total() -> Int { price() }

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

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

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

Принята закрытая грамматика private singleton free functions с подтверждёнными consumers. Обобщённый анализ всех параметров Swift этим не заявлен.

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

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

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

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

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

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

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

native-experimental.swift-6.3.3

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

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

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

PERIPHERY