美文网首页Go程序员Golang语言社区
一个隐藏在方法集和方法调用中且易被忽略的小细节

一个隐藏在方法集和方法调用中且易被忽略的小细节

作者: Gopher指北 | 来源:发表于2020-11-02 09:40 被阅读0次

    来自公#众#号:新世界杂货铺

    作为一个长期从事Go语言开发的程序猿,笔者不敢说自己是老油条但也勉强算一个小油条。然而就在今天,笔者研究TLS/SSL握手源码的时候,突然灵光一闪,想到了一个和自己认知不符的现象,于是赶紧写了一个例子验证一番,结果当头一棒直到码这篇文章时依旧懵逼。

    话不多说,上锤!

    image

    不好意思,不是这个锤,是下面这个:

    type set interface {
        set1(s string)
        set2(s string)
    }
    type test struct {
        s string
    }
    func (t *test) set1(s string) {
        t.s = s
    }
    func (t test) set2(s string) {
        t.s = s
    }
    func main() {
        var (
            t1 test
            t2 = new(test)
        )
        t1.set1("1")
        fmt.Print(t1.s)
        t1.set2("2")
        fmt.Print(t1.s)
        t2.set1("3")
        fmt.Print(t2.s)
        t2.set2("4")
        fmt.Print(t2.s)
        fmt.Print(" ")
        _, ok1 := (interface{}(t1)).(set)
        _, ok2 := (interface{}(t2)).(set)
        fmt.Println(ok1, ok2)
    }
    

    正确答案笔者就不直接公布了,请各位读者耐心在后文寻找答案。

    方法集

    根据golang官方文档知道,一个类型有一个与之关联的方法集。接口类型的方法集是接口中定义的方法。

    官方文档中特别提到,类型T的方法集包含用T声明为Receiver的所有方法,而指针类型*T的方法集包含用T和*T声明的所有方法。

    此时,我们回到上面的例子可以很明显的知道下面这段代码输出为false true

    _, ok1 := (interface{}(t1)).(set)
    _, ok2 := (interface{}(t2)).(set)
    fmt.Println(ok1, ok2)
    

    T类型的方法集不包含*T类型的方法集,因此t1无法转为set接口类型。

    事实上,根据这部分官方文档笔者更加疑惑了,因为上述例子可以正常运行,而且类型为test的变量调用了(*test).set1方法。抱着这样的疑惑笔者疯狂谷狗,最后在stackoverflow的指导下发现了这种情况和方法调用有关。

    这里特别感谢一下谷狗和stackoverflow。

    方法调用

    方法调用笔者在这里仅说明和本篇相关的内容,其他细节相信各位读者都已经了然于胸。

    下面,先看看官方文档原文:

    A method call x.m() is valid if the method set of (the type of) x contains m and the argument list can be assigned to the parameter list of m. If x is addressable and &x's method set contains m, x.m() is shorthand for (&x).m()

    简单来说,如果x可寻址,且&x的方法集包含m,则x.m()(&x).m的缩写。这样前面的例子能够正常运行也在情理之中了。

    因此,前面例子的最终输出结果是:1133 false true

    如果读者对结构体中的值未发生改变有疑惑,请参考笔者的这篇文章——为什么go中的receiver name不推荐使用this或者self

    你以为你都懂了

    写完前面的方法集和方法调用笔者细细思考一番,确认没有其他遗漏的细节,于是放心的上了个厕所。结果厕所还没上完,立马想到一个问题(额外多扯一句,笔者经常在上厕所的时候找到灵感,这可能就是劳逸结合的最佳实践吧):

    type los string
    
    func (s los) p1() {
        fmt.Println(s)
    }
    
    func (s *los) p2() {
        fmt.Println(s)
    }
    
    func main() {
        var s1 los = "1111"
        var s2 *los = &s1
        const s3 los = "3333"
        s1.p1()
        s1.p2()
        s2.p1()
        s2.p2()
        s3.p1()
        s3.p2()
    }
    

    如果你对上面的代码没有任何疑问且认为上述代码能够正常运行,那只能说明你对本文的阅读还不够认真。

    我们先看看上述代码在vscode中的报错。

    image

    前面介绍方法调用时,如果x可寻址,则x可以调用&x的类型的方法集。上述代码s3是常量,是不可以寻址的,因此无法调用(*los).p2方法。

    以上,就是笔者曾经忽略的细节,现在回过头来看一看倒也充满了乐趣。

    彩蛋

    本篇是研究TLS/SSL握手流程的副产品,因为TLS/SSL握手流程笔者还在整理中,故这篇文章先行一步给个预告,下一期TLS/SSL握手流程敬请期待。

    最后,衷心希望本文能够对各位读者有一定的帮助。

    注:

    1. 写本文时, 笔者所用go版本为: go1.15.2
    2. 文章中所用完整例子:https://github.com/Isites/go-coder/blob/master/receiver/main.go

    参考

    https://golang.org/ref/spec#Method_sets

    https://golang.org/ref/spec#Calls

    相关文章

      网友评论

        本文标题:一个隐藏在方法集和方法调用中且易被忽略的小细节

        本文链接:https://www.haomeiwen.com/subject/kpouvktx.html