E文：https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/Generics.html

associatedtype用于protocol中 associatedtype類型是在protocol中?代指一個確定類型并要求該類型實現(xiàn)指定方法

比如 我們定義一個protocol

protocol Container {   
  associatedtype ItemType    
  mutating func append(_ item:ItemType)   
  var count:Int { 
    get
   }    
  subscript(i:Int) -> ItemType { 
    get
   }
}

之后實現(xiàn)這個協(xié)議

struct IntStack: Container {    
  // original IntStack implementation    
  var items = [Int]()
    
  mutating func push(_ item:Int) {        
    items.append(item)    
  }
    
  mutating func pop() -> Int {        
    return items.removeLast()    
  }    
  // conformance to the Container protocol 
  typealias ItemType = Int    
  mutating func append(_ item:Int) {        
    self.push(item)    
  }    
  var count:Int {        
    return items.count    
  }   
  subscript(i:Int) -> Int {        
    return items[i]    
  }
}

其中items實現(xiàn)了ItemType這個代指變量
由于swift的類型推斷，你實際上并不需要聲明一個具體ItemType的Int作為定義的一部分IntStack。由于IntStack符合所有的要求Container協(xié)議，swift可以推斷出適當(dāng)?shù)腎temType使用，只需通過查看類型append(_:)方法的item參數(shù)和標(biāo)的返回類型。事實上，如果你刪除typealias ItemType = Int上面從代碼行，一切仍然有效，因為很明顯應(yīng)該使用什么類型ItemType。