go——反射

反射(reflect)让我们能在运行期探知对象地类型信息和内存结构,这从一定程度上弥补了静态语言在动态行为上地不足。
和C数据结构一样,Go对象头部并没有类型指针,通过其自身是无法在运行期获知任何类型相关信息地。
反射操作所需地全部信息都源自接口变量。接口变量除存储自身类型外,还会保存实际对象地类型数据。

1
2
func TypeOf(i interface{}) Type
func ValueOf(i interface{}) Value

这两个反射入口函数,会将任何传入的对象转换为接口类型
在面对类型时,需要区分Type和Kind。前者表示真实类型(静态类型),后者表示其基础结构(底层类型)类别。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
package main
 
import (
    "fmt"
    "reflect"
)
 
type X int
 
func main() {
    var a X = 100
    t := reflect.TypeOf(a)
 
    fmt.Println(t.Name(), t.Kind()) //X  int
}

 

所以在类型判断上,须选择正确方式。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
package main
 
import (
    "fmt"
    "reflect"
)
 
type X int
type Y int
 
func main() {
    var a, b X = 100, 200
    var c Y = 300
 
    ta, tb, tc := reflect.TypeOf(a), reflect.TypeOf(b), reflect.TypeOf(c)
    fmt.Println(ta) //main.X
    fmt.Println(tb) //main.X
    fmt.Println(tc) //main.Y
 
    fmt.Println(ta == tb, ta == tc)     //true false
    fmt.Println(ta.Kind() == tc.Kind()) //true
}

 

除通过实践对象获取类型外,也可以直接构造一些基础复合类型。

1
2
3
4
5
6
7
8
9
10
11
12
13
package main
 
import (
    "fmt"
    "reflect"
)
 
func main() {
    a := reflect.ArrayOf(10, reflect.TypeOf(byte(0)))
    m := reflect.MapOf(reflect.TypeOf(""), reflect.TypeOf(0))
 
    fmt.Println(a, m) //[10]uint8 map[string]int
}

 

传入对象应区分基类型和指针类型,因为它们并不属于同一类型。
方法Elem返回指针、数组、切片、字典(值)或通道地基类型。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
package main
 
import (
    "fmt"
    "reflect"
)
 
func main() {
    x := 100
 
    tx, tp := reflect.TypeOf(x), reflect.TypeOf(&x)
 
    fmt.Println(tx, tp, tx == tp)     //int *int false
    fmt.Println(tx.Kind(), tp.Kind()) //int ptr
    fmt.Println(tx == tp.Elem())      //true
 
    fmt.Println(reflect.TypeOf(map[string]int{}).Elem()) //int
    fmt.Println(reflect.TypeOf([]int32{}).Elem())        //int32
}

 

只有在获取结构体指针地基类型之后,才能遍历它的字段。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
package main
 
import (
    "fmt"
    "reflect"
)
 
type user struct {
    name string
    age  int
}
 
type manager struct {
    user  //只有类型而没有名字,所以属于匿名字段
    title string
}
 
func main() {
    var m manager
    t := reflect.TypeOf(&m) //类型属性信息
    fmt.Println(t)          //*main.manager
 
    if t.Kind() == reflect.Ptr { //是否为指针类型
        t = t.Elem()
    }
    fmt.Println(t.NumField())           //2
    for i := 0; i < t.NumField(); i++ { //类型属性中包含地的字段
        f := t.Field(i) //取具体的字段
        fmt.Println(f.Name, f.Type, f.Offset)
 
        if f.Anonymous { //输出匿名字段结构
            for x := 0; x < f.Type.NumField(); x++ {
                af := f.Type.Field(x)
                fmt.Println("  ", af.Name, af.Type)
            }
        }
    }
}
 
/*
user main.user 0
   name string
   age int
title string 24
*/

 

对于匿名字段,可用于多级索引(按定义顺序)直接访问。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
package main
 
import (
    "fmt"
    "reflect"
)
 
type user struct {
    name string
    age  int
}
 
type manager struct {
    user
    title string
}
 
func main() {
    var m manager
 
    t := reflect.TypeOf(m)
    fmt.Println(t)                    //main.manager
    name, _ := t.FieldByName("name"//按照字段名称查找,
    fmt.Println(name)                 //{name main string  0 [0 0] false}  取到的是一个对象实体
    fmt.Println(name.Name, name.Type) //name string
 
    age := t.FieldByIndex([]int{0, 1}) //按多级索引查找  //0——》user  1——》age
    fmt.Println(age.Name, age.Type)    //age int
}

 

FieldByName不支持多级名称,如有遮蔽,需通过匿名字段二次获取。

同样,输出方法集时,一样区分基类型和指针类型。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
package main
 
import (
    "fmt"
    "reflect"
)
 
type A int
 
type B struct {
    A
}
 
func (A) av()  {}
func (*A) ap() {}
func (B) bv()  {}
func (*B) bp() {}
 
func main() {
    var b B
    t := reflect.TypeOf(&b)
    s := []reflect.Type{t, t.Elem()}
 
    for _, t := range s {
        fmt.Println(t, ":")
 
        for i := 0; i < t.NumMethod(); i++ {
            fmt.Println("  ", t.Method(i))
        }
    }
}

 

有一点和想象不同,反射能探知当前包或外包的非导出结构成员
相对reflect而言,当前包和外包都是“外包”。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
package main
 
import (
    "fmt"
    "net/http"
    "reflect"
)
 
func main() {
    var s http.Server
    t := reflect.TypeOf(s)
 
    for i := 0; i < t.NumField(); i++ {
        fmt.Println(t.Field(i).Name)
    }
}
 
/*
Addr
Handler
TLSConfig
ReadTimeout
ReadHeaderTimeout
WriteTimeout
IdleTimeout
MaxHeaderBytes
TLSNextProto
ConnState
ErrorLog
disableKeepAlives
inShutdown
nextProtoOnce
nextProtoErr
mu
listeners
activeConn
doneChan
onShutdown
*/

 

可用反射提取struct tag,还能自动分解。其常用于ORM映射,或数据格式验证。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
package main
 
import (
    "fmt"
    "reflect"
)
 
type user struct {
    name string `field:"name" type:"varchar(50)"`
    age  int    `field:"age"  type:"int"`
}
 
func main() {
    var u user
    t := reflect.TypeOf(u)
    for i := 0; i < t.NumField(); i++ {
        f := t.Field(i)
        fmt.Printf("%s:%s %s\n", f.Name, f.Tag.Get("field"), f.Tag.Get("type"))
    }
}
 
/*
name:name varchar(50)
age:age int
*/

 

和Type获取类型信息不同,value专注于对象实例数据读写。
之前说过,接口变量会赋值对象,且是unaddressable的,所以要想修改目标对象,就必须使用指针。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
package main
 
import (
    "fmt"
    "reflect"
)
 
func main() {
    a := 100
    va, vp := reflect.ValueOf(a), reflect.ValueOf(&a).Elem()
 
    fmt.Println(va.CanAddr(), va.CanSet()) //false false
    fmt.Println(vp.CanAddr(), vp.CanSet()) //true true
}

就算传入指针,一样需要通过Elem获取目标对象。
因为被接口存储的指针本身是不能寻址和进行设置操作的。

注意,不能对非导出字段直接进行设置操作,无论是当前包还是外包。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
package main
 
import (
    "fmt"
    "reflect"
    "unsafe"
)
 
type User struct {
    Name string
    code int
}
 
func main() {
    p := new(User)
    v := reflect.ValueOf(p).Elem()
 
    name := v.FieldByName("Name")
    code := v.FieldByName("code")
 
    fmt.Printf("name: canaddr = %v, canset = %v\n", name.CanAddr(), name.CanSet())
    fmt.Printf("code: canaddr = %v, canset = %v\n", code.CanAddr(), code.CanSet())
 
    if name.CanSet() {
        name.SetString("kebi")
    }
 
    if code.CanAddr() {
        *(*int)(unsafe.Pointer(code.UnsafeAddr())) = 100
    }
    fmt.Printf("%+v\n", *p)
}
 
/*
name: canaddr = true, canset = true
code: canaddr = true, canset = false
{Name:kebi code:100}
*/

 

可通过Interface方法进行类型推断和转换。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
package main
 
import (
    "fmt"
    "reflect"
)
 
func main() {
    type user struct {
        Name string
        Age  int
    }
 
    u := user{
        "kebi",
        26,
    }
 
    v := reflect.ValueOf(&u)
 
    if !v.CanInterface() {
        fmt.Println("caninterface:fail")
        return
    }
 
    p, ok := v.Interface().(*user)
    if !ok {
        fmt.Println("interface:fail")
        return
    }
    p.Age++
    fmt.Printf("%+v\n", u) //{Name:kebi Age:27}
}

 

也可以直接使用value.Int,Bool等方法进行类型转换,但失败时会引发panic,且不支持ok-idiom。
复合类型对象设置示例。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
package main
 
import (
    "fmt"
    "reflect"
)
 
func main() {
    c := make(chan int, 4)
    v := reflect.ValueOf(c)
 
    if v.TrySend(reflect.ValueOf(100)) {
        fmt.Println(v.TryRecv()) //100 true
    }
}

 

接口有两种nil状态,这是一个潜在麻烦。解决方法是用IsNil判断值是否为nil。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
package main
 
import (
    "fmt"
    "reflect"
)
 
func main() {
    var a interface{} = nil
    var b interface{} = (*int)(nil)
 
    fmt.Println(a == nil)                             //true
    fmt.Println(b == nil, reflect.ValueOf(b).IsNil()) //false  true
}

 

也可用unsafe转换后直接判断iface.data是否为零值。

1
2
3
4
5
6
7
8
9
10
11
12
13
package main
 
import (
    "fmt"
    "unsafe"
)
 
func main() {
    var b interface{} = (*int)(nil)
    ifac := (*[2]uintptr)(unsafe.Pointer(&b))
 
    fmt.Println(ifac, ifac[1] == 0) //&[4825024 0] true
}

 

动态调用方法,只须按照in列表准备好所需参数即可。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
package main
 
import (
    "fmt"
    "reflect"
)
 
type X struct{} //结构体
 
func (X) Test(x, y int) (int, error) { //方法
    return x + y, fmt.Errorf("err: %d", x+y)
}
 
func main() {
    var a X
    v := reflect.ValueOf(&a)    //
    m := v.MethodByName("Test") //根据方法名获取程序实体
 
    in := []reflect.Value{ //构建切片数据
        reflect.ValueOf(1),
        reflect.ValueOf(2),
    }
 
    out := m.Call(in)
    for _, v := range out {
        fmt.Println(v)
    }
}
 
/*
3
err: 3
*/

 

对于变参来说,用CallSlice要更方便一些。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
package main
 
import (
    "fmt"
    "reflect"
)
 
type X struct{}
 
func (X) Format(s string, a ...interface{}) string {
    return fmt.Sprintf(s, a...)
}
 
func main() {
    var a X
 
    v := reflect.ValueOf(&a)
    m := v.MethodByName("Format")
 
    out := m.Call([]reflect.Value{
        reflect.ValueOf("%s = %d"),
        reflect.ValueOf("x"),
        reflect.ValueOf(100),
    })
 
    fmt.Println(out)
 
    out = m.CallSlice([]reflect.Value{
        reflect.ValueOf("%s = %d"),
        reflect.ValueOf([]interface{}{"x", 100}),
    })
    fmt.Println(out)
}
 
/*
[x = 100]
[x = 100]
*/

  

 

posted @   明王不动心  阅读(236)  评论(0编辑  收藏  举报
编辑推荐:
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
· SQL Server 2025 AI相关能力初探
· Linux系列:如何用 C#调用 C方法造成内存泄露
阅读排行:
· 终于写完轮子一部分:tcp代理 了,记录一下
· 震惊!C++程序真的从main开始吗?99%的程序员都答错了
· 别再用vector<bool>了!Google高级工程师:这可能是STL最大的设计失误
· 单元测试从入门到精通
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
点击右上角即可分享
微信分享提示