关于go结构体的禁止比较技巧

在 Go 中，结构体是否可比较（可以使用 == 或 != 进行比较）是编译器在编译期静态决定的特性。Go 的语言规范规定了如果一个结构体中包含不可比较的字段（如函数、切片、map 等），那么这个结构体整体也不可比较。

回到问题：为什么 _ [0]func() 能禁止结构体比较？

type Pointer struct {
	_ [0]func() // nocmp

	v unsafe.Pointer
}

分析如下：

1. [0]func() 是一个长度为 0 的数组，元素类型是函数类型 func()

   • 函数类型在 Go 中是不可比较的。

     var f1 func() = func() {}
     var f2 func() = func() {}
     fmt.Println(f1 == f2) // 编译错误！
     

2. 即使该数组长度为 0，只要其元素类型是不可比较的，整个结构体就不可比较

   • 即使这个数组字段实际上不占用任何内存空间，也不会影响运行时行为，但它会使得整个 struct 不可比较。

3. 匿名字段 _表示忽略名

   • 使用_ 忽略字段名意味着你不能访问它，也不会与其它字段冲突，仅用于控制结构体的属性。

总结：为什么这么做有效？

实验验证

以下代码将无法通过编译：

type S struct {
    _ [0]func()
}

func main() {
    var a, b S
    fmt.Println(a == b) // 编译错误：invalid operation
}

输出：

invalid operation: a == b (struct containing [0]func() cannot be compared)

应用场景

这种技巧常用于需要禁止用户误用结构体进行比较的场景，尤其是在封装了一些内部状态或同步逻辑的情况下。例如：

• 同步原语（如 Mutex、AtomicPointer）
• 包含指针或闭包的结构体
• 强调“引用语义”而非“值语义”的类型

✅ 结论：_ [0]func() 是一种经典的 Go 技巧，用于让结构体不可比较，从而避免开发者误用 == 或 != 比较结构体实例。

额外多少一句， _ func() 也可以起到不能比较，但是实际工程中为何不使用呢

如果你看到很多开源项目或 Go 标准库中使用 _ [0]func() 来防止结构体比较，现在你知道为什么了 —— 它是一种高效、无副作用、语义清晰的最佳实践。