将Go接口{}直接比较为内置类型:为什么这样做？

Question

为什么以下Go代码有效？

也就是说,由于类型的f和b是interface{}(而不是任何bool,int或string),怎么可能对我来说,与脱身不是铸造或类型的断言f,并b在三个的if声明？

package main

import (
    "fmt"
    "reflect"
)

func foop(p map[string]interface{}) {
    p["foo"] = true
}

func barp(p map[string]interface{}) {
    p["bar"] = 17
}

func foop2(p map[string]interface{}) {
    p["foo"] = "blah"
}

func main() {
    p := make(map[string]interface{})
    fmt.Printf("%v\n", p)

    foop(p)
    barp(p)
    f := p["foo"]
    b := p["bar"]
    fmt.Printf("f: %T\n", f)
    if f == true {
        fmt.Println("ok")
    }
    fmt.Printf("b: %T\n", b)
    if b == 17 {
        fmt.Println("ok")
    }

    foop2(p)
    f = p["foo"]
    if f == "blah" {
        fmt.Println("ok")
    }
    fmt.Printf("f: %T\n", f)
    fmt.Printf("f: %s\n", reflect.TypeOf(f))
}

(去游乐场:https://play.golang.org/p/kPi25yW6tF)

Answer 1

与大多数Go语言问题一样,答案在Go编程语言规范中,特别是有关比较运算符的部分.

当类型X的值可比较且X实现T时,非接口类型X的值x和接口类型T的值t是可比较的.如果t的动态类型与X相同并且t的动态值等于x,则它们相等. .