1磨取、什么是值類(lèi)型
值類(lèi)型與引用類(lèi)型相對(duì),值類(lèi)型的數(shù)據(jù)特征是柴墩,每一個(gè)內(nèi)存實(shí)例都會(huì)有一份數(shù)據(jù)copy忙厌。在swift語(yǔ)言中,用struct定義的類(lèi)型都是值類(lèi)型江咳,這包括了基本數(shù)據(jù)類(lèi)型(Int逢净,String,Double,Float),集合類(lèi)型(Array,Dictionary汹胃,Set)等婶芭。值類(lèi)型在賦值和傳遞的過(guò)程中,會(huì)表現(xiàn)出copy數(shù)據(jù)的性質(zhì)着饥。
struct Point {
var x = 0
var y = 0
}
var point1 = Point()
var point2 = point1
我們定義兩個(gè)值類(lèi)型的變量point1犀农、point2,當(dāng)我們使用point1對(duì)point2進(jìn)行賦值的時(shí)候宰掉,理論上編譯器會(huì)創(chuàng)建point2對(duì)象呵哨,并將point1的數(shù)據(jù)進(jìn)行一次copy賦值給point2。如果我們修改了point2的內(nèi)容轨奄,我們會(huì)發(fā)現(xiàn)point1的內(nèi)容并沒(méi)有發(fā)生變化孟害。
point2.x = 1
print(point2.x) // 1
print(point1.x) // 0, 對(duì)point2的修改不會(huì)影響point1的內(nèi)容
2、值類(lèi)型的優(yōu)缺點(diǎn)
線程的目標(biāo)是提升程序的運(yùn)行效率挪拟,但是由于數(shù)據(jù)在線程之間的共享所帶來(lái)的復(fù)雜度挨务,大大的削弱了這種性能的提升帶來(lái)的好處。甚至在復(fù)雜的線程鎖機(jī)制下玉组,在某些情況下線程帶來(lái)了性能的提升變得微乎其微谎柄。值類(lèi)型的設(shè)計(jì)可以有效的降低編程問(wèn)題的復(fù)雜度,編譯器保證值類(lèi)型的數(shù)據(jù)擁有者都持有一份數(shù)據(jù)的私有copy惯雳,這種數(shù)據(jù)的私有性可以讓數(shù)據(jù)的的持有者安全的修改自己的數(shù)據(jù)朝巫,而不需要擔(dān)心其它線程可能會(huì)修改這些數(shù)據(jù)而被迫采用使用線程鎖。
因?yàn)橹殿?lèi)型數(shù)據(jù)有機(jī)會(huì)直接在検埃空間分配內(nèi)存劈猿,所以可以減少堆上內(nèi)存分配和回收的次數(shù),這對(duì)于要在堆上創(chuàng)建大量的小對(duì)象而言潮孽,值類(lèi)型表現(xiàn)出了特有的優(yōu)勢(shì)揪荣。但是理論上,值類(lèi)型在賦值和傳遞的過(guò)程中總是需要進(jìn)行copy會(huì)帶來(lái)一定性能的影響恩商,swift使用了很多優(yōu)化機(jī)制变逃,來(lái)減輕copy帶了的性能影響必逆。
編譯器可以將copy操作延時(shí)到不得不進(jìn)行copy的時(shí)候再進(jìn)行操作(比如常常被提到的“寫(xiě)時(shí)拷貝”)怠堪,更進(jìn)一步來(lái)說(shuō),當(dāng)一個(gè)結(jié)構(gòu)體不要求在內(nèi)存空間中連續(xù)存放的話名眉,那么當(dāng)發(fā)生“寫(xiě)時(shí)copy”的時(shí)候粟矿,編譯器則完全只處理臟數(shù)據(jù)的copy,而繼續(xù)共享相同內(nèi)容的數(shù)據(jù)损拢。
- swift語(yǔ)言的設(shè)計(jì)者重視值類(lèi)型陌粹,將90%的內(nèi)容都設(shè)計(jì)為值類(lèi)型,而且平等的強(qiáng)調(diào)了let與var(在很多語(yǔ)言中默認(rèn)聲明的都是變量福压,常量需要用特殊的關(guān)鍵字來(lái)進(jìn)行修飾)掏秩。swift語(yǔ)言中的let關(guān)鍵字與值類(lèi)型配合可以讓不變性在語(yǔ)義上更加完整或舞。
let array = [1,2,3,4,5]
array.append(6) // error!!!!!!!
如果array是一個(gè)引用類(lèi)型,let的聲明只能限制array不可以再指向其它內(nèi)容蒙幻,但let無(wú)法限制我們?cè)赼rray所指向的對(duì)象中新增內(nèi)容(既在數(shù)據(jù)中新增內(nèi)容)映凳。但此時(shí)array是一個(gè)值類(lèi)型,swift編譯器保證用let修飾過(guò)的值類(lèi)型不可變邮破,從而將不變性的語(yǔ)義更加完整诈豌。
3、inout
我們現(xiàn)在已經(jīng)知道抒和,值類(lèi)型在傳遞的過(guò)程中會(huì)進(jìn)行數(shù)據(jù)的copy矫渔,那么顯而易見(jiàn)的是下面改變x的值是不會(huì)成功的
var x = 10
func changeX(x: Int) {
x + = 10
}
changeX(x)
print(x) // 10 x的值不會(huì)發(fā)生改變
如果我們希望x的值可以被改變,那么我們必須使用引用的方式來(lái)傳遞x摧莽。這時(shí)候我們就需要使用inout庙洼,當(dāng)我們使用inout的時(shí)候,編譯器不論當(dāng)前struct的存放狀態(tài)如何镊辕,都一定會(huì)把結(jié)構(gòu)體放入一個(gè)連續(xù)的內(nèi)存空間中送膳,并將地址作為參數(shù)進(jìn)行傳遞。
var x = 10
func changeX(x: inOut Int) { // swift3.0改變了inOut修飾符的位置
x + = 10
}
changeX(x)
print(x) // 20 x的值發(fā)生了改變