Golang的反射reflect深入理解和樣本

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

[TOC]

【記錄於2018年2月】

程式設計語言中反射的概念

在電腦科學領域，反射是指一類應用，它們能夠自描述和自控制。也就是說，這類應用通過採用某種機制來實現對自己行為的描述（self-representation）和監測（examination），並能根據自身行為的狀態和結果，調整或修改應用所描述行為的狀態和相關的語義。

每種語言的反射模型都不同，並且有些語言根本不支援反射。Golang語言實現了反射，反射機制就是在運行時動態調用對象的方法和屬性，官方內建的reflect包就是反射相關的，只要包含這個包就可以使用。

多插一句，Golang的gRPC也是通過反射實現的。

interface 和 反射

在講反射之前，先來看看Golang關於類型設計的一些原則

• 變數包括（type, value）兩部分

  • 理解這一點就知道為什麼nil != nil了

• type 包括 static type和concrete type. 簡單來說 static type是你在編碼是看見的類型(如int、string)，concrete type是runtime系統看見的類型

• 類型斷言能否成功，取決於變數的concrete type，而不是static type. 因此，一個 reader變數如果它的concrete type也實現了write方法的話，它也可以被類型斷言為writer.

接下來要講的反射，就是建立在類型之上的，Golang的指定類型的變數的類型是靜態（也就是指定int、string這些的變數，它的type是static type），在建立變數的時候就已經確定，反射主要與Golang的interface類型相關（它的type是concrete type），只有interface類型才有反射一說。

在Golang的實現中，每個interface變數都有一個對應pair，pair中記錄了實際變數的值和類型:

(value, type)

value是實際變數值，type是實際變數的類型。一個interface{}類型的變數包含了2個指標，一個指標指向值的類型【對應concrete type】，另外一個指標指向實際的值【對應value】。

例如，建立類型為*os.File的變數，然後將其賦給一個介面變數r：

tty, err := os.OpenFile("/dev/tty", os.O_RDWR, 0)var r io.Readerr = tty

介面變數r的pair中將記錄如下資訊：(tty, *os.File)，這個pair在介面變數的連續賦值過程中是不變的，將介面變數r賦給另一個介面變數w:

var w io.Writerw = r.(io.Writer)

介面變數w的pair與r的pair相同，都是:(tty, *os.File)，即使w是空介面類型，pair也是不變的。

interface及其pair的存在，是Golang中實現反射的前提，理解了pair，就更容易理解反射。反射就是用來檢測儲存在介面變數內部(值value；類型concrete type) pair對的一種機制。

Golang的反射reflect

reflect的準系統TypeOf和ValueOf

既然反射就是用來檢測儲存在介面變數內部(值value；類型concrete type) pair對的一種機制。那麼在Golang的reflect反射包中有什麼樣的方式可以讓我們直接擷取到變數內部的資訊呢？ 它提供了兩種類型（或者說兩個方法）讓我們可以很容易的提供者變數內容，分別是reflect.ValueOf() 和 reflect.TypeOf()，看看官方的解釋

// ValueOf returns a new Value initialized to the concrete value// stored in the interface i.  ValueOf(nil) returns the zero func ValueOf(i interface{}) Value {...}翻譯一下：ValueOf用來擷取輸入參數介面中的資料的值，如果介面為空白則返回0// TypeOf returns the reflection Type that represents the dynamic type of i.// If i is a nil interface value, TypeOf returns nil.func TypeOf(i interface{}) Type {...}翻譯一下：TypeOf用來動態擷取輸入參數介面中的值的類型，如果介面為空白則返回nil

reflect.TypeOf()是擷取pair中的type，reflect.ValueOf()擷取pair中的value，樣本如下：

package mainimport ("fmt""reflect")func main() {var num float64 = 1.2345fmt.Println("type: ", reflect.TypeOf(num))fmt.Println("value: ", reflect.ValueOf(num))}運行結果:type:  float64value:  1.2345

說明

1. reflect.TypeOf： 直接給到了我們想要的type類型，如float64、int、各種pointer、struct 等等真實的類型

2. reflect.ValueOf：直接給到了我們想要的具體的值，如1.2345這個具體數值，或者類似&{1 "Allen.Wu" 25} 這樣的結構體struct的值

3. 也就是說明反射可以將“介面類型變數”轉換為“反射類型對象”，反射類型指的是reflect.Type和reflect.Value這兩種

從relfect.Value中擷取介面interface的資訊

當執行reflect.ValueOf(interface)之後，就得到了一個類型為”relfect.Value”變數，可以通過它本身的Interface()方法獲得介面變數的真實內容，然後可以通過類型判斷進行轉換，轉換為原有真實類型。不過，我們可能是已知原有類型，也有可能是未知原有類型，因此，下面分兩種情況進行說明。

已知原有類型【進行“強制轉換”】

已知類型後轉換為其對應的類型的做法如下，直接通過Interface方法然後強制轉換，如下：

realValue := value.Interface().(已知的類型)

樣本如下：

package mainimport ("fmt""reflect")func main() {var num float64 = 1.2345pointer := reflect.ValueOf(&num)value := reflect.ValueOf(num)// 可以理解為“強制轉換”，但是需要注意的時候，轉換的時候，如果轉換的類型不完全符合，則直接panic// Golang 對類型要求非常嚴格，類型一定要完全符合// 如下兩個，一個是*float64，一個是float64，如果弄混，則會panicconvertPointer := pointer.Interface().(*float64)convertValue := value.Interface().(float64)fmt.Println(convertPointer)fmt.Println(convertValue)}運行結果：0xc42000e2381.2345

說明

1. 轉換的時候，如果轉換的類型不完全符合，則直接panic，類型要求非常嚴格！
2. 轉換的時候，要區分是指標還是指
3. 也就是說反射可以將“反射類型對象”再重新轉換為“介面類型變數”

未知原有類型【遍曆探測其Filed】

很多情況下，我們可能並不知道其具體類型，那麼這個時候，該如何做呢？需要我們進行遍曆探測其Filed來得知，樣本如下:

package mainimport ("fmt""reflect")type User struct {Id   intName stringAge  int}func (u User) ReflectCallFunc() {fmt.Println("Allen.Wu ReflectCallFunc")}func main() {user := User{1, "Allen.Wu", 25}DoFiledAndMethod(user)}// 通過介面來擷取任意參數，然後一一揭曉func DoFiledAndMethod(input interface{}) {getType := reflect.TypeOf(input)fmt.Println("get Type is :", getType.Name())getValue := reflect.ValueOf(input)fmt.Println("get all Fields is:", getValue)// 擷取方法欄位// 1. 先擷取interface的reflect.Type，然後通過NumField進行遍曆// 2. 再通過reflect.Type的Field擷取其Field// 3. 最後通過Field的Interface()得到對應的valuefor i := 0; i < getType.NumField(); i++ {field := getType.Field(i)value := getValue.Field(i).Interface()fmt.Printf("%s: %v = %v\n", field.Name, field.Type, value)}// 擷取方法// 1. 先擷取interface的reflect.Type，然後通過.NumMethod進行遍曆for i := 0; i < getType.NumMethod(); i++ {m := getType.Method(i)fmt.Printf("%s: %v\n", m.Name, m.Type)}}運行結果：get Type is : Userget all Fields is: {1 Allen.Wu 25}Id: int = 1Name: string = Allen.WuAge: int = 25ReflectCallFunc: func(main.User)

說明

通過運行結果可以得知擷取未知類型的interface的具體變數及其類型的步驟為：

1. 先擷取interface的reflect.Type，然後通過NumField進行遍曆
2. 再通過reflect.Type的Field擷取其Field
3. 最後通過Field的Interface()得到對應的value

通過運行結果可以得知擷取未知類型的interface的所屬方法（函數）的步驟為：

1. 先擷取interface的reflect.Type，然後通過NumMethod進行遍曆
2. 再分別通過reflect.Type的Method擷取對應的真實的方法（函數）
3. 最後對結果取其Name和Type得知具體的方法名
4. 也就是說反射可以將“反射類型對象”再重新轉換為“介面類型變數”
5. struct 或者 struct 的嵌套都是一樣的判斷處理方式

通過reflect.Value設定實際變數的值

reflect.Value是通過reflect.ValueOf(X)獲得的，只有當X是指標的時候，才可以通過reflec.Value修改實際變數X的值，即：要修改反射類型的對象就一定要保證其值是“addressable”的。

樣本如下：

package mainimport ("fmt""reflect")func main() {var num float64 = 1.2345fmt.Println("old value of pointer:", num)// 通過reflect.ValueOf擷取num中的reflect.Value，注意，參數必須是指標才能修改其值pointer := reflect.ValueOf(&num)newValue := pointer.Elem()fmt.Println("type of pointer:", newValue.Type())fmt.Println("settability of pointer:", newValue.CanSet())// 重新賦值newValue.SetFloat(77)fmt.Println("new value of pointer:", num)////////////////////// 如果reflect.ValueOf的參數不是指標，會如何？pointer = reflect.ValueOf(num)//newValue = pointer.Elem() // 如果非指標，這裡直接panic，“panic: reflect: call of reflect.Value.Elem on float64 Value”}運行結果：old value of pointer: 1.2345type of pointer: float64settability of pointer: truenew value of pointer: 77

說明

1. 需要傳入的參數是* float64這個指標，然後可以通過pointer.Elem()去擷取所指向的Value，注意一定要是指標。
2. 如果傳入的參數不是指標，而是變數，那麼
   • 通過Elem擷取原始值對應的對象則直接panic
   • 通過CanSet方法查詢是否可以設定返回false
3. newValue.CantSet()表示是否可以重新設定其值，如果輸出的是true則可修改，否則不能修改，修改完之後再進行列印發現真的已經修改了。
4. reflect.Value.Elem() 表示擷取原始值對應的反射對象，只有原始對象才能修改，當前反射對象是不能修改的
5. 也就是說如果要修改反射類型對象，其值必須是“addressable”【對應的要傳入的是指標，同時要通過Elem方法擷取原始值對應的反射對象】
6. struct 或者 struct 的嵌套都是一樣的判斷處理方式

通過reflect.ValueOf來進行方法的調用

這算是一個進階用法了，前面我們只說到對類型、變數的幾種反射的用法，包括如何擷取其值、其類型、如果重新設定新值。但是在工程應用中，另外一個常用並且屬於進階的用法，就是通過reflect來進行方法【函數】的調用。比如我們要做架構工程的時候，需要可以隨意擴充方法，或者說使用者可以自訂方法，那麼我們通過什麼手段來擴充讓使用者能夠自訂呢？關鍵點在於使用者的自訂方法是未可知的，因此我們可以通過reflect來搞定

樣本如下：

package mainimport ("fmt""reflect")type User struct {Id   intName stringAge  int}func (u User) ReflectCallFuncHasArgs(name string, age int) {fmt.Println("ReflectCallFuncHasArgs name: ", name, ", age:", age, "and origal User.Name:", u.Name)}func (u User) ReflectCallFuncNoArgs() {fmt.Println("ReflectCallFuncNoArgs")}// 如何通過反射來進行方法的調用？// 本來可以用u.ReflectCallFuncXXX直接調用的，但是如果要通過反射，那麼首先要將方法註冊，也就是MethodByName，然後通過反射調動mv.Callfunc main() {user := User{1, "Allen.Wu", 25}// 1. 要通過反射來調用起對應的方法，必須要先通過reflect.ValueOf(interface)來擷取到reflect.Value，得到“反射類型對象”後才能做下一步處理getValue := reflect.ValueOf(user)// 一定要指定參數為正確的方法名// 2. 先看看帶有參數的調用方法methodValue := getValue.MethodByName("ReflectCallFuncHasArgs")args := []reflect.Value{reflect.ValueOf("wudebao"), reflect.ValueOf(30)}methodValue.Call(args)// 一定要指定參數為正確的方法名// 3. 再看看無參數的調用方法methodValue = getValue.MethodByName("ReflectCallFuncNoArgs")args = make([]reflect.Value, 0)methodValue.Call(args)}運行結果：ReflectCallFuncHasArgs name:  wudebao , age: 30 and origal User.Name: Allen.WuReflectCallFuncNoArgs

說明

1. 要通過反射來調用起對應的方法，必須要先通過reflect.ValueOf(interface)來擷取到reflect.Value，得到“反射類型對象”後才能做下一步處理

2. reflect.Value.MethodByName這.MethodByName，需要指定準確真實的方法名字，如果錯誤將直接panic，MethodByName返回一個函數值對應的reflect.Value方法的名字。

3. []reflect.Value，這個是最終需要調用的方法的參數，可以沒有或者一個或者多個，根據實際參數來定。

4. reflect.Value的 Call 這個方法，這個方法將最終調用真實的方法，參數務必保持一致，如果reflect.Value'Kind不是一個方法，那麼將直接panic。

5. 本來可以用u.ReflectCallFuncXXX直接調用的，但是如果要通過反射，那麼首先要將方法註冊，也就是MethodByName，然後通過反射調用methodValue.Call

Golang的反射reflect效能

Golang的反射很慢，這個和它的API設計有關。在 java 裡面，我們一般使用反射都是這樣來弄的。

Field field = clazz.getField("hello");field.get(obj1);field.get(obj2);

這個取得的反射物件類型是 java.lang.reflect.Field。它是可以複用的。只要傳入不同的obj，就可以取得這個obj上對應的 field。

但是Golang的反射不是這樣設計的:

type_ := reflect.TypeOf(obj)field, _ := type_.FieldByName("hello")

這裡取出來的 field 對象是 reflect.StructField 類型，但是它沒有辦法用來取得對應對象上的值。如果要取值，得用另外一套對object，而不是type的反射

type_ := reflect.ValueOf(obj)fieldValue := type_.FieldByName("hello")

這裡取出來的 fieldValue 類型是 reflect.Value，它是一個具體的值，而不是一個可複用的反射對象了，每次反射都需要malloc這個reflect.Value結構體，並且還涉及到GC。

小結

Golang reflect慢主要有兩個原因

1. 涉及到記憶體配置以及後續的GC；

2. reflect實現裡面有大量的枚舉，也就是for迴圈，比如類型之類的。

總結

上述詳細說明了Golang的反射reflect的各種功能和用法，都附帶有相應的樣本，相信能夠在工程應用中進行相應實踐，總結一下就是：

• 反射可以大大提高程式的靈活性，使得interface{}有更大的發揮餘地

  • 反射必須結合interface才玩得轉
  • 變數的type要是concrete type的（也就是interface變數）才有反射一說

• 反射可以將“介面類型變數”轉換為“反射類型對象”

  • 反射使用 TypeOf 和 ValueOf 函數從介面中擷取目標對象資訊

• 反射可以將“反射類型對象”轉換為“介面類型變數

  • reflect.value.Interface().(已知的類型)
  • 遍曆reflect.Type的Field擷取其Field

• 反射可以修改反射類型對象，但是其值必須是“addressable”

  • 想要利用反射修改對象狀態，前提是 interface.data 是 settable,即 pointer-interface

• 通過反射可以“動態”調用方法

• 因為Golang本身不支援模板，因此在以往需要使用模板的情境下往往就需要使用反射(reflect)來實現

參考連結

• The Go Blog : 其實看官方說明就足以了！

• 官方reflect-Kind

• Go語言的反射三定律

• Go基礎學習五之介面interface、反射reflection

• 提高 golang 的反射效能