Block、閉包、lambda表達式和匿名函數

簡介

在函數式編程時,經常會使用到閉包。在很多編程語言中,都有類似閉包的概念。比如Objective-C,Ruby中有Block,C++ 11、LISP、Python和Java中有lambda表達式,Lua和JavaScript中有閉包。
和普通函數相比,Lambda、closure和block是一個東西,只是不同語言的不同稱呼,它們都是匿名函數。若匿名函數捕獲了一個外部變量,那么它就是一個closure。
用一句話來表示Blocks的擴充功能:帶有自動變量(局部變量)的匿名函數。顧名思義,所謂匿名函數就是不帶有名稱的函數。

作用

簡單說,引入它們的作用有2個:

簡潔

首先說簡潔,匿名函數可以在其他函數內部聲明與定義,不用另外寫個命名函數。比如一個方法只在這一處使用,我們就沒有必要創建方法然后調用,我們可以直接在其他函數內部聲明定義,這樣也無需在其他地方查找。

捕獲變量

捕獲變量就是讓匿名函數可以使用匿名函數外定義的變量,但是匿名函數內的函數外變量是外部變量的一個克隆。Objective-C 中有__block,也可以直接改變外部變量的值,

Objective-C 中的 block

下面從 OC 的角度理解一下 block,在《Objective-C高級編程》中詳細介紹了 block 的實現原理。我們可以利用clang這個工具將 block 代碼轉換成C++源碼來分析。我們在 main.m 文件中實現一段簡單的 block 代碼:

int main () {
  void (^blk)() = ^() {
      int a = 0;
  };
  blk();
}

接下來,我們使用 clang -rewrite-objc main.m 命令轉換為C++源碼:

struct __block_impl {
  void *isa;
  int Flags;
  int Reserved;
  void *FuncPtr;
};

// block 的結構體
struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

// block 實現的方法,impl.FuncPtr 指向該結構體
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int a = 0;
 }

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};

// main 函數
int main () {
  // 創建了一個__main_block_impl_0結構體的一個實例
  void (*blk)() = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
  // 通過函數指針 blk 調用函數 FnucPtr,傳入的參數為指針 blk 本身
  ((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
}

從源碼中可以看到,block 本質是一個指針結構體,執行block,相當于執行block 里面 FnucPtr 里面的函數指針。

詳細的資料參考《Objective-C高級編程》或者blog https://www.cnblogs.com/chenxianming/p/5554395.html

其他語言使用

匿名函數、lambda、closure在各個語言中的使用方式:

Objective-C

在ObjectC中,匿名函數被稱為blocks(塊),即可以改變捕獲的原值、又可以捕獲克隆、但不能改變克隆值的值。捕獲并改變外部值,需要用__block,否則復制語句會報錯,使用代碼如下:

__block int a = 10;
int (^blockFunc)(int p) = ^(int p) {
    a += p;
    return a;
};

NSLog(@"blockFunc:%d, a:%d", blockFunc(4), a);

閉包可能會存在循環引用,需要使用弱引用.

MyViewController *myController = [[MyViewController alloc] init…];
// ...
MyViewController * __weak weakMyController = myController;
myController.completionHandler =  ^(NSInteger result) {
    MyViewController *strongMyController = weakMyController;

  if (strongMyController) {
        // ...
        [strongMyController dismissViewControllerAnimated:YES completion:nil];
        // ...
    }
    else {
        // Probably nothing...
    }
};

Swift

Swift 中的閉包與 C 和 Objective-C 中的代碼塊(blocks)以及其他一些編程語言中的匿名函數比較相似。

閉包可以捕獲和存儲其所在上下文中任意常量和變量的引用。被稱為包裹常量和變量。 Swift 會為你管理在捕獲過程中涉及到的所有內存操作。

let names = ["Chris", "Alex", "Ewa", "Barry", "Daniella"]

func backward(_ s1: String, _ s2: String) -> Bool {
    return s1 > s2
}
var reversedNames = names.sorted(by: backward)

// 閉包表達式語法
reversedNames = names.sorted(by: { (s1: String, s2: String) -> Bool in return s1 > s2 } )

// 根據上下文推斷類型
reversedNames = names.sorted(by: { s1, s2 in return s1 > s2 } )

// 單表達式閉包隱式返回
reversedNames = names.sorted(by: { s1, s2 in s1 > s2 } )

// 參數名稱縮寫
reversedNames = names.sorted(by: { $0 > $1 } )

// 運算符方法
reversedNames = names.sorted(by: >)

閉包中也可能存在循環引用,Swift 提供了兩種辦法用來解決你在使用類的屬性時所遇到的循環強引用問題:弱引用(weak reference)和無主引用(unowned reference)。
弱引用和無主引用允許循環引用中的一個實例引用而另外一個實例不保持強引用。這樣實例能夠互相引用而不產生循環強引用。

  • 如果捕獲(比如 self)可以被設置為 nil,也就是說它可能在閉包前被銷毀,那么就要將捕獲定義為 weak。
  • 如果它們一直是相互引用,即同時銷毀的,那么就可以將捕獲定義為 unowned。

本質上來說,閉包作為一個引用類型,解決循環引用的方式和解決類對象之間的循環引用是一樣的,如果引起循環引用的"捕獲"不能為nil,就把它定義為unowned,否則,定義為weak。而指定“捕獲”方式的地方,叫做閉包的薄或列表。

Javascript

function makeFunc() {
    var name = "Mozilla";
    function displayName() {
        alert(name);
    }
    return displayName;
}

var myFunc = makeFunc();
myFunc();

JavaScript中的函數會形成閉包。 閉包是由函數以及創建該函數的詞法環境組合而成。這個環境包含了這個閉包創建時所能訪問的所有局部變量。在我們的例子中,myFunc 是執行 makeFunc 時創建的 displayName 函數實例的引用,而 displayName 實例仍可訪問其詞法作用域中的變量,即可以訪問到 name。

Python

在Python中的匿名函數被稱為lambda,只能捕獲值,且不能改變值。以map()函數為例,計算f(x)=x^2時,除了定義一個f(x)的函數外,還可以直接傳入匿名函數:

list(map(lambda x: x * x, [1, 2, 3, 4, 5, 6, 7, 8, 9]))

匿名函數lambda x: x * x實際上就是:

def f(x):
    return x * x

匿名函數也是一個函數對象,也可以把匿名函數賦值給一個變量,再利用變量來調用該函數:

f = lambda x: x * x

同樣,也可以把匿名函數作為返回值返回,比如:

def build(x, y):
    return lambda: x * x + y * y
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 228,786評論 6 534
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,656評論 3 419
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 176,697評論 0 379
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 63,098評論 1 314
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,855評論 6 410
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 55,254評論 1 324
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,322評論 3 442
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,473評論 0 289
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 49,014評論 1 335
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,833評論 3 355
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 43,016評論 1 371
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,568評論 5 362
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,273評論 3 347
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,680評論 0 26
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 35,946評論 1 288
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,730評論 3 393
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 48,006評論 2 374

推薦閱讀更多精彩內容