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