如何在 Swift 中将泛型类型约束为另一个泛型类型？

Question

我想做这样的事情：

class Config<T> {
  func configure(x:T)
  // constraint B to be subclass of A
  class func apply<A,B:A>(c:Config<A>, to:B) {
    c.configure(to)
  } 
}

所以稍后，例如，我可以将 Config 应用到 UILabel：

class RedViewConfig<T:UIView> : Config<T> {
  func configure(x:T) {
    x.backgroundColor = .redColor();
  } 
}

let label = UILabel() 
Config.apply(RedViewConfig(), to:label)

或扩展 Config 类：

class RedLabelConfig<T:UILabel> : RedViewConfig<T> {
  func configure(x:T) {
    super.configure(x)
    x.textColor = .redColor();
  } 
}

Config.apply(RedLabelConfig(), to:label)

我尝试这样做，但我无法约束类。所以我尝试使用协议和关联类型，但是在子类化时，我发现覆盖关联类型时出现问题 (like this)。

Answer 1

你真的需要泛型参数B吗？如果你的论点 to: 也被键入为 A，它可以是 A 的任何子类型。像这样：

class View {}
class LabelView : View {}

class Config<T> {
  func configure(x:T) { print ("Configured: \(x)") }  
}

func applyConfig<A> (c:Config<A>, to:A) {
  c.configure(to)
}

applyConfig(Config<View>(), to: LabelView())

Answer 2

类使这种方式过于复杂。如果可以避免的话，在 Swift 中继承几乎总是一个坏主意。

结构虽然更接近，但仍然使这有点过于复杂和限制。

真的，这些配置器只是函数。他们拿走一件东西，然后对它做点什么，什么也不回报。他们只是T -> Void。让我们构建其中的一些。

func RedViewConfig(view: UIView) { view.backgroundColor = .redColor() }
func VisibleConfig(view: UIView) { view.hidden = false }

我们可以很容易地使用它们：

let label = UILabel()
VisibleConfig(label)

如果它们的类型兼容，我们可以组合它们（如 super，但没有包袱）：

func RedLabelConfig(label: UILabel) {
    RedViewConfig(label)
    label.textColor = .redColor()
}

我们可以在数据结构中传递它们，编译器将为我们应用正确的协方差：

let configs = [RedLabelConfig, VisibleConfig]
// [UILabel -> ()]
// This has correctly typed visibleConfig as taking `UILabel`,
// even though visibleConfig takes `UIView`

// And we can apply them
for config in configs { config(label) }

现在，如果我们想要其他语法，我们也可以很容易地构建它们。更像你原来的东西：

func applyConfig<T>(f: T -> Void, to: T) {
    f(to)
}
applyConfig(VisibleConfig, to: label)

甚至更接近您的原作：

struct Config {
    static func apply<T>(config: T -> Void, to: T) { config(to) }
}

Config.apply(VisibleConfig, to: label)

关键是在这里只使用函数就可以让一切变得非常灵活，而不会增加类继承甚至结构的任何复杂性。