为什么SWIFT不允许在类初始化中给自己赋值，而不允许在协议初始化中赋值？ [英] Why does Swift disallow assignment to self in class init, but not in protocol init?

问题描述

我经常发现自己喜欢在struct、enum和protocol的初始值设定项中，我可以编写类似self = someValue的内容。当我有一些预定义的值或正在克隆现有值时，这很棒。

但是，此语法不适用于classES。我也不知道为什么。

无法赋值：‘self’是不可变的

如果关注的是双重初始化，则SWIFT编译器知道我是否、何时以及在哪里调用指定的super或self初始化器，因此它知道我是否已完成对此实例的初始化。 如果担心的是我还没有调用指定的初始值设定项，那么应该没问题，因为我只是让这个实例引用另一个实例(2个变量1个指针)。 如果担心并发访问可能导致self已经初始化...这是胡说八道，因为我们在初始值设定项中，Swift initializers are not susceptible to that。

在所有这些之后，我发现我可以用一种单一使用的协议来解决这个问题：

class MyClass {
    let content: String
    
    init(content: String) {
        self.content = content
    }

    convenience init(from1 other: MyClass) {
        self = other // Cannot assign to value: 'self' is immutable
    }
}



protocol MyProto {}

extension MyClass: MyProto {}



extension MyProto {
    
    init(from2 other: Self) {
        self = other
    }
}



let foo = MyClass(content: "Foo")

print(MyClass(from1: foo)) // Never would've compiled in the first place
print(MyClass(from2: foo)) // Perfectly OK!

那么，为什么在常用情况下会拒绝这种情况，而在协议扩展中却允许这样做？

推荐答案

这当前的行为似乎与预期一致。

整个问题已经在快速论坛上进行了讨论：Assigning to Self in Protocol Extensions

上一次在内部讨论中出现这种怪癖时，我们中的一些人的想法是，可能值得完全禁止类遵循具有变化要求的协议。如果您仔细想想，这有一定的意义-似乎很难编写同时对变量值和可变引用进行通用操作的代码，因为后者没有值语义：

var x = y
x.mutatingProtocolRequirement()
// did y change too?

然而，讨论有点失败了。

这篇关于为什么SWIFT不允许在类初始化中给自己赋值，而不允许在协议初始化中赋值？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！