Início / coding / Perguntas / 79264706
Accepted
lazarevzubov
Asked: 2024-12-09 18:55:42 +0800 CST

Extensão para uma classe genérica em Swift, onde o parâmetro genérico também é genérico

  • 772

É mais fácil explicar o problema em um exemplo. Por exemplo, considere esta classe genérica simples:

final class GenericClass<T> {
  private let parameter: T
  init(parameter: T) {
    self.parameter = parameter
  }
}

Quero adicionar um vazio initem uma extensão, quando Tfor any Array(ou mesmo Collection, mas não é crucial para o meu caso). Quero algo assim, mas não compila:

// Reference to generic type 'Array' requires arguments in <...>
extension GenericClass where T: Array {
  convenience init() {
    // Cannot convert value of type '[Any]' to expected argument type 'T'
    self.init(parameter: [])
  }
}

Como posso adicionar um parâmetro genérico ao Array? Esta sintaxe não funciona:

extension GenericClass<U> where T: Array<U> { // Cannot find type 'U' in scope
  convenience init() {
    self.init(parameter: [U]()) // Cannot call value of non-function type '[Any]'
  }
}

( T == Array<U>também não funciona.)

Existe alguma maneira de conseguir o que descrevi? Eu realmente gostaria de evitar declarar extensões separadas para cada tipo de elemento que preciso (claro que o código abaixo funciona perfeitamente):

extension GenericClass where T == [Int] {
  convenience init() {
    self.init(parameter: [])
  }
}
swift

1 respostas

  1. Best Answer

    Se você precisar especificamente de Array, você pode adicionar o parâmetro de tipo extra Uao init. em vez de extension GenericClass<U>:

    extension GenericClass {
    convenience init<U>() where T == [U] {
        self.init(parameter: [])
    }
}

    Se tudo o initque você precisa é poder converter []para T. Tpode ser apenas algo que seja ExpressibleByArrayLiteral.

    extension GenericClass where T: ExpressibleByArrayLiteral {
    convenience init() {
        self.init(parameter: [])
    }
}

    Se por []você especificamente quer dizer "uma coleção vazia", ​​então você deve exigir Tque seja RangeReplaceableCollection. Este protocolo fornece um initque cria uma coleção vazia.

    extension GenericClass where T: RangeReplaceableCollection {
    convenience init() {
        self.init(parameter: T())
    }
}

    Não é o caso que ExpressibleByArrayLiteralimplica que o tipo é uma coleção. OptionSetpor exemplo, não é um Collection, mas é ExpressibleByArrayLiteral.

    • 3

relate perguntas