【问题标题】:Using reflect to update value by reference when argument is not a pointer in go当参数不是go中的指针时,使用反射通过引用更新值
【发布时间】:2018-09-01 06:39:23
【问题描述】:

我在学习 go 中反射、指针和接口的基础知识时遇到了困难,所以这是另一个我似乎无法弄清楚的入门级问题。

这段代码做了我想做的事——我正在使用反射将另一条记录添加到作为接口键入的切片中。

package main

import (
  "reflect"
  "log"
)
type Person struct {
  Name string
}
func Add(slice interface{}) {
  s := reflect.ValueOf(slice).Elem()
  // in my actual code, p is declared via the use of reflect.New([Type])
  p := Person{Name:"Sam"}

  s.Set(reflect.Append(s,reflect.ValueOf(p)))
}

func main() {
  p := []Person{}
  Add(&p)
  log.Println(p)
}

如果我将 Add 和 main 函数更改为此,事情就不会按照我想要的方式工作。

func Add(slice interface{}) {
  s := reflect.ValueOf(&slice).Elem()
  p := Person{Name:"Sam"}

  s.Set(reflect.Append(reflect.ValueOf(slice),reflect.ValueOf(p)))
  log.Println(s)
}

func main() {
  p := []Person{}
  Add(p)
  log.Println(p)
}

也就是说,最后的log.Println(p) 并没有像我希望的那样显示包含Sam 记录的切片。 所以我的问题是我是否有可能让Add() 接收一个不是指针的切片,并且我仍然可以在Add() 中编写一些代码来产生我第一个场景中显示的结果?

我最近的很多问题都围绕着这种主题,所以我仍然需要一段时间才能弄清楚如何有效地使用反射包。

【问题讨论】:

    标签: go go-reflect


    【解决方案1】:

    不,如果不传递指向切片的指针,就不可能附加到函数中的切片。这与反射无关,而是与变量如何传递给函数有关。这是相同的代码,修改为不使用反射:

    package main
    
    import (
            "log"
    )
    
    type Person struct {
            Name string
    }
    
    func AddWithPtr(slicep interface{}) {
            sp := slicep.(*[]Person)
    
            // This modifies p1 itself, since *sp IS p1
            *sp = append(*sp, Person{"Sam"})
    }
    
    func Add(slice interface{}) {
            // s is now a copy of p2
            s := slice.([]Person)
    
            sp := &s
    
            // This modifies a copy of p2 (i.e. s), not p2 itself
            *sp = append(*sp, Person{"Sam"})
    }
    
    func main() {
            p1 := []Person{}
            // This passes a reference to p1
            AddWithPtr(&p1)
            log.Println("Add with pointer:   ", p1)
    
            p2 := []Person{}
            // This passes a copy of p2
            Add(p2)
            log.Println("Add without pointer:", p2)
    }
    

    (上面,当它说切片的“副本”时,并不意味着底层数据的副本 - 只是切片)

    当您传入一个切片时,该函数有效地获取一个新切片,该切片引用与原始数据相同的数据。追加到函数中的切片会增加新切片的长度,但不会改变传入的原始切片的长度。这就是为什么原始切片保持不变。

    【讨论】:

    • 谢谢,我对s := slice.([]Person) 这一行有疑问。我知道在这种特定情况下,复制是slice 类型断言的不良后果。但是有没有办法在没有这种不良后果的情况下获得对slice 基础数据的引用?我认为反映可能在这里有解决方案?
    • @John 表达式复制切片头,而不是后备数组。
    • 好吧,我想我将不得不重新阅读有关切片的教程,并记住切片就像一个指向数组的指针。当我将指针传递给指向数组的指针和指向数组的指针时,我必须注意。当我将指针复制到指向数组的指针时与当我将指针复制到数组时
    • 并且 append 函数会复制底层数组。如果我没有通过使用切片直接获得指针,我将在尝试复制时忘记哪个数组。
    • @John 是的,我确实发现 blog.golang.org/go-slices-usage-and-internalsblog.golang.org/laws-of-reflection 很有用。请注意, append() 并不总是复制底层数组。如果底层数组已满,它会创建一个副本。一件更有趣的事情 - 试试这个,看看你能不能解释发生了什么:a := [3]int{1, 2, 3}; b := a[0:1]; c := a[0:2]; b = 附加(b,9); fmt.Println(a, b, c)
    猜你喜欢
    • 1970-01-01
    • 2017-05-23
    • 2019-07-02
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2023-04-06
    相关资源
    最近更新 更多