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

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 161,513评论 4 369
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 68,312评论 1 305
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 111,124评论 0 254
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,529评论 0 217
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,937评论 3 295
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,913评论 1 224
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 32,084评论 2 317
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,816评论 0 205
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,593评论 1 249
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,788评论 2 253
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,267评论 1 265
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,601评论 3 261
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,265评论 3 241
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,158评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,953评论 0 201
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 36,066评论 2 285
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,852评论 2 277

推荐阅读更多精彩内容