超级苦工
阅读 129
go语言里面receiver应该定义成一个值还是指针

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就是被作为一个参数来处理的,用值和用指针的差异,就和参数是传值还是传指针一样的差异。

评论
相关推荐
阿斯蒂芬萨芬的

55522 function app() { echo 'sdfsdf';...

阿斯蒂芬萨芬的

55522 function app() { echo 'sdfsdf'; }...

浅谈Go类型转换之间的那些事

试着答一答这些问题 s[i]和(for _,v range)的v的区别是什么 var s string = "AB" fmt.Println(reflect.TypeOf(s[0]...

Kubernetes安装多master集群

...

MongoDB备份与还原

...

CentOS中安装mongo shell

添加官方 MongoDB 仓库 $ echo '[mongodb-org-4.0] name=MongoDB Repository baseurl=https://repo.mongodb.o...

很漂亮的页面啊不错不错啊

很漂亮的页面啊不错不错啊...

在Kubernetes中部署第一个应用程序

...

在阿里云的ECS中安装Kubernetes

...

从0到1使用Kubernetes系列(二)——安装工具介绍

...

从0到1使用Kubernetes系列——Kubernetes入门

...

asdfasfdfd

asdfasdfsafd...

asdfafsdfsad

function sdf(){ echo "sdffsdfds"; }...

阿萨德飞

sdflkllsfdkj nihao...

【Golang+mysql】记一次mysql数据库迁移(一)

【Golang+mysql】记一次mysql数据库迁移(一) 文章地址:https://github.com/stayfoo/stayfoo-hub 一、准备 目标: 腾讯云 CVM 自建 mysql...

米粒社区系统什么部署?

发现现在一些功能还没开发或上线,不过感觉这个社区系统很强大,期待期待...

不错的网站

ceshi ceshi...

[译]想成为一个出色的Web工程师?学Golang而非Node.js。

原文: https://medium.com/codezillas/want-to-be-a-best-web-developer-learn-golang-not-node-js-69b4166d1...

跟我一起学习gRPC

扫描二维码,点击源码阅读菜单,跟我一起学习gRPC...

这个项目还会更新吗

这个项目github上1年多没有更新了...