Method Sets (Pointer vs Value Receiver)

前端 未结 2 481
隐瞒了意图╮
隐瞒了意图╮ 2020-11-29 04:00

I am having a hard time understanding as to why are these rules associated with method set of pointer type .vs. value type

Can someone please explain the reason (fro

相关标签:
2条回答
  • 2020-11-29 04:11

    From Golang FAQ:

    As the Go specification says, the method set of a type T consists of all methods with receiver type T, while that of the corresponding pointer type *T consists of all methods with receiver *T or T. That means the method set of *T includes that of T, but not the reverse.

    This distinction arises because if an interface value contains a pointer *T, a method call can obtain a value by dereferencing the pointer, but if an interface value contains a value T, there is no safe way for a method call to obtain a pointer. (Doing so would allow a method to modify the contents of the value inside the interface, which is not permitted by the language specification.)

    Even in cases where the compiler could take the address of a value to pass to the method, if the method modifies the value the changes will be lost in the caller. As an example, if the Write method of bytes.Buffer used a value receiver rather than a pointer, this code:

    var buf bytes.Buffer
    io.Copy(buf, os.Stdin)
    

    would copy standard input into a copy of buf, not into buf itself. This is almost never the desired behavior.

    About Golang interface under the hood.

    • Go interface by Lance Taylor
    • Go interface by Russ Cox
    0 讨论(0)
  • 2020-11-29 04:30
    1. If you have a *T you can call methods that have a receiver type of *T as well as methods that have a receiver type of T (the passage you quoted, Method Sets).
    2. If you have a T and it is addressable you can call methods that have a receiver type of *T as well as methods that have a receiver type of T, because the method call t.Meth() will be equivalent to (&t).Meth() (Calls).
    3. If you have a T and it isn't addressable, you can only call methods that have a receiver type of T, not *T.
    4. If you have an interface I, and some or all of the methods in I's method set are provided by methods with a receiver of *T (with the remainder being provided by methods with a receiver of T), then *T satisfies the interface I, but T doesn't. That is because *T's method set includes T's, but not the other way around (back to the first point again).

    In short, you can mix and match methods with value receivers and methods with pointer receivers, and use them with variables containing values and pointers, without worrying about which is which. Both will work, and the syntax is the same. However, if methods with pointer receivers are needed to satisfy an interface, then only a pointer will be assignable to the interface — a value won't be valid.

    0 讨论(0)
提交回复
热议问题