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

Question

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

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中的结构是值类型
–从语义上讲，值（即值类型的“实例”）是不可变的。

值类型的突变，无论是通过直接更改属性的值，还是通过使用mutating方法，都等同于为保存该值的变量分配一个 全新的
值（以及该突变触发的任何副作用）。因此，保存该变量的变量必须为var。正如iGodric指出的那样，属性值周围的属性观察者的行为很好地展示了这种语义。

因此，这意味着您可以想到以下几点：

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常数。因此，您不能更改声明为a的值类型的属性，let因此需要将其设置为a
var。

（值得注意的是，编译器实际上并没有经过该操作程序；它可以直接更改结构的属性，这可以通过查看生成的SIL来看到。但这不会更改值类型的语义。）

您可以更改let常量 类 实例的可变属性的原因是由于类是引用类型。因此，为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。