爲什麼值類型的常量實例不能改變其屬性，而引用類型的常量實例可以？

Question

我是Swift的新手，正在嘗試學習Property的概念。我從「swift programming language 2.1」中看到了下面的語句和代碼。

struct FixedLengthRange { 
    var firstvalue: Int 
    let length: Int 
} 

let rangeOfFourItems = FixedLengthRange(firstvalue: 0, length: 4) 
rangeOfFourItems.firstvalue = 8 //error: cannot assign to property: rangeOfFourItems is a "let" constant 

和書規定的誤差如下解釋：

This behavior is due to structures being value types. When an instance of a value type is marked as a constant, so are all of its properties.

The same is not true for classes, which are reference types. If you assign an instance of a reference type to a constant, you can still change that instance’s variable properties.

爲什麼值類型的常量實例無法改變其性質，而引用類型的常數實例可以？它背後的原因是什麼？這本書確實說了如何，但沒有解釋爲什麼。我認爲，理解背後的原因是很好的做法。有人請向我解釋一下嗎？

Answer 1

why is constant instance of a value type can NOT change its properties

由於值類型被視爲不可分的單元：它得到分配上覆制，並向它傳遞作爲參數的行爲類似於副本，因此使用常量性鎖關閉整個struct。從某種意義上說，rangeOfFourItems變量表示結構本身，而不是指針或對其的引用。

while constant instance of a reference type can?

這並不完全正確的說，聲明引用類型的常量變量也會使實例保持不變。只有參考是恆定的，而不是實例。

如果你仔細想想，這是唯一可以有效實現的方法，因爲多個變量可以引用相同的引用實例。如果其中一個變量是常量而另一個不是常量，則將常量變量的非常量引用分配給常量變量可能無法鎖定引用的對象，這也會鎖定非常量引用：

var a = ByRefType() 
let b = a; // b is a constant reference to the same instance as "a" 
a.property = newValue; // Prohibiting this assignment would be inconsistent 

當然，常量變量本身（例如上面的b）不能被重新賦值，這與非常量變量a不同。