类不符合协议。 为什么？

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“修复”选项时，将插入“提取程序”的存根。 但是Fetcher已经有一种类型别名。

Answer 1

现在，这已被认为是 Swift 4中的错误 。目前，我们必须避免关联类型受具有通用约束的类型所约束。

所以这不酷

associatedtype U: Controller<T>

删除它会产生以下效果。

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