go►dig101

Dig101-Go之如何在函数内修改指针指向

Dig101: dig more, simplified more and know more

今天来看一个小问题：如何在函数内部修改一个指针（参数或接收者）指向，使其值的改变能反映在函数外部？

直接上代码，这样可以么？

1
2
3
4
5
6
7
8
9
type ArgType struct {
  A string
  b int
}

func modifyPointerArg1(arg *ArgType) {
  arg = &ArgType{"arg1", 1}
  fmt.Println("inside modifyPointerArg1:", arg)
}

答案是【不可以】

等会分析，再看一个，这个呢？

1
2
3
4
func modifyPointerArg2(arg *ArgType) {
  *arg = ArgType{"arg2", 2}
  fmt.Println("inside modifyPointerArg2:", arg)
}

答案是【可以】

仔细看下，你应该就明白了。

第一个替换的是指针变量本身,

也就是在函数modifyPointerArg1的作用域内，其修改是有效

函数返回后，并不影响指针arg所指向的值（别忘了，Go参数传递是值传递嘛！）

至于modifyPointerArg2则是对指针解引用，修改了其指向的值

这样的方式其实还有很多，比如这个：

1
2
3
4
5
6
7
func modifyPointerArg3(arg *ArgType) {
  val := reflect.ValueOf(arg)
  val.Elem().FieldByName("A").SetString("arg3")
  fmt.Println("inside modifyPointerArg3:", arg)
  // val.Elem().FieldByName("b").SetInt(3)
  // panic: reflect: reflect.flag.mustBeAssignable using value obtained using unexported field
}

实际是利用反射的Elem()获取val的值

  • 如果其为空接口（empty interface），则获取其内部值（空接口值字段的类型是指针哦）
  • 如果其为指针（pointer），则获取其指向的值

获取到的结构如下

1
2
3
4
5
6
7
8
type Value struct {
    // 类型
    typ *rtype
    // 值指针
    ptr unsafe.Pointer
    // 标志位
  flag
}

然后对应类型修改时, 实际就是对指针解引用修改其指向的值

1
2
3
4
5
6
func (v Value) SetString(x string) {
  v.mustBeAssignable()
  v.mustBe(String)
  // 这里
  *(*string)(v.ptr) = x
}

Tips： 这里注意一点，不导出的字段（结构体内小写的字段）不能用此类方法修改，会panic！

再如：

1
2
3
4
func modifyPointerArg4(arg *ArgType) {
  jsonStr := `{"A":"arg4","b":4}`
  json.Unmarshal([]byte(jsonStr), arg)
}

内部实际也是用了反射修改指针指向的值

另外，把上边几个测试函数由指针参数换为指针接受者，也是一样的

比如：

1
2
3
4
func (arg *ArgType) modifyPointerReceiver4() {
  jsonStr := `{"A":"arg4","b":4}`
  json.Unmarshal([]byte(jsonStr), arg)
}

有兴趣可以去自行尝试下其他几个函数。

说了这么多，这样修改有啥用么？

常见的一个场景便是：

测试时，可以通过对接口实现对应的mock函数，改变参数或接收者，以达到排除依赖，进行单元测试的目的。

如有疑问，请文末留言交流或邮件：newbvirgil@gmail.com 本文链接 : https://newbmiao.github.io/2020/05/22/how-to-modify-a-pointer-of-go-inside.html