Swift——(六)Swift中的實值型別

標籤：swift   實值型別   

    在Swift中，結構體和枚舉類型為實值型別(Structures and Enumerations)，在Stack Overflow上有這樣一個問題：結構體中的可變屬性只有在使用mutating關鍵字之後才能被內建的方法修改(如果是不可變屬性肯定不可以修改了，這就不用糾結了，不過在Swift中，還有一個例外，那就是構造器Initialization，對於結構體和類的常量執行個體屬性可以在構造器中進行設定，這感覺有點違背常量屬性的含義，仔細想想也可以理解，因為執行個體化的時候，最後調用的是構造器，所以在構造器之後，執行個體屬性的值才確定)。

    @Author: twlkyao 轉載或者引用請保留此行。

    這裡梳理下緣由，有什麼不對的地方還望指出，在解決這個問題之前，有兩個概念需要解釋。

    首先，一個值是不是可以修改並不在於它是什麼類型(類還是結構體)，而在於它的儲存類型(常量還是變數)。只有變數才可以進行修改。

    然後，實值型別可以理解為每個屬性都在記憶體中有自己的一份空間，和其它的執行個體之間的屬性是沒有關係的，實值型別可以理解為一個連續的代碼塊，每建立一個實值型別的執行個體，就相當於將這樣的代碼塊複製了一份，每一份都有自己的相應的屬性的值，如果執行個體類型是可變的，那麼這個代碼塊中的每個屬性都是可以變的，如果一個執行個體類型是不可變的，那麼這個代碼塊中的每個屬性也都是不可變的，每個執行個體類型都必須能夠支援屬性可變和不可變，為了滿足這個條件，Swift將結構體的方法分為兩類，可以修改結構體結構的和不可以修改結構體結構的，修改結構體結構的方法，必須被可變的結構體執行個體調用；不修改結構體結構的方法，可以被可變和不可變的結構體執行個體調用，而大多數情況下，使用的是後者，所以有可能蘋果直接將後者作為預設情況，結構體的方法不能夠修改結構體執行個體的屬性。參考型別，可以理解為指標(雖然Swift中沒有指標，就像Java一樣，但是物件導向的語言實際上是把類執行個體都當指標處理的)，指向記憶體空間中的同一個位置，每建立一個參考型別的執行個體，就會多一個指標，指向這個記憶體位址。

    好了，下邊來解決這個問題，由於實值型別執行個體可以賦值給變數或者常量，而被賦值的常量或者變數又決定了實值型別執行個體是否可變，進而決定了實值型別的執行個體屬性是否可變，可以理解為實值型別的執行個體屬性有兩種模式，可變和不可變(由屬性的類型和最後被執行個體賦值的常量或變數決定)，以下是規則：

執行個體屬性可變性規則

執行個體類型(賦值號左邊的類型)	執行個體屬性類型	可變性
var	let	let
var	var	var
let	let	let
let	var	let

    舉例如下：

struct Point {    var x = 0    let y = 0}var a = Point()let b = Point()a.x = 1 // var, right.//a.y = 2 // let, compile time error.//b.x = 3 // let, compile time error.//b.y = 4 // let, compile time error.

    如上所示，只有在執行個體屬性為變數，並且最終執行個體賦值給一個變數的時候，才可以修改相應變數的屬性，而參考型別在執行個體化的時候，並沒有進行相應的屬性的複製，只是相當於添加了一個指向相應屬性的指標，而屬性可能又是指向其它類型的指標，所以var類型的屬性還是let類型的屬性，只是確定這個"指標"也就是對應關係是不是可以變。

    可以理解為在結構體進行執行個體化之前，結構體並不知道自己是不是可變的，為了防止被誤修改，預設為自己是不可變的，除非在事先聲明的情況才可變，這就是"mutating"關鍵字的作用。

    下面給出代碼說明實值型別。

struct Point1 {    var x = 0, y = 0    mutating func moveToX(x: Int, andY y:Int) { // need to be a mutating method in order to work        self.x = x        self.y = y    }}var p1 = Point1(x: 1, y: 2) // in order to change the properties, you have to use var, since it is a value type.p1.x = 3 // works from outside the struct.p1.moveToX(5, andY: 5)println("p1.x = \(p1.x), p1.y = \(p1.y)")/***************************/struct Point2 {    let x = 0, y = 0}var p2 = Point2(x: 1, y: 2)println("p2.x=\(p2.x), p2.y=\(p2.y)")//p2.x = 3 // can‘t change p2.x, since p2.x is a constant.

    下面給出代碼，說明參考型別：

class Point3 {    var x = 0    var y = 0    let plet: Point4    var pvar: Point4    init(x: Int, y: Int) {        self.x = x        self.y = y        self.plet = Point4() // plet.x = 0, plet.y = 0        self.pvar = Point4() // pvar.x = 0, pvar.y = 0    }    func moveToX(x: Int, andY y: Int) { // no need to use "mutating" keyword.        self.x = x;        self.y = y;    }}class Point4 {    var x = 0    var y = 0}let p3 = Point3(x:1, y:2) // you can use let, even though you want to change the property, because it is a reference.p3.x = 2p3.moveToX(5, andY: 5) // no need to use the "mutating" keyword.println("p3.x = \(p3.x), p3.y = \(p3.y)") // x = 5, y = 5var p4 = p3 // p3 and p4 are the same, since they are reference type.p4.x = 3println("p4.x = \(p4.x), p4.y = \(p4.y)") // p4.x = 3, p4.y = 5println("p3.x = \(p3.x), p3.y = \(p3.y)") // p3.x = 3, p3.y = 5/**********************/p3.plet.x = 4println("p4.p.x = \(p3.plet.x), p4.p.y = \(p3.plet.y)") // p3.plet.x = 4, p3.plet.y = 0let p5  = Point4()//p3.plet = p5 // can‘t assign new value to p3.plet since the realtion can‘t change since the p property of p3 is a constant.p3.pvar = p5 // even p3 is a constant, its propery can change.

    在上面的代碼中，最重要的就是"*"號以下的代碼，可以說明參考型別中的let和var的作用。

    更詳細討論，可以查看：http://stackoverflow.com/questions/24035648/swift-and-mutating-struct