Swift协议遵循后类的可变性疑问：let引用为何无法修改属性？

你的场景回顾 #

你在TDD实现Networking Module时遇到：

• 当Feed类中用let client: HTTPClient（HTTPClient是协议）声明时，修改client.url会触发编译错误
• 把类型换成具体的HTTPClientSpy类后，修改client.url完全正常

核心原理：协议的类型不确定性 #

Swift的协议支持**值类型（struct、enum）和引用类型（class）**共同遵循，编译器无法仅凭协议类型判断实例到底是值类型还是引用类型：

• 对于具体类类型的let变量：编译器明确这是引用类型，let仅限制「不能把变量指向其他实例」，实例内部的可变属性可以自由修改——这就是换成HTTPClientSpy后正常的原因。
• 对于协议类型的let变量：编译器为了保证类型安全，默认做了「最坏假设」——认为它可能是值类型。而值类型的let实例是完全不可变的（包括内部所有属性），因此会直接禁止修改属性，哪怕实际遵循协议的是类类型。

快速解决：给协议添加类约束 #

如果你的HTTPClient协议只打算被类遵循，给协议加上AnyObject约束，明确告诉编译器这个协议的实例一定是引用类型：

protocol HTTPClient: AnyObject {
    var url: URL? { get set }
    // 其他协议成员
}

添加约束后，let client: HTTPClient会被编译器识别为引用类型，修改client.url就不会再报错，和使用具体类的行为完全一致。

额外验证：值类型遵循协议的情况 #

如果用struct遵循无AnyObject约束的HTTPClient协议，哪怕用var声明变量，修改属性时也会触发值类型的「拷贝语义」；而带AnyObject约束的协议只能被类遵循，完全遵循引用类型的语义。

内容的提问来源于stack exchange，提问作者nath