swift - 类不符合协议(protocol)。为什么？

Question

class Controller<U: NSObject> {}

protocol Robert {
  associatedtype T
  associatedtype U: Controller<T>
  var fetcher: U { get }
}

class Telephone: NSObject {}

class Object: Telephone {}

class Turtle: Controller<Object> {}

class Fish: Robert {

  typealias T = Object
  typealias U = Turtle

  let x = Turtle()

  var fetcher: Turtle {
    return x
  }

}

我不明白为什么。任何帮助表示赞赏。

选择Xcode“Fix It”选项时，插入了一个用于'fetcher的 stub 。但是 Fetcher 已经有了类型别名。

Answer 1

这已经被识别了as a bug在 Swift 4 中。现在我们必须避免关联类型受到具有泛型约束的类型的约束。

所以这不是很酷

associatedtype U: Controller<T>

删除它会产生以下效果。

protocol Robert {
  associatedtype T: NSObject
  var fetcher: Controller<T> { get }
}