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

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。