swift – ‘Self’不能用于非平凡的闭包

2019年7月20日 235次阅读

我想有一个静态初始化方法的类：

class A {

  required init() {
  }

  // this one works
  class func f0() -> Self {
    return self.init()
  }

  // this one works as well      
  class func f1() -> Self {
    let create = { self.init() } // no error, inferred closure type is '() -> Self'
    return create()
  }
}

不幸的是,Swift 3编译器无法推断出比{self.init()}更复杂的任何闭包的类型.例如：

class func f2() -> Self {
  let create = {
    // error: unable to infer complex closure return type; add explicit type to disambiguate
    let a = self.init()
    return a
  }

  return create()
}

任何尝试明确指定闭包类型,变量类型或从A转换为Self都会导致错误：

class func f3() -> Self {
  let create = { () -> Self in // error: 'Self' is only available in a protocol or as the result of a method in a class;
    let a = self.init()
    return a
  }

  return create()
}

class func f4() -> Self {
  let create = {
    let a: Self = self.init() // error: 'Self' is only available in a protocol or as the result of a method in a class;
    return a
  }

  return create()
}

class func f5() -> Self {
  let create = { () -> A in
    let a = self.init()
    return a
  }

  return create() as! Self // error: cannot convert return expression of type 'A' to return type 'Self'
}

解决方案是使用Self避免闭包.

这似乎是编译器的一个非常不幸的限制.它背后有原因吗？这个问题可能会在未来的Swift版本中修复吗？

最佳答案 根本问题是Swift需要在编译时确定Self的类型,但是您希望在运行时确定它.如果一切都可以在编译时解决,那么它已经有所扩展,允许类函数返回Self,但Swift不能总是证明你的类型在某些情况下必须是正确的(有时因为它不知道如何,有时因为它实际上可能是错的).

例如,考虑一个不覆盖自返回方法的子类.它如何返回子类？如果它将Self传递给其他东西怎么办？你如何静态类型检查在编译时给定未来的子类,编译器甚至不知道？ (包括可以在运行时和跨模块边界添加的子类.)

我希望这会好一点,但是Swift不鼓励这种复杂的继承(这些是非最终类,所以你必须考虑所有可能的子类)并且长期优先考虑协议,所以我不希望这是完全可以在Swift 4或5中使用.

点赞