Go语言原生字符串哈希函数是否为完美哈希函数？所编写的测试方法是否正确？

我在Go语言的源码中找到了runtime.strhash这个字符串哈希函数，想确认它是否真的是一个完美哈希函数。同时，我编写了如下测试代码来验证这一点，请问该测试方法是否正确？

package main
import (
    "fmt"
    "strconv"
    "unsafe"
)
//go:linkname strhash runtime.strhash
func strhash(p unsafe.Pointer, h uintptr) uintptr
const seed = 666
func main() {
    m := make(map[uintptr]string)
    for i := 0; i < 1000000000; i++ {
        key := strconv.Itoa(i)
        hash := strhash(unsafe.Pointer(&key), seed)
        _, exist := m[hash]
        if exist {
            fmt.Println("collision")
            break
        }
        m[hash] = key
    }
    fmt.Println("finish")
}

首先直接给结论：runtime.strhash不是一个完美哈希函数，而你的测试方法也不足以验证它是否是完美哈希，具体原因如下：

1. 先明确完美哈希的核心定义 #

完美哈希函数要求针对特定的有限输入集合，每个输入都能映射到唯一的哈希值，完全没有碰撞。但runtime.strhash是Go标准库为哈希表设计的通用哈希函数，它的目标是在绝大多数通用场景下降低碰撞概率，保证哈希表的性能，而非完全杜绝所有碰撞——毕竟字符串的可能组合是无限的，而uintptr的长度是固定的（64位系统最多表示2^64个值），根据鸽巢原理，必然存在不同字符串会得到相同的哈希值。

2. 你的测试方法存在的问题 #

• 测试样本范围极窄：你只覆盖了0到999999999的数字字符串，这只是所有可能字符串的极小一部分。就算这个子集里没找到碰撞，也完全不能说明它对其他类型的字符串（比如带字母、符号、非ASCII字符、不同长度的字符串）不会产生碰撞。
• 理论上不可能覆盖所有情况：字符串的组合是无限的，而哈希值的取值是有限的，所以完美哈希不可能对所有字符串成立，你的测试从根源上无法验证“完美”这一点。
• 测试逻辑有局限性：就算遍历完所有数字字符串都没发现碰撞，也只能说明这个子集暂时无碰撞，不能推广到所有字符串。比如完全不同的字符串（比如"abc"和某个长数字字符串）完全可能产生相同的哈希值。

额外补充：关于runtime.strhash的调用 #

你用//go:linkname调用runtime.strhash的方式是可行的，unsafe.Pointer(&key)的传参也符合函数要求（它需要的是指向string结构体的指针）。但要注意，这种调用依赖未公开的runtime内部函数，不建议在生产代码中使用——Go团队可能会在未来版本中修改它的实现或签名。

内容的提问来源于stack exchange，提问作者help_seeker