Rabin-Karp在Go中易出错，主因是int默认平台相关、模运算溢出未防护、负数取模行为异常、UTF-8多字节字符导致索引错位，且预计算幂次与哈希更新未严格遵循整数模运算规则。
为什么 Rabin-Karp 在 Go 里用滑动窗口容易出错？
直接套用教科书伪代码写 RabinKarp，大概率在 Go 中匹配失败或越界——核心原因是 Go 的 int 默认是平台相关（64 位机上为 int64），而 Rabin-Karp 要求模运算全程不溢出，且窗口滑动时的哈希更新必须严格等价于“删左字符 + 进右字符”。很多实现忽略 base 和 mod 的选取约束，导致哈希碰撞率飙升或负数取模行为异常。
-
mod必须是质数，推荐用1000000007或1000000009，避免用2^32类值（Go 中uint溢出不自动截断） -
base建议设为256（ASCII 字符数），不要用26（仅小写字母），否则遇到标点或大写会误判 - 滑动时更新哈希：新哈希 =
(oldHash - (s[i] * powBase) % mod + mod) % mod * base % mod + s[i+len(pat)]，中间必须加+ mod再取模，防止负数
如何正确预计算幂次和初始窗口哈希？
不能边滑动边用 math.Pow 算 base^(len(pat)-1) —— 浮点误差、性能差、且 math.Pow 返回 float64，转整型易失真。必须用整数快速幂预计算 powBase，并确保所有中间结果都对 mod 取模。
- 用循环而非递归算
powBase：从 1 开始，循环len(pat)-1次，每次powBase = powBase * base % mod - 初始窗口哈希要逐字符累加：
hash = (hash * base % mod + int(r)) % mod，其中r是rune，但若确定输入为 ASCII，可直接用byte避免类型转换开销 - 如果模式串为空，提前返回
[]int{}；长度大于文本串，返回空切片——别让滑动逻辑兜底
滑动时怎么安全更新哈希并比对？
滑动窗口的核心是 O(1) 更新，但 Go 中字符串索引是 byte 序列，若文本含 UTF-8 多字节字符，直接用 s[i] 会取到字节而非字符。所以实际使用中，**Rabin-Karp 在 Go 里默认只适用于 ASCII 输入**，否则必须先转为 []rune，代价显著。
- 滑动一步：去掉最左字节
s[i]，加上最右字节s[i+len(pat)]，更新公式必须写成两步：hash = (hash - int(s[i])*powBase%mod + mod) % modhash = (hash*base%mod + int(s[i+len(pat)])) % mod - 每次更新后，先检查
hash == patHash，再做严格子串比对（s[i:i+len(pat)] == pat），防止哈希碰撞 - 注意边界：滑动起始索引
i范围是0到len(s) - len(pat)（闭区间），用for i := 0; i
完整可运行示例与关键参数验证点
下面是一个最小可行实现，已通过 "ababababa" 匹配 "aba" 和含数字/符号的测试用例。重点看三处：模数是否质数、幂次是否预计算、滑动更新是否防负。
func RabinKarp(s, pat string, base, mod int) []int {
if len(pat) == 0 {
return []int{}
}
if len(pat) > len(s) {
return []int{}
}
<pre class="brush:php;toolbar:false;">patHash := 0
hash := 0
powBase := 1
// 预计算 base^(len(pat)-1) % mod
for i := 0; i <p>}
</p>调用时务必显式传参：RabinKarp("hello world", "ll", 256, 1000000007)。漏掉 mod 或用 math.MaxInt32 当模数，会导致哈希分布极不均匀；把 base 设成 10 或 31 虽然语法合法，但在多字节场景下冲突率会明显升高。
真正难的不是写对公式，而是确认你的输入是否全是 ASCII、是否允许哈希误报、以及当 len(pat) 接近 len(s) 时，预计算和边界有没有少处理一个位置。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
