Swift中为何any ChatUser无法满足协议一致性，需用associatedtype？

我在为模拟和预览设置协议时，让Message结构体遵循ChatMessage协议遇到了一致性问题，虽然已经通过添加关联类型解决，但想弄明白为什么必须用associatedtype而any ChatUser无法生效。

原代码 #

public protocol ChatUser: Identifiable {
    var id: String { get }
    var avatar: UIImage { get }
}

public struct User: ChatUser {
    public let id: String
    public let avatar: UIImage
}

public protocol ChatMessage: Identifiable {
    var id: String { get }
    var date: Date { get }
    var text: String { get }
    var user: any ChatUser { get }
}

public struct Message: ChatMessage {
    public let id: String
    public let date: Date = Date.now
    public let text: String
    public let user: User
}

Xcode提示「Type 'Message' does not conform to protocol 'ChatMessage'」，尽管User已经遵循ChatUser协议。

解决后的代码 #

我通过为ChatMessage添加关联类型解决了问题：

public protocol ChatMessage: Identifiable {
    associatedtype MessageAuthor: ChatUser
    var id: String { get }
    var date: Date { get }
    var text: String { get }
    var user: MessageAuthor { get }
}

我困惑的是为何any ChatUser无法生效，而关联类型却可以。

原因解析 #

• any ChatUser是存在类型，要求属性必须是协议容器：当协议里定义user: any ChatUser时，意味着这个属性必须是一个擦除了具体类型的协议对象——它在编译时只知道符合ChatUser协议，但不知道具体是哪个类型。而你的Message里user是具体的User类型，这是一个确定的具体类型，和协议要求的存在类型不是同一类型，所以编译器判定不满足一致性。

• 关联类型让协议成为泛化模板：添加associatedtype MessageAuthor: ChatUser后，协议变成了一个泛化的约束模板，它要求每个遵循协议的类型必须指定一个符合ChatUser的具体类型作为MessageAuthor。Message里的User正好满足这个约束，编译器能明确匹配到关联类型，因此一致性校验通过。

简单说，any ChatUser是让协议直接作为类型使用，要求属性必须是这个协议的存在容器；而关联类型是让协议变成“占位符”，由遵循协议的类型提供具体类型来填充，两者的约束逻辑完全不同。

内容的提问来源于stack exchange，提问作者I'm Joe Too