将从另一个协议继承的协议设置为关联类型会产生错误

Question

我正在尝试学习协议和相关类型。我有几个声明关联类型的协议，从：

protocol MasterViewModel {
    associatedtype Item: AWMediaItem
...
}

AWMediaItem 是另一个协议

protocol AWMediaItem {
    var name: String { get }
    var source: AWMediaSource { get }
}

AWAlbum 是另一个继承自 AWMediaItem 的协议

protocol AWAlbum: AWMediaItem {
    var albumName: String { get }
...
}

由于某种原因，在实现MasterViewModel 协议的类中，我无法将 AWAlbum 设置为Item。

final class AlbumsMasterViewModel: MasterViewModel {
    typealias Item = AWAlbum // Error
...
}

我得到的警告是

1. 可能有意匹配“AlbumsMasterViewModel.Item”（又名“AWAlbum”）不符合“AWMediaItem”

如果我理解正确，所有AWAlbum's 都会实现AWMediaItem 那么为什么这不起作用？

Answer 1

我想你是想写

final class AlbumsMasterViewModel<Item: AWAlbum>: MasterViewModel {
    
}

我假设当你写的时候：

    typealias Item = AWAlbum // Error

您希望AlbumsMasterViewModel 的项目符合您的AWAlbum 协议，但您只需创建一个typelias，这意味着Item 只是是AWAlbum 的别名。

如果你想使用类型别名，你需要一个符合AWMediaItem 的具体类型，而不是继承自它的协议。例如：

class ConcreteAlbum: AWAlbum {
    var albumName: String
    var name: String
    var source: AWMediaSource
    ...    
}

final class AlbumsMasterViewModel: MasterViewModel {
    typealias Item = ConcreteAlbum // No Error
}

编辑

如果您想将AlbumsMasterViewModel 与多个Item 类型一起使用，您也可以这样声明：

final class AlbumsMasterViewModel<Item: AWMediaItem>: MasterViewModel {
    
}