類不符合協議。 為什么？

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 }
}