go语言里面receiver应该定义成一个值还是指针

CodeGeek · · 341 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

go语言里面receiver应该定义成一个值还是指针,比如

func (s *MyStruct) pointerMethod() { } // method on pointer
func (s MyStruct)  valueMethod()   { } // method on value

哪种定义方式是满足需求的。

先举一个代码例子

package main

import "fmt"

type MyStruct struct { i1, i2, i3, i4 int }

func (h * MyStruct) incI2() { h.i2++ }
func (h   MyStruct) incI3() { h.i3++ }

func main() {
  h1 := MyStruct{0x1111, 0x2222, 0x3333, 0x4444}
  h2 := &h1

  h1.i1 = 11111111
  h1.incI2()
  h1.i1 = 22222222
  h1.incI3()
  h1.i1 = 33333333

  h2.incI2()
  h2.incI3()

  fmt.Printf("i2=%x, i3=%x\n", h1.i2, h2.i3)
}

运行结果为

$ go build main.go && ./main 
i2=2224, i3=3333

可以看到i2被加了两次, i3的值没有变化; 究其原因是因为incI2()方法的声明里面receiver是指针, 而incI3()是值。

FAQ里面有一个解答,作为值和作为指针的差异。https://golang.org/doc/faq#methods_on_values_or_pointers
思想很简单,就是我们把receiver看作一个参数,看你需要这个参数是传值,还是传指针。

func pointerMethod(s *MyStruct) { } // passing parameter as pointer
func valueMethod(s MyStruct)   { } // passing parameter as value

下面属于附件内容;看一下具体代码是怎么处理receiver作为值和作为指针的。

先看作为指针 incI2

caller的指令如下

    0x008a 00138 (/path/to/main.go:15) LEAQ    "".h1+64(SP), AX
    0x008f 00143 (/path/to/main.go:15) MOVQ    AX, (SP)
    0x0093 00147 (/path/to/main.go:15) PCDATA  $0, $1
    0x0093 00147 (/path/to/main.go:15) CALL    "".(*MyStruct).incI2(SB)

看到指令把h1的地址,传给AX,然后压入栈顶,再call inc2.

看callee(incI2)的代码

    0x0000 00000 (/path/to/main.go:7)  TEXT    "".(*MyStruct).incI2(SB), $16-8
    0x0000 00000 (/path/to/main.go:7)  SUBQ    $16, SP
    0x0004 00004 (/path/to/main.go:7)  MOVQ    BP, 8(SP)
    0x0009 00009 (/path/to/main.go:7)  LEAQ    8(SP), BP
    0x000e 00014 (/path/to/main.go:7)  FUNCDATA    $0, gclocals·a36216b97439c93dafebe03e7f0808b5(SB)
    0x000e 00014 (/path/to/main.go:7)  FUNCDATA    $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
    0x000e 00014 (/path/to/main.go:7)  MOVQ    "".h+24(FP), AX
    0x0013 00019 (/path/to/main.go:7)  TESTB   AL, (AX)
    0x0015 00021 (/path/to/main.go:7)  MOVQ    8(AX), AX
    0x0019 00025 (/path/to/main.go:7)  MOVQ    AX, ""..autotmp_0(SP)
    0x001d 00029 (/path/to/main.go:7)  MOVQ    "".h+24(FP), CX
    0x0022 00034 (/path/to/main.go:7)  TESTB   AL, (CX)
    0x0024 00036 (/path/to/main.go:7)  INCQ    AX
    0x0027 00039 (/path/to/main.go:7)  MOVQ    AX, 8(CX)
    0x002b 00043 (/path/to/main.go:7)  MOVQ    8(SP), BP
    0x0030 00048 (/path/to/main.go:7)  ADDQ    $16, SP
    0x0034 00052 (/path/to/main.go:7)  RET

再看作为值 incI3

caller的指令如下

    0x00a1 00161 (/path/to/main.go:17) MOVQ    "".h1+64(SP), AX
    0x00a6 00166 (/path/to/main.go:17) MOVQ    "".h1+72(SP), CX
    0x00ab 00171 (/path/to/main.go:17) MOVQ    "".h1+80(SP), DX
    0x00b0 00176 (/path/to/main.go:17) MOVQ    "".h1+88(SP), BX
    0x00b5 00181 (/path/to/main.go:17) MOVQ    AX, (SP)
    0x00b9 00185 (/path/to/main.go:17) MOVQ    CX, 8(SP)
    0x00be 00190 (/path/to/main.go:17) MOVQ    DX, 16(SP)
    0x00c3 00195 (/path/to/main.go:17) MOVQ    BX, 24(SP)
    0x00c8 00200 (/path/to/main.go:17) PCDATA  $0, $1
    0x00c8 00200 (/path/to/main.go:17) CALL    "".MyStruct.incI3(SB)

看到指令把h1的成员i1,i2,i3,i4的值,传给AX,CX,DX,BX,然后依次压入堆栈,再call incI2;看到和incI2的差别是把h1的值全部通过栈传入给了incI3,相当于复制了h1的内容,这就是传值;即把h1做了一份拷贝,把拷贝的内容传入incI3,而原来的h1保持不动。

看callee(incI3)的代码

    0x0000 00000 (/path/to/main.go:8)  TEXT    "".MyStruct.incI3(SB), $16-32
    0x0000 00000 (/path/to/main.go:8)  SUBQ    $16, SP
    0x0004 00004 (/path/to/main.go:8)  MOVQ    BP, 8(SP)
    0x0009 00009 (/path/to/main.go:8)  LEAQ    8(SP), BP
    0x000e 00014 (/path/to/main.go:8)  FUNCDATA    $0, gclocals·ff19ed39bdde8a01a800918ac3ef0ec7(SB)
    0x000e 00014 (/path/to/main.go:8)  FUNCDATA    $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
    0x000e 00014 (/path/to/main.go:8)  MOVQ    "".h+40(FP), AX
    0x0013 00019 (/path/to/main.go:8)  MOVQ    AX, ""..autotmp_1(SP)
    0x0017 00023 (/path/to/main.go:8)  INCQ    AX
    0x001a 00026 (/path/to/main.go:8)  MOVQ    AX, "".h+40(FP)
    0x001f 00031 (/path/to/main.go:8)  MOVQ    8(SP), BP
    0x0024 00036 (/path/to/main.go:8)  ADDQ    $16, SP
    0x0028 00040 (/path/to/main.go:8)  RET

对比incI2和incI3的实现代码,可以清楚看到实际上receiver就是被作为一个参数来处理的,用值和用指针的差异,就和参数是传值还是传指针一样的差异。


有疑问加站长微信联系(非本文作者)

本文来自:简书

感谢作者:CodeGeek

查看原文:go语言里面receiver应该定义成一个值还是指针

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

341 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传