我很好奇为什么这行不通：
public protocol MyProtocol {
var i: Int { get set }
}
public protocol MyProtocol2: class, MyProtocol {}
public extension MyProtocol2 where Self: AnyObject {
func a() {
i = 0 <-- error
}
}
错误：
无法分配给属性：“自身”是不可变的
为什么？只有类可以采用MyProtocol2。如果我: class在MyProtocol后面添加声明，它将起作用。我不明白为什么它在子协议上不起作用。
您的示例无法编译，因为MyProtocol它不是类绑定的，因此可以具有mutating需求和扩展成员。这包括属性设置器，默认情况下为mutating。这样的成员可以自由地将一个全新的值重新分配给self，这意味着编译器需要确保在可变变量上调用它们。
例如，考虑：
public protocol MyProtocol {
init()
var i: Int { get set } // implicitly `{ get mutating set }`
}
extension MyProtocol {
var i: Int {
get { return 0 }
// implicitly `mutating set`
set { self = type(of: self).init() } // assign a completely new instance to `self`.
}
}
public protocol MyProtocol2 : class, MyProtocol {}
public extension MyProtocol2 where Self : AnyObject {
func a() {
i = 0 // error: Cannot assign to property: 'self' is immutable
}
}
final class C : MyProtocol2 {
init() {}
}
let c = C()
c.a()
如果这是合法的，则调用c.a()会将的全新实例重新分配C给该变量c。但是c是不可变的，因此代码格式不正确。
使MyProtocol类绑定（即protocol MyProtocol : AnyObject弃用拼写protocol MyProtocol : class）可行，因为现在编译器知道只有类才能符合MyProtocol。因此，它通过禁止mutating需求和扩展成员来强加引用语义，从而防止的任何突变self。
您可以使用的另一种选择是将需求的设置者标记i为nonmutating–因此，这意味着只能由不变的设置者来满足。这使您的代码再次格式正确：
public protocol MyProtocol {
init()
var i: Int { get nonmutating set }
}
public protocol MyProtocol2 : class, MyProtocol {}
public extension MyProtocol2 where Self : AnyObject {
func a() {
i = 0 // legal
}
}
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句