Как я могу исправить ошибку: «Невозможно построить систему перезаписи для общей подписи; Превышен предел длины правила в Swift?
Я почти уверен, что это рекурсивная ошибка, это Cannot build rewrite system for generic signature; rule length limit exceeded, и она возникает из-за этого фрагмента моего кода.
extension GenericBuilder where T == SomeUseCase<T.AssociatedEntity> { // <- Error here on this line.
// Do thing, no errors here
}
struct SomeUseCase<T: Entity>: Model {
typealias AssociatedEntity = T
// Do thing, no errors here
}
protocol Entity: Model {
// Do thing, no errors here
}
protocol Model: Equatable, Hashable, Codable {
/// The entity associated with that specific model.
associatedtype AssociatedEntity: Entity
// Do thing, no errors here
}
Я не совсем уверен, как к этому подойти, я хочу, чтобы GenericBuilder имел функцию только тогда, когда она associatedType T имеет тип SomeUseCase, независимо от связанного объекта. Я не хочу перечислять расширения GenericBuilder для каждого возможного объекта, который можно использовать. Я надеялся, что, добавив AssociatedEntity к модели, я смогу просто передать текст, но теперь все пошло наперекосяк.
Если я переключусь на использование протокола для типа T в GenericBuilder, он сообщит мне, что any SomeProtocol не соответствует Codable, Hashable или Equatable, что не соответствует конкретным реализациям, но я хочу, чтобы он работал для каждой версии этого.
Любой совет?
Ответы 1
Вместо того, чтобы писать ограничение в объявлении расширения, вы можете написать ограничение в каждом из методов, которые вы собираетесь написать в расширении. Таким образом, вы можете ввести еще один параметр типа U, который решает проблему рекурсивных ограничений.
Предполагая, что GenericBuilder:
protocol GenericBuilder {
associatedtype T: Model
}
Вы можете написать расширение следующим образом:
extension GenericBuilder {
func foo<U: Entity>() where
T == SomeUseCase<U>,
U.AssociatedEntity == T.AssociatedEntity {
}
}
Это не будет работать для свойств, но свойства можно легко переписать как функцию получения (и установки), если только вам не нужно получать KeyPath из этих свойств.
Мне не нужны ключевые пути, я попробую, спасибо, любезный Подметальщик.
Что такое декларация
GenericBuilderи не могли бы вы предоставить протокол ее реализации. Сначала пришла идея, что это должно бытьwhere T: SomeProtocolвместоT == SomeUseCase....