Question

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

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版本中修复吗？

Answer 1

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

作为示例，请考虑不重写自返回方法的子类。它如何返回子类？如果它将Self传递给其他东西怎么办？你如何静态类型检查在编译时给定未来的子类，编译器甚至不知道？（包括可以在运行时和跨模块边界添加的子类。）

我希望这会好一点，但是Swift不鼓励这种复杂的继承（这些是非最终类，所以你必须考虑所有可能的子类）并且长期更喜欢协议，所以我不指望这在Swift 4或5中是完全可能的。

＆＃39;自＆＃39;不能用于非平凡的闭包

1 个答案: