识别存储在 go 接口中的实际类型

Question

在下面的代码中    var r io.Reader    c, _ := net.Dial("tcp", ":8080")    r = c     switch r.(type) {    case io.Reader:        fmt.Println("r implements the reader interface")        // fallthrough    case io.Writer:        fmt.Println("r implements the writer interface")    case net.Conn:        fmt.Println("r implements the conn interface")    }第一个case语句是始终执行的语句。如果我取消注释fallthrough代码将无法编译，因为fallthrough类型开关中不允许这样做如果我没记错，go接口有 2 个值：存储在接口中的实际类型（描述符）（例如io.Writer，io.Reader等）存储在其中的值既然r显然满足上述所有case陈述，那么找到存储在中的确切类型的方法是什么r？是不是只能通过反射才能完成这个锥体？

Answer 1

类型切换和类型断言可用于检查接口值是否包含具体类型的值（同时提取该具体类型的值）。如果您检查的类型（或断言类型）是接口类型（而不是具体类型），则如果具体类型实现给定的接口类型，则大小写将匹配（或断言将成立）。

net.Conn是一个接口，它是io.Reader和的超集io.Writer。如果某物 implements net.Conn，它也会自动实现io.Readerand io.Writer，所以如果你先检查io.Reader，那将匹配（如果类型也 implements net.Conn）。

如果您想使用类型开关检查已实现的接口，请先检查net.Conn，如果未实现，请列出io.Reader并io.Writer稍后。

switch r.(type) {

case net.Conn:

    fmt.Println("r implements the conn interface")

case io.Reader:

    fmt.Println("r implements the reader interface")

case io.Writer:

    fmt.Println("r implements the writer interface")

}

如果我没记错的话，go 接口有 2 个值：

存储在接口中的实际类型（描述符）（例如 io.Writer、io.Reader 等）

存储在其中的值

你没有错，但你错过了一个关键点：实际的具体类型。io.Conn并且io.Reader不是具体类型，它们是接口类型。

可能返回的示例具体net.Dial()类型是*net.TCPConn。

Answer 2

使用此代码查找值的具体类型：

var r io.Reader

c, _ := net.Dial("tcp", ":8080")

r = c 

fmt.Printf("The type of r is %T\n", r)

reflect 包也可用于查找具体类型：

t := reflect.TypeOf(r)

fmt.Println("The type of or is", t)

使用单独的 if 语句来检查对每个接口的支持。类型开关无法测试所有接口，因为该开关继续使用第一个匹配的类型。

if _, ok := r.(io.Reader); ok {

    // we know this already because r is an io.Reader

    fmt.Println("r implements the reader interface")

}

if _, ok := r.(io.Writer); ok {

    fmt.Println("r implements the writer interface")

}

if _. ok := r.(net.Conn); ok {

    fmt.Println("r implements the conn interface")

}

我们知道所有 if 语句中的条件都为 true，因为 in 的值r满足net.Conn接口。