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

评论
相关推荐
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年多没有更新了...

golang123报错问题

报图上错误,怎么解...

【开源】gnet: 一个轻量级且高性能的 Golang 网络库

Github 主页 https://github.com/panjf2000/gnet 简介 gnet 是一个基于 Event-Loop 事件驱动的高性能和轻量级网络库。这个库直接使用 epoll 和...

t2

tttttttttttttttttttttttt...

test

123456789...

读 "优雅关闭的 Go Web 服务器"

读 "优雅关闭的 Go Web 服务器" GitHub 仓库:https://github.com/stayfoo/stayfoo-hub 文章《优雅的关闭 Go Web 服务器》...

golang123监控安装配置

有问题同学将golang123的源码中的statsD安装配置成功的,分享一下配置过程呗。...

Golang Modules官方包管理

1 设置环境变量 GO111MODULE=auto2 初始化项目 go mod init my_project3 针对国外无法访问的包设置代理 GOPROXY=https://goproxy.io其他...

猎豹移动,直播业务,招聘 Golang 工程师【北京】

我的微信是 legenove, 邮箱是 liuguoyang@cmcm.com 我是这个团队的 leader,直接给自己团队招聘。 职位要求: 1.熟练掌握 Golang 语言,并有 2 年以上中大型...

部署后登录 Request failed with status code 404

Request failed with status code 404 怎么解决...

[深圳 梦享网路 ] Golang开发工程师招聘

岗位介绍 ** 如有意向:请联系: 陈小姐:TEL:18620870779 邮箱:chenpeiwen@clickwifi.net ** 办公地点:深圳市南山区软件产业基地科园路中科纳能大厦A栋403...

golang + qt5 开发的百度网盘不限速客户端

百度网不限速客户端,使用golang + qt5 开发,跨平台。代码注释详细,并有附有开发文档,gopher们快来支持下吧 官网: https://github.com/peterq/pan-ligh...