switch语句中的switch表达式和case表达式之间的联系

旧城等待， 2022-03-25 14:00 317阅读 0赞

package main
    
    import "fmt"
    
    func main() {
    	value1 := [7]int8{0, 1, 2, 3, 4, 5, 6}
    	switch 1 + 3 {
    	case value1[0], value1[1]:
    		fmt.Println("0 or 1")
    	case value1[2], value1[3]:
    		fmt.Println("2 or 3")
    	case value1[4], value1[5], value1[6]:
    		fmt.Println("4 or 5 or 6")
    	}
    
    }

存在上述判断相等的操作（以下简称判等操作），switch语句对switch表达式的结果类型，以及各个case表达式中子表达式的结果类型都是有要求的。毕竟，在 Go 语言中，只有类型相同的值之间才有可能被允许进行判等操作。

如果switch表达式的结果值是无类型的常量，比如1 + 3的求值结果就是无类型的常量4，那么这个常量会被自动地转换为此种常量的默认类型的值，比如整数4的默认类型是int，又比如浮点数3.14的默认类型是float64。

因此，由于上述代码中的switch表达式的结果类型是int，而那些case表达式中子表达式的结果类型却是int8，它们的类型并不相同，所以这条switch语句是无法通过编译的。

package main
    
    import "fmt"
    
    func main() {
    	value2 := [7]int8{0, 1, 2, 3, 4, 5, 6}
    	switch value2[4] {
    	case 0, 1:
    		fmt.Println("0 or 1")
    	case 2, 3:
    		fmt.Println("2 or 3")
    	case 4, 5, 6:
    		fmt.Println("4 or 5 or 6")
    	}
    }

如果case表达式中子表达式的结果值是无类型的常量，那么它的类型会被自动地转换为switch表达式的结果类型，又由于上述那几个整数都可以被转换为int8类型的值，所以对这些表达式的结果值进行判等操作是没有问题的。

当然了，如果这里说的自动转换没能成功，那么switch语句照样通不过编译,，如下面的例子：

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIwODY3OTgx_size_16_color_FFFFFF_t_70][]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIwODY3OTgx_size_16_color_FFFFFF_t_70]: /images/20220325/b0c91a4b9bbe445c98d61fc4189e9389.png