# defer實現原理
## 1 defer數據結構
源碼包`src/src/runtime/runtime2.go:_defer`定義了defer的數據結構:
~~~go
type _defer struct {
sp uintptr //函數棧指針
pc uintptr //程序計數器
fn *funcval //函數地址
link *_defer //指向自身結構的指針,用于鏈接多個defer
}
~~~
我們知道defer后面一定要接一個函數的,所以defer的數據結構跟一般函數類似,也有棧地址、程序計數器、函數地址等等。
與函數不同的一點是它含有一個指針,可用于指向另一個defer,每個goroutine數據結構中實際上也有一個defer指針,該指針指向一個defer的單鏈表,每次聲明一個defer時就將defer插入到單鏈表表頭,每次執行defer時就從單鏈表表頭取出一個defer執行。
下圖展示多個defer被鏈接的過程:

從上圖可以看到,新聲明的defer總是添加到鏈表頭部。
函數返回前執行defer則是從鏈表首部依次取出執行,不再贅述。
一個goroutine可能連續調用多個函數,defer添加過程跟上述流程一致,進入函數時添加defer,離開函數時取出defer,所以即便調用多個函數,也總是能保證defer是按LIFO方式執行的
## 2 defer的創建和執行
源碼包`src/runtime/panic.go`定義了兩個方法分別用于創建defer和執行defer。
* deferproc(): 在聲明defer處調用,其將defer函數存入goroutine的鏈表中;
* deferreturn():在return指令,準確的講是在ret指令前調用,其將defer從goroutine鏈表中取出并執行。
可以簡單這么理解,在編譯階段,聲明defer處插入了函數deferproc(),在函數return前插入了函數deferreturn()
- 概述
- go語言基礎特性
- Go語言聲明
- Go項目構建及編譯
- go command
- 程序設計原則
- Go基礎
- 變量
- 常量
- iota
- 基本類型
- byte和rune類型
- 類型定義和類型別名
- 數組
- string
- 高效字符串連接
- string底層原理
- 運算符
- new
- make
- 指針
- 下劃線 & import
- 語法糖
- 簡短變量申明
- 流程控制
- ifelse
- switch
- select
- select實現原理
- select常見案例
- for
- range
- range實現原理
- 常見案例
- range陷阱
- Goto&Break&Continue
- Go函數
- 函數
- 可變參數函數
- 高階函數
- init函數和main函數
- 匿名函數
- 閉包
- 常用內置函數
- defer
- defer常見案例
- defer規則
- defer與函數返回值
- defer實現原理
- defer陷阱
- 數據結構
- slice
- slice內存布局
- slice&array
- slice底層實現
- slice陷阱
- map
- Map實現原理
- 集合
- List
- Set
- 線程安全數據結構
- sync.Map
- Concurrent Map
- 面向對象編程
- struct
- 匿名結構體&匿名字段
- 嵌套結構體
- 結構體的“繼承”
- struct tag
- 行為方法
- 方法與函數
- type Method Value & Method Expressions
- interface
- 類型斷言
- 多態
- 錯誤機制
- error
- 自定義錯誤
- panic&recover
- reflect
- reflect包
- 應用示例
- DeepEqual
- 反射-fillObjectField
- 反射-copyObject
- IO
- 讀取文件
- 寫文件
- bufio
- ioutil
- Go網絡編程
- tcp
- tcp粘包
- udp
- HTTP
- http服務
- httprouter
- webSocket
- go并發編程
- Goroutine
- thread vs goroutine
- Goroutine任務取消
- 通過channel廣播實現
- Context
- Goroutine調度機制
- goroutine調度器1.0
- GMP模型調度器
- 調度器竊取策略
- 調度器的生命周期
- 調度過程全解析
- channel
- 無緩沖的通道
- 緩沖信道
- 單向信道
- chan實現原理
- 共享內存并發機制
- mutex互斥鎖
- mutex
- mutex原理
- mutex模式
- RWLock
- 使用信道處理競態條件
- WaitGroup
- 工作池
- 并發任務
- once運行一次
- 僅需任意任務完成
- 所有任務完成
- 對象池
- 定時器Timer
- Timer
- Timer實現原理
- 周期性定時器Ticker
- Ticker對外接口
- ticker使用場景
- ticker實現原理
- ticker使用陷阱
- 包和依賴管理
- package
- 依賴管理
- 測試
- 單元測試
- 表格測試法
- Banchmark
- BDD
- 常用架構模式
- Pipe-filter pattern
- Micro Kernel
- JSON
- json-內置解析器
- easyjson
- 性能分析
- gc
- 工具類
- fmt
- Time
- builtin
- unsafe
- sync.pool
- atomic
- flag
- runtime
- strconv
- template