带有条件泛型的 Swift 泛型类和扩展

Question

我有以下课程：

class MyClass<T: BaseClass> {

   let aThing = T()

   func someMethod() {
      configure()
   }
}

而

class SubTypeAOfBaseClass: BaseClass { ... }

class SubTypeBOfBaseClass: BaseClass { ... }

在configure 中，我想根据其类型配置aThing。因此我创建了一个协议Configurable 和一个扩展：

protocol Configurable {
   func configure()
}

extension MyClass: Configurable where T == SubTypeAOfBaseClass {
  func configure() {
     print("Configuring SubTypeAOfBaseClass")
     aThing.doSomethingA()
  }
}

我得到的错误是在MyClass.someMethod 中我调用configure()：“引用实例方法configure() 需要类型T 和SubTypeAOfBaseClass 是等价的。

添加以下扩展时的另一个错误：

extension MyClass: Configurable where T == SubTypeBOfBaseClass {
  func configure() {
     print("Configuring SubTypeBOfBaseClass")
     aThing.doSomethingB()
  }
}

错误更改为“调用实例方法配置中没有完全匹配”和行中

extension MyClass: Configurable where T == SubTypeBOfBaseClass {

我收到错误“MyClass 与可配置协议的一致性冲突，即使有不同的条件边界，也不能有多个一致性。”

它应该工作，但显然我遗漏了一些东西，或者我对如何实现我想要的东西的理解是错误的。

Answer 1

考虑T 是BaseClass，或者T 是AnotherSubclass 我定义为的情况

class AnotherSubclass : BaseClass {

}

会发生什么？当T 是AnotherSubclass 时，您还没有声明符合Configure！

这里真的只有两个（不错的）选择。

1. 当T 既不是SubTypeAOfBaseClass 也不是SubTypeBOfBaseClass 时，您希望configure 什么都不做
2. 您只希望 MyClass<SubTypeAOfBaseClass> 和 MyClass<SubTypeBOfBaseClass> 成为有效类型 - MyClass<BaseClass> 和 MyClass<AnotherSubclass> 会导致编译器错误。

选择 2 在 Swift 中是不可能的。这需要类似于 sealed types in Java 或 Kotlin 的东西。

选择 1 可以这样完成：

class BaseClass {
    ...
    func configure() {
        
    }
}

class SubTypeAOfBaseClass: BaseClass {
    ...
    override func configure() {
        print("Configuring SubTypeAOfBaseClass")
        doSomethingA()
    }
}

class SubTypeBOfBaseClass: BaseClass {
    ...
    override func configure() {
        print("Configuring SubTypeAOfBaseClass")
        doSomethingB()
    }
}
class MyClass<T: BaseClass> {

   let aThing = T()

    func someMethod() {
        aThing.configure()
    }
}

您可能会注意到configure 的每个实现都已移至基类。如果你想在MyClass中实现它们，你必须手动检查类型：

class MyClass<T: BaseClass> {

   let aThing = T()

    func someMethod() {
        if let selfA = self as? MyClass<SubTypeAOfBaseClass> {
            selfA.configure()
        } else if let selfB = self as? MyClass<SubTypeBOfBaseClass> {
            selfB.configure()
        }
    }
}

extension MyClass where T == SubTypeAOfBaseClass {
  func configure() {
     print("Configuring SubTypeAOfBaseClass")
     aThing.doSomethingA()
  }
}
extension MyClass where T == SubTypeBOfBaseClass {
  func configure() {
     print("Configuring SubTypeBOfBaseClass")
     aThing.doSomethingB()
  }
}

这是因为您的代码中的第二个问题 - 泛型类型的不同参数化，MyClass<SubTypeAOfBaseClass> 和 MyClass<SubTypeBOfBaseClass>，不能以不同方式遵守协议。不幸的是，这是 Swift 的一个限制。请参阅here 了解更多信息。