又一道比较运算符相关的面试题让我明白基础很重要

来自公众号：新世界杂货铺

比较运算不简单啊

我们先看一下上一期的投票结果：

首先，笔者自己选择了 true ，所以实际结果是 41% 的读者都选择了错误的答案。看到这个结果，笔者相信 上一篇文章 还是能够帮助到大家。

经过千辛万苦终于明白了上一道面试题是咋回事儿，这个时候却见面试官微微一笑道：“下面的输出结果是什么”。

type blankSt struct {
    a int
    _ string
}
bst1 := blankSt{1, "333"}
bst2 := struct {
    a int
    _ string
}{1, "555"}
fmt.Println(bst1 == bst2)

这里笔者先留个悬念，结果见后文。

类型声明

注意：本节不介绍语法等基础内容，主要描述一些名词以便于后文的理解。

类型声明将 标识符（类型名称） 绑定到 类型 ，其两种形式为类型定义和类型别名。

下面我们通过一个例子对 标识符 、 类型 和 defined type （后文会使用这个名词）进行解释：

// 类型别名
type t1 = struct{ x, y float64 }
// 类型定义
type t2 struct{ x, y float64 }

标识符（类型名称） ：在上面的例子中，t1,t2为标识符。

类型 ： struct{ x, y float64 } 为类型。

类型别名不会创建新的类型。在上述例子中 t1 和 struct{ x, y float64 } 是相同的类型。

类型定义会创建新的类型，且这个新类型又被叫做 defined type 。在上述例子中，新类型 t2 和 struct{ x, y float64 } 是不同的类型。

underlying type

定理一：

每一个类型T都有一个 underlying type （笔者称之为 原始类型 ，在后面文章中的原始类型均代表underlying type）。

定理二：如果T是预定义的 boolean 、 numeric 和 string 类型之一，或者是类型字面量则T的原始类型是其本身，否则T的原始类型为T在其类型声明中引用的类型的原始类型。

Go中的数组、结构体、指针、函数、interface{}、slice、map和channel类型均由类型字面量构成。下面以map为例：

type T map[int]string
var a map[int]string

在上面的例子中，T为map类型，a为map类型的变量，类型字面量均为 map[int]string 且根据定理二可知T的原始类型为 map[int]string 。

下面再看一个例子加深对原始类型的理解：

type (
    A1 = string
    A2 = A1
)

type (
    B1 string
    B2 B1
    B3 []B1
    B4 B3
)

上述例子中， string 、 A1 、 A2 、 B1 和 B2 的原始类型为 string 、 []B1 、 B3 和 B4 的原始类型为 []B1 。

类型相同

在Go中一个 defined type 类型总是和其他类型不同。类型相同情况如下：

1、两个数组长度相同且元素类型相同则这两个数组类型相同。

2、两个切片元素类型相同则这两个切片类型相同。

3、两个函数有相同数量的参数和相同数量的返回值，且对应位置的参数类型和返回值类型均相同则这两个函数类型相同。

4、如果两个指针具有相同的基本类型则这两个指针类型相同。

5、如果两个map具有相同类型的key和相同类型的元素则这两个map类型相同。

6、如果两个channel具有相同的元素类型且方向相同则这两个channel类型相同。

7、如果两个结构体具有相同数量的字段，且对应字段名称相同，类型相同并且标签相同则这两个结构体类型相同。对于不同包下面的结构体，只要包含未导出字段则这两个结构体类型不相同。

8、如果两个接口的方法数量和名称均相等，且相同名称的方法具有相同的函数类型则这两个接口类型相同。

类型可赋值

满足下列任意条件时，变量x能够赋值给类型为T的变量。

1、x的类型和T类型相同。

2、x的类型V和T具有相同的原始类型，并且V和T至少有一个不是 defined type 。

type (
    m1 map[int]string
    m2 m1
)
var map1 map[int]string = make(map[int]string)
var map2 m1 = map1
fmt.Println(map2)

map1和map2变量的原始类型为 map[int]string ，且满足只有map2是 defined type ，所以能够正常赋值。

var map3 m2 = map1
fmt.Println(map3)
var map4 m2 = map2

map3和map1同样满足条件，所以能够正常赋值。但是map4和map2不满足至少有一个不是 defined type 这一条件，故会编译报错。

3、T是interface{} 并且x的类型实现了T的所有方法。

4、x是双向通道，T是通道类型，x的类型V和T具有相同的元素类型，并且V和T中至少有一个不是 defined type 。

根据上面我们可以知道一个隐藏逻辑是，双向通道能够赋值给单向通道，但是单向通道不能赋值给双向通道。

var c1 chan int = make(chan int)
var c2 chan<- int = c1
fmt.Println(c2 == c1) // true
c1 = c2 // 编译错误：cannot use c2 (variable of type chan<- int) as chan int value in assignment

因为c1能够正常赋值给c2，所以根据前一篇文章的定理“在任何比较中，至少满足一个操作数能赋值给另一个操作数类型的变量”知c1和c2可比较。

5、x是预声明标识符 nil ，T是指针、函数、切片、map、channel或interface{}类型。

6、x是可由类型T的值表示的无类型常量。

type (
    str1 string
    str2 str1
)
const s1 = "1111"
var s3 str1 = s1
var s4 str2 = s1
fmt.Println(s3, s4) // 1111 1111

上述例子中，s1是无类型字符串常量故s1可以赋值给类型为str1和str2的变量。

下图是在vscode中当鼠标悬浮在变量s1上时给的提示。

注意：笔者在实际的验证过程中发现部分有类型的常量和变量在赋值时会编译报错。

const s2 string = "1111"
var s5 str1 = s2

上述代码在vscode中的错误为 cannot use s2 (constant "1111" of type string) as str1 value in variable declaration 。

看到上述编译报错，笔者顿时惊了，就算不满足第6点也应该满足第2点呀。抱着满是疑惑的心情笔者利用代码跳转，最后在 builtin.go 发现了 type string string 这样一条语句。

结合上述代码我们知道 str1 和 string 是由类型定义创建的新类型即 defined type ，所以 var s5 str1 = s2 也不满足第2点。

builtin.go 文件对 boolean 、 numeric 和 string 的类型均做了类型定义，下面以 int 做近一步验证：

type int1 int
var i1 int = 1
const i2 int = 1
var i3 int1 = i1 // cannot use i1 (variable of type int) as int1 value in variable declaration
var i4 int1 = i2 // cannot use i2 (constant 1 of type int) as int1 value in variable declaration

上述结果符合预期，因此我们在平时的开发中对于变量赋值的细节还需牢记于心。

分析总结

有了前面 类型相同 和 类型可赋值 两小节的基础知识我们按照下面步骤对本篇的面试题进行分析总结。

1、类型是否相同？

我们先列出面试题中需要比较的两个结构体：

type blankSt struct {
    a int
    _ string
}
struct {
    a int
    _ string
}

根据 类型相同 小节的第7点知，这两个结构体具有相同数量的字段，且对应字段名称相同、类型相同并且标签也相同，因此这两个结构体类型相同。

2、是否满足可赋值条件？

根据 类型可赋值 小节的第1点知，这两个结构体类型相同因此满足可赋值条件。

面试题中的两个结构体比较简单，下面笔者对结构体的不同场景进行补充。

• 结构体tag不同

type blankSt1 struct {
    a int `json:"a"`
    _ string
}
bst11 := struct {
    a int
    _ string
}{1, "555"}
var bst12 blankSt1 = bst11

上述代码在vscode中的报错为 cannot use bst11 (variable of type struct{a int; _ string}) as blankSt1 value in variable declaration 。两个结构体只要tag不同则这两个结构体类型不同，此时这两个结构体不满足任意可赋值条件。

• 结构体在不同包，且所有字段均导出

package ttt

type ST1 = struct {
    F string
}
var A = ST1{
    F: "1111",
}

package main

type st1 struct {
    F string
}

var st11 st1 = ttt.A
fmt.Println(st11) // output: {1111}

根据 类型相同 小节的第7点和 类型可赋值 小节的第1点知，ST1和st1类型相同且可赋值，因此上述代码能够正常运行

• 结构体在不同包，且包含未导出字段

package ttt
type ST2 = struct {
    F string
    a string
}
var B = ST2{
    F: "1111",
}
package main
type st2 struct {
    F string
    a string
}
var st21 st2 = ttt.B
fmt.Println(st21)

运行上述代码时出现 cannot use ttt.B (type struct { F string; ttt.a string }) as type st2 in assignment 错误。

由于st2和ST2类型不同且他们的原始类型分别为 struct { F string a string } 和 struct { F string; ttt.a string } ，所以ttt.b无法赋值给st21。

3、总结

blankSt 和 struct { a int _ string } 类型相同且满足可赋值条件，因此根据“在任何比较中，至少满足一个操作数能赋值给另一个操作数类型的变量”这一定理知面试题中的 bst1 和 bst2 可比较。

接下来根据上一篇文章提到的结构体比较规则知 bst1 和 bst2 相等，所以面试题最终输出结果为 true 。

如果不是再去研读一篇Go的基础语法，笔者还不知道曾经遗漏了这么多细节。“读书百遍其义自见”，古人诚不欺我！

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