在做这道力扣题目的时候,用到了数组的==操作,所以我对可比较类型产生了疑惑:
438. 找到字符串中所有字母异位词 - 力扣(LeetCode)
题解:
Go
func findAnagrams(s string, p string) []int {
var result []int
if len(s) < len(p) {
return result
}
// 用固定长度数组统计字符频次,Go 中 [26]int 可以直接用 == 比较
var need [26]int // 目标字符串 p 的字符需求
var window [26]int // 当前窗口内的字符统计
// 先统计 p 中各字符出现次数
for i := 0; i < len(p); i++ {
need[p[i]-'a']++
}
left := 0 // 窗口左边界
// right 作为窗口右边界,从左向右逐位扫描字符串 s
for right := 0; right < len(s); right++ {
// 1. 扩大窗口:将 s[right] 加入当前窗口统计
window[s[right]-'a']++
// 2. 收缩窗口:当窗口内字符数量超过 len(p) 时,left 右移
// 始终保持窗口大小 <= len(p)
// 窗口当前大小 = right - left + 1
if right-left+1 > len(p) {
window[s[left]-'a']-- // 将左边界的字符移出窗口
left++ // 左边界右移一位
}
// 3. 检查:此时窗口大小恰好等于 len(p)(或初始阶段小于 len(p))
// 当窗口大小不足 len(p) 时,window 不可能等于 need,不会误触发
// 当窗口大小恰好为 len(p) 时,直接比较两个数组
if window == need {
// 找到一个异位词,记录其起始位置(即当前 left 的位置)
result = append(result, left)
}
}
return result
}
在 Go 语言中,可比较(comparable) 的类型是指可以直接使用 == 和 != 运算符进行相等性判断的类型。
根据 Go 语言规范,以下类型是 可以直接 == 比较 的:
1. 基本类型
-
布尔型 :
bool -
整数型 :
int,int8,int16,int32,int64,uint,uint8,uint16,uint32,uint64,uintptr -
浮点型 :
float32,float64(注意:NaN != NaN,这是 IEEE 754 标准规定) -
复数型 :
complex64,complex128 -
字符串型 :
string
2. 复合类型(有条件可比较)
-
数组(Array) :当且仅当数组的元素类型是可比较的,且两个数组长度相同时 ,可以直接用
==比较。 ✅ 代码中的[26]int就是典型的例子------int可比较,数组长度固定为 26,所以window == need完全合法。 -
结构体(Struct) :当且仅当结构体的所有字段都是可比较类型时 ,整个结构体可以直接用
==比较。
3. 引用类型(部分可比较)
-
指针(Pointer):比较的是内存地址是否相同。
-
通道(Channel):比较的是两个通道是否引用同一个底层通道结构。
-
接口(Interface) :当两个接口的动态类型都是可比较类型,且动态值相等时,
==为true。如果动态类型包含切片、map、函数等不可比较类型,运行时会发生 panic。
❌ 不可直接用 == 比较的类型
以下类型绝对不可以 直接使用 ==:
| 类型 | 原因 |
|---|---|
| 切片(Slice) | 长度不固定,底层引用内存,Go 禁止直接比较 |
| 映射(Map) | 底层哈希表,无固定顺序,Go 禁止直接比较 |
| 函数(Func) | 函数值不可比较(只能与 nil 比较) |
如果你想比较切片或 map 的内容是否相同,必须手动遍历元素逐一比较,或使用
reflect.DeepEqual()(但性能较差,不推荐在热路径使用)。
关于代码中的数组比较
var need [26]int
var window [26]int
// ...
if window == need { // ✅ 完全合法
这里 [26]int 是数组 (Array),不是切片(Slice)。数组在 Go 中是值类型,长度是类型的一部分,[26]int 和 [27]int 是两种不同的类型。因为 int 可比较,所以由 int 组成的固定长度数组也可比较。
常见误区 :很多初学者会把 []int(切片)和 [26]int(数组)混淆,切片是不能用 == 比较的,但数组可以。