函數(shù)式Swift6 - 不可變性的價值

本文是一個系列浮驳,是函數(shù)式Swift的讀書筆記(其實是為了備忘)

1變量和引用

Swift有兩種初始化變量的方法搜囱,var和let绍赛。
var聲明的變量可以賦新的值。 let創(chuàng)建的變量不能被修改钾菊。

var x: Int = 1
let y: Int = 2

x=3 //可以
y=4 //被編譯器拒絕

使用 let 聲明的變量被稱為 不可變變量
使用 var 聲明的變量則被叫做 可變變量

2 值類型和引用類型

不可變性并不只存在于變量聲明中,Swift類型分為 值類型和引用類型侠畔。最經(jīng)典的例子分別是結(jié)構(gòu)體和類结缚。

struct PointStruct {
    var x:Int
    var y:Int
}
var structPoint = PointStruct(x: 1, y: 2)
var sameStructPoint = structPoint
sameStructPoint.x = 3
//sameStructPoint 等于 (x: 3, y: 2)损晤。然而 structPoint 仍然保持原始值

class PointClass {
    var x: Int
    var y: Int
    init(x: Int, y: Int) {
        self.x = x
        self.y = y
    }
}
var classPoint = PointClass(x: 1, y: 2)
var sameClassPoint = classPoint
sameClassPoint.x = 3
//給 sameClassPoint.x 賦值將會修改 sameClassPoint 變量所指向的那個對象软棺,因為類是引用類型

//當(dāng)把一個值類型賦值給新的變量,或者傳遞給函數(shù)時尤勋,值類型總是會被復(fù)制喘落,而引用類型并不會被復(fù)制。對引用類型的對象來說最冰,只有對于對象的引用會被復(fù)制瘦棋,而不是對象本身

結(jié)構(gòu)體也提供了 mutating 方法,它們只能在被聲明為 var 的結(jié)構(gòu)體變量上被調(diào)用(此時結(jié)構(gòu)體內(nèi)的變量也需要時var)

extension PointStruct{
    mutating func setStructToOrigin(){
        x = 0
        y = 0
    }
}

//一個 mutating 方法只作用于單一變量暖哨,完全不影響其它變量
var myPoint = PointStruct(x: 100, y: 100)
let otherPoint = myPoint
myPoint.setStructToOrigin()
otherPoint  // PointStruct(x: 100, y: 100)
myPoint  // PointStruct(x: 0, y: 0)

3.結(jié)構(gòu)體和類赌朋,是否可變

對于結(jié)構(gòu)體類型:如果結(jié)構(gòu)體內(nèi)的變量使用了var, 而結(jié)構(gòu)體變量使用的是let篇裁。那么結(jié)構(gòu)體內(nèi)的變量也不能被修改沛慢。

let struct{
var x :Int
var y:Int
}
//此時 結(jié)構(gòu)體內(nèi)的x和y不能改變。

對于結(jié)構(gòu)體類型:如果結(jié)構(gòu)體內(nèi)變量使用的是let达布,結(jié)構(gòu)體變量使用的是var团甲,那么結(jié)構(gòu)體變量可以被修改。

var struct{
let x :Int
let y:Int
}
//此時 結(jié)構(gòu)體內(nèi)的x和y不能改變黍聂。 結(jié)構(gòu)體變量可以改變躺苦。

4. 討論

面向?qū)ο蟮恼Z言中,對于方法而言产还,由于共享實例變量而產(chǎn)生耦合的情況十分常見匹厘。其結(jié)果就是,修改變量的同時可能會改變類中方法的行為

引用透明函數(shù):不依賴外部變量脐区,也不改變外部變量集乔。引用透明性是模塊化和可重用性的重要保證。

Swift更傾向于使用let坡椒。它降低了程序的復(fù)雜性扰路,使得編寫引用透明函數(shù)更加容易。

在Swift中倔叼,我們一般不會徹底避免使用可變狀態(tài)汗唱。在不少情況下,函數(shù)會在其內(nèi)部使用一些可變狀態(tài)丈攒。比如如下例子

func sum(integers: [Int]) -> Int {
    var result = 0
    for x in integers {
        result += x
    }
    return result    //result是可變的哩罪。但是不會暴露給用戶的接口授霸。
}
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市际插,隨后出現(xiàn)的幾起案子碘耳,更是在濱河造成了極大的恐慌,老刑警劉巖框弛,帶你破解...
    沈念sama閱讀 217,185評論 6 503
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件辛辨,死亡現(xiàn)場離奇詭異,居然都是意外死亡瑟枫,警方通過查閱死者的電腦和手機斗搞,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 92,652評論 3 393
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來慷妙,“玉大人僻焚,你說我怎么就攤上這事∠ダ蓿” “怎么了虑啤?”我有些...
    開封第一講書人閱讀 163,524評論 0 353
  • 文/不壞的土叔 我叫張陵,是天一觀的道長架馋。 經(jīng)常有香客問我狞山,道長,這世上最難降的妖魔是什么绩蜻? 我笑而不...
    開封第一講書人閱讀 58,339評論 1 293
  • 正文 為了忘掉前任铣墨,我火速辦了婚禮,結(jié)果婚禮上办绝,老公的妹妹穿的比我還像新娘伊约。我一直安慰自己,他們只是感情好孕蝉,可當(dāng)我...
    茶點故事閱讀 67,387評論 6 391
  • 文/花漫 我一把揭開白布屡律。 她就那樣靜靜地躺著,像睡著了一般降淮。 火紅的嫁衣襯著肌膚如雪超埋。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 51,287評論 1 301
  • 那天佳鳖,我揣著相機與錄音霍殴,去河邊找鬼。 笑死系吩,一個胖子當(dāng)著我的面吹牛来庭,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播穿挨,決...
    沈念sama閱讀 40,130評論 3 418
  • 文/蒼蘭香墨 我猛地睜開眼月弛,長吁一口氣:“原來是場噩夢啊……” “哼肴盏!你這毒婦竟也來了?” 一聲冷哼從身側(cè)響起帽衙,我...
    開封第一講書人閱讀 38,985評論 0 275
  • 序言:老撾萬榮一對情侶失蹤菜皂,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后厉萝,有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體恍飘,經(jīng)...
    沈念sama閱讀 45,420評論 1 313
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 37,617評論 3 334
  • 正文 我和宋清朗相戀三年冀泻,在試婚紗的時候發(fā)現(xiàn)自己被綠了常侣。 大學(xué)時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片蜡饵。...
    茶點故事閱讀 39,779評論 1 348
  • 序言:一個原本活蹦亂跳的男人離奇死亡弹渔,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出溯祸,到底是詐尸還是另有隱情肢专,我是刑警寧澤,帶...
    沈念sama閱讀 35,477評論 5 345
  • 正文 年R本政府宣布焦辅,位于F島的核電站博杖,受9級特大地震影響,放射性物質(zhì)發(fā)生泄漏筷登。R本人自食惡果不足惜剃根,卻給世界環(huán)境...
    茶點故事閱讀 41,088評論 3 328
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望前方。 院中可真熱鬧狈醉,春花似錦、人聲如沸惠险。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,716評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽班巩。三九已至渣慕,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間抱慌,已是汗流浹背逊桦。 一陣腳步聲響...
    開封第一講書人閱讀 32,857評論 1 269
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留抑进,地道東北人强经。 一個月前我還...
    沈念sama閱讀 47,876評論 2 370
  • 正文 我出身青樓,卻偏偏與公主長得像单匣,于是被迫代替她去往敵國和親夕凝。 傳聞我的和親對象是個殘疾皇子宝穗,可洞房花燭夜當(dāng)晚...
    茶點故事閱讀 44,700評論 2 354

推薦閱讀更多精彩內(nèi)容