在集合中存储符合关联类型的泛型

Question

我正在尝试存储使用关联类型的泛型，但是在尝试创建应符合我在类A顶部的泛型列表中描述的泛型类型的类型时，却出现了错误。

“无法使用类型为'（B）'的参数列表调用'追加'”

如何正确声明泛型，以便此代码起作用？

class A<DataType: Any, AssociatedType: Runable> where 
AssociatedType.DataType == DataType {
  var array = Array<AssociatedType>()

  func addAssociatedValue(data: DataType) {
    array.append(B(data: data))
  }

  func runOnAll(with data: DataType) {
    for item in array {
      item.run(with: data)
    }
  }
}
class B<DataType>: Runable {
  init(data: DataType) { }
  func run(with: DataType) { }
}

protocol Runable {
  associatedtype DataType
  func run(with: DataType)
}

我也在使用Swift 4.2，因此如果有一种解决方案使用了较新的Swift功能之一，那么该功能也可以用作解决方案。

Answer 1

B符合Runnable ，是的，但是您不能将其放入应该存储AssociatedType的数组中。 因为AssociatedType的实际类型是由类的调用者而不是类本身决定的。 该类不能说：“我希望AssociatedType始终为B ”。 在这种情况下，您最好删除AssociatedType通用参数，并将其替换为B 调用者可以使AssociatedType为Foo或Bar或任何符合Runnable东西。 现在您被迫放入B

我认为您应该重新考虑一下模型。 问问自己是否真的希望将AssociatedType作为通用参数。

您可以考虑为Runnable添加另一个要求：

init(data: DataType)

并将required项添加到B的初始化程序中。 这样，您可以这样编写addAssociatedValue ：

func addAssociatedValue（data：DataType）{array.append（AssociatedType（data：data））}