swift - 为什么常量约束结构实例的属性而不是类实例的属性？

Question

当我尝试更改 byValueObj 实例的 ID 属性时，我收到一条错误，告诉我无法分配给常量的属性，即使属性是一个变量。但是，我可以在类实例上执行此操作。我知道这可能与按值和按引用机制有关。但我对此还没有一个非常清晰和正确的认识。有人能为我解释一下吗？谢谢。

struct CreatorValue{
    var ID = 2201
}
class CreatorRefer{
    var ID = 2203
}

let byValueObj = CreatorValue()
let byReferObj = CreatorRefer()

byValueObj.ID = 201 //Error: cannot assign to property: 'byValueObj' is a 'let' constant
byReferObj.ID = 203 //works fine here

Answer 1

Swift 中的结构是 value types – 从语义上讲，值(即值类型的“实例”)是不可变的。

值类型的突变，无论是通过直接更改属性的值，还是通过使用mutating方法，都相当于仅分配一个全新保存它的变量的值(加上突变触发的任何副作用)。因此，保存它的变量必须是 var。属性观察者围绕值类型的行为很好地展示了这种语义，as iGodric points out .

所以这意味着你可以这样想:

struct Foo {
    var bar = 23
    var baz = 59
}

// ...

let foo = Foo()
foo.bar = 7 // illegal

这样做:

let foo = Foo()

var fooCopy = foo // temporary mutable copy of foo.

fooCopy.bar = 7   // mutate one or more of the of the properties

foo = fooCopy     // re-assign back to the original (illegal as foo is declared as
                  // a let constant)

正如您可以清楚地看到的 – 该代码是非法的。您不能将 fooCopy 分配回 foo – 因为它是一个 let 常量。因此，您无法更改声明为 let 的值类型的属性，因此需要将其设为 var。

^{(值得注意的是，编译器实际上并没有经过这个交待；它可以直接改变结构的属性，这可以通过查看 the SIL generated 看到。这不会改变结构的语义但值类型。)}

<小时/>

您可以更改 let 常量 class 实例的可变属性的原因是类是引用类型。因此，作为 let 常量只能确保引用保持不变。改变它们的属性不会以任何方式影响您对它们的引用 - 您仍然引用内存中的相同位置。

您可以将引用类型视为路标，因此代码如下:

class Foo {
    var bar = 23
    var baz = 59
}

// ...

let referenceToFoo = Foo()

你可以这样想内存表示:

|    referenceToFoo     |  --->  | Underlying Foo instance |
| (a reference to 0x2A) |        |<----------------------->|
                                 |0x2A       |0x32         |0x3A
                                 |  bar: Int |  baz : Int  |
                                 |     23    |      59     |

当你改变一个属性时:

referenceToFoo.bar = 203

引用 (referenceToFoo) 本身不受影响 - 您仍然指向内存中的同一位置。它是底层实例的属性发生了变化(意味着底层实例发生了变异):

|    referenceToFoo     |  --->  | Underlying Foo instance |
| (a reference to 0x2A) |        |<----------------------->|
                                 |0x2A       |0x32         |0x3A
                                 |  bar: Int |  baz : Int  |
                                 |    203    |      59     |

只有当您尝试将新引用分配给referenceToFoo时，编译器才会给您一个错误，因为您试图改变引用本身:

// attempt to assign a new reference to a new Foo instance to referenceToFoo.
// will produce a compiler error, as referenceToFoo is declared as a let constant.
referenceToFoo = Foo()

因此，您需要将 referenceToFoo 设为 var 以使此分配合法。