douren5490 2018-02-14 15:25
浏览 149
已采纳

为什么接口中存储的值无法在Golang中寻址

Citing the golang wiki (https://github.com/golang/go/wiki/MethodSets#interfaces):

"The concrete value stored in an interface is not addressable, in the same way, that a map element is not addressable."

The question of map values not being addressable is explained here: Why are map values not addressable?

However, it is not clear regarding the interface. Why are they not addressable? Is this because of some hard design assumption?

  • 写回答

3条回答 默认 最新

  • dqdz6464 2018-02-19 21:44
    关注

    Why isn't a non-pointer value stored in an interface addressable? This is an excellent question, and the answer explains why an interface containing a non-pointer value can't be the receiver for a method with a pointer receiver, leading to the dreaded error:

    <type> does not implement <interface> (<name> method has pointer receiver)
    

    tl;dr

    A non-pointer value stored in an interface isn't addressable to maintain type integrity. For example, a pointer to A, which points to a value of type A in an interface, would be invalidated when a value of a different type B is subsequently stored in the interface.

    Because a non-pointer value stored in an interface isn't addressable, the compiler can't pass its address to a method with a pointer receiver.

    Long answer

    The answers I've seen online don't make much sense. For instance, this article says:

    The reason is that the value in an interface is in a hidden memory location, and so the compiler can’t automatically get a pointer to that memory for you (in Go parlance, this is known as being “not addressable”).

    It's true that the value stored in an interface is not addressable, but as far as I can see it's not because its stored in "a hidden memory location".

    Another common answer is:

    When an interface value is created, the value that is wrapped in the interface is copied. It is therefore not possible to take its address, and even if you did, using a pointer to the interface value would have unexpected effects (ie. unable to alter the original copied value).

    This makes no sense, since a pointer to a value copied into an interface would be no different than a pointer to a value copied into a concrete type; in both cases you can't alter the original copied value through the pointer to the copy.

    So why isn't a value stored in an interface addressable? The answer lies in the follow-on implications if it were addressable.

    Let's say you have an interface, I, and two types, A and B, which satisfy that interface:

    type I interface{}
    type A int
    type B string
    

    Create an A and store it in an I:

    func main() {
        var a A = 5
        var i I = a
        fmt.Printf("i is of type %T
    ", i)
    

    Let's pretend we could take the address of a value stored in an interface:

        var aPtr *A
        aPtr = &(i.(A)) // not allowed, but if it were...
    

    Now create a B and store it in i:

        var b B = "hello"
        i = b
        fmt.Printf("i is of type %T, aPtr is of type %T
    ", i, aPtr)
    }
    

    Here's the output:

    i is of type main.A
    i is of type main.B, aPtr is of type *main.A
    

    After putting a B into i, what is aPtr pointing to? aPtr was declared as pointing to an A, but t now contains a B, and aPtr is no longer a valid pointer to A.

    This, however is permitted:

        var aPtr *A
        var a2 A = i.(A)
        aPtr = &a2
    

    Because the second line makes a copy of the value in i.(A), and aPtr does not point to i.(A).

    So, why can't an interface containing a non-pointer value be the receiver for a method with a pointer receiver? Because a non-pointer value stored in an interface isn't addressable, so the compiler can't pass its address to a method with a pointer receiver.

    本回答被题主选为最佳回答 , 对您是否有帮助呢?
    评论
查看更多回答(2条)

报告相同问题?

悬赏问题

  • ¥15 PADS Logic 原理图
  • ¥15 PADS Logic 图标
  • ¥15 电脑和power bi环境都是英文如何将日期层次结构转换成英文
  • ¥20 气象站点数据求取中~
  • ¥15 如何获取APP内弹出的网址链接
  • ¥15 wifi 图标不见了 不知道怎么办 上不了网 变成小地球了
  • ¥50 STM32单片机传感器读取错误
  • ¥15 (关键词-阻抗匹配,HFSS,RFID标签天线)
  • ¥15 机器人轨迹规划相关问题
  • ¥15 word样式右侧翻页键消失