2. 官方文档一句话破案
“If
sis empty andsepis non-empty,Splitreturns a slice of length 1 whose only element is an empty string.”
翻译：当字符串本身存在，但内容为“零字符”时，Split 把它视为“一段空数据”，而不是“没有数据”。
因此返回 [""] 是规范承诺，绝非实现缺陷。
3. 三个核心设计考量
3.1 可逆性（Round-Trip Safety）
CSV、日志、配置解析最常见的需求是：
拼接 → 分割 → 再拼接 必须能无损还原。
假设 Split("", ",") 返回 []string{}，那么：
a := ""
b := strings.Join(strings.Split(a, ","), ",")
// b == "" 看起来没问题
可一旦业务里出现“显式空字段”就糟了：
input := "," // 用户想表达「两个空列」
fields := strings.Split(input, ",")
// 若 "" 被当成“无字段”，第一个空列就会丢失，
// 最终 Join 结果只剩一个逗号，列数错位。
把空序列映射成空切片会丢失“列存在但内容为空”的语义，
映射成 [""] 则保留了“至少有一列”的信息，从而保证：
Join(Split(s, sep), sep) == s // 对任意 s 成立
3.2 计数一致性
Split 的朴素算法是：
“每遇到一次分隔符就切一刀，刀数 +1 → 段数 = 刀数 +1”。
对于空字符串，刀数为 0，段数就是 1，这段内容恰好是空字符。
于是：
| 输入 | 刀数 | 段数 | 结果 |
|---|---|---|---|
| "a,b" | 1 | 2 | ["a" "b"] |
| "a," | 1 | 2 | ["a" ""] |
| "," | 1 | 2 | ["", ""] |
| "" | 0 | 1 | [""] |
规则统一，无需特殊分支，代码更短、更快、更容易被编译器内联。
3.3 最小惊讶原则
Unix 工具链（awk、cut、perl）几十年都采用同一套语义：
“相邻分隔符 = 空字段”，Go 直接继承这一传统。
Python、Java、JavaScript 也做了同样选择——
反而是早期某些返回“空切片”的语言被社区反复吐槽“split 不直观”。
4. 实战：如何“按需去空”
标准库把保留信息作为默认行为，
如果你确实需要“空字符串 ⇒ 空切片”，自己包一层 helper 即可：
func SplitSkipEmpty(s, sep string) []string {
if s == "" {
return nil // or []string{}
}
return strings.Split(s, sep)
}
或者后置过滤：
fields := strings.Split(s, ",")
if len(fields) == 1 && fields[0] == "" {
fields = fields[:0] // 手动变空
}
这样“想留就留，想去就去”，复杂度从库转移到调用者，
符合 Go “a little copying is better than a little dependency” 的哲学。
5. 扩展：与 SplitN、Trim 的区别
SplitN("", ",", 2)同样返回[""]，不受 n 影响。strings.Trim(s, ",")只能去掉头部或尾部的分隔符，
不会改变 Split 的计数规则；两者正交，组合使用时要小心。
6. 总结一句话
strings.Split("", ",") 得到 [""] 不是 bug，
而是用“一个空元素”保留“原值存在但无内容”的最小可用信息，
从而在可逆性、列对齐、语言一致性三方面取得平衡。
理解这一点后，你再也不会为空切片 vs 空元素而烦恼，
也能在配置解析、CSV 处理、日志切分中写出更健壮的 Go 代码。
7. 参考资料
[1] Go source: src/strings/strings.go
[2] Go issue #46359: spec: clarify strings.Split on empty string
[3] Python docs: str.split() behavior on empty string
[4] “The Practice of Programming” — Brian Kernighan & Rob Pike
如果本文帮你解开了疑惑，欢迎点赞/转发。
Happy hacking with Go!
