Golang interface value 可以和具体类型 value 直接比较? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
The Go Programming Language
http://golang.org/
Go Playground
Go Projects
Revel Web Framework
kidlj
V2EX    Go 编程语言

Golang interface value 可以和具体类型value 直接比较?

  •  
  •   kidlj
    kidlj 2019-04-02 16:20:29 +08:00 3091 次点击
    这是一个创建于 2391 天前的主题,其中的信息可能已经有所发展或是发生改变。
    package main import ( "fmt" ) func main() { var s = "hello world" var x interface{} = s if x == s { fmt.Println("good") } else { fmt.Println("bad") } } 

    https://play.golang.org/p/PzEapDah_V4

    一直以为只有两个都是 interface value 才能互相比较,原来 interface value 也可以和具体类型的 value 直接比较。但是在 golang spec 文档里没找到关于这一点的说明。

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

    6 条回复    2019-04-03 09:41:50 +08:00
    takeoffyoung
        1
    takeoffyoung  
       2019-04-02 16:33:11 +08:00   1
    第一行不是说了嘛,能赋值即可。
    In any comparison, the first operand must be assignable to the type of the second operand, or vice versa.

    再者,interface 类型不是 concrete type,而是 static type,运行时不会关心 static type。
    kidlj
        2
    kidlj  
    OP
       2019-04-02 16:37:34 +08:00
    @kidlj 第一行说的是一个前提条件啊,后面的列表才是可比较项的具体定义。那里只列出了 interface value 比较的规则,没有列出 interface value 和 concrete type value 的比较规则:

    - Interface values are comparable. Two interface values are equal if they have identical dynamic types and equal dynamic values or if both have value nil.
    reus
        3
    reus  
       2019-04-02 16:59:09 +08:00   1
    @kidlj 看 Conversions 一节: https://golang.org/ref/spec#Conversions

    x is assignable to T.

    这样编译器就可以将其中一个操作数做隐式转换,这样就相当于做同样类型的比较,所以不需要特别说吧。
    kidlj
        4
    kidlj  
    OP
       2019-04-02 17:16:37 +08:00
    @reus 嗯,理解了。这个时候就跟向 interface value 赋值一样,进行了隐士转换,具体类型值变成了接口类型值。

    这样一来,就是比较两个 interface value 的问题了,确实没必要在 comparison operators spec 文档里对上述的这种情况进行特别说明。
    ggicci
        5
    ggicci  
       2019-04-03 00:23:20 +08:00   1
    明明是这行:

    >> A value x of non-interface type X and a value t of interface type T are comparable when values of type X are comparable and X implements T. They are equal if t's dynamic type is identical to X and t's dynamic value is equal to x.
    kidlj
        6
    kidlj  
    OP
       2019-04-03 09:41:50 +08:00
    @ggicci 哈哈哈感谢哦。我睁这么大眼睛竟然没看见这一行!好粗心。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     1617 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 22ms UTC 16:21 PVG 00:21 LAX 09:21 JFK 12:21
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86