爲什麼類型不符合協議？

Question

讓我們下面的一段代碼：

protocol ItemView { 

    var image: UIImage? { get set } 
} 

class BaseController<T: UIView where T: ItemView>: UIViewController { 

    var itemView = T() 
} 

class ConcreteItemController: BaseController<UIImageView> { 

} 

對於BaseController我得到一個錯誤信息說「類型‘的UIImageView’不符合協議‘ItemView控件’」。

但是爲什麼？

同樣的錯誤信息顯示出來當我這樣做，而不是：

typealias ConcreteItemController = BaseController<UIImageView> 

我真的失去了一些東西在這裏...爲什麼會在UIImageView的不符合ItemView控件協議？它有一個可選的圖像屬性..所以問題在哪裏？

Answer 1

UIImageView沒有聲明它符合ItemView。因爲swift是嚴格類型的語言，所以它不會推斷協議的一致性，因爲某些類型只會順帶遵守。你可以這樣說：

protocol ItemView { 

    var image: UIImage? { get set } 
} 

class BaseController<T: UIView where T: ItemView>: UIViewController { 

    var itemView = T() 
} 

extension UIImageView: ItemView {} 

class ConcreteItemController: BaseController<UIImageView> { 

}