Elisp正则匹配单个方括号的匹配顺序疑问

这其实是Elisp正则表达式在处理字符类（[...]）中的]时的特殊规则导致的，和其他常见正则引擎（比如PCRE）的行为不一样，很容易踩坑。

核心规则：字符类中]的处理方式 #

在Elisp的正则里，如果你想在字符类中包含]这个字符，必须把它放在字符类的最开头（如果是取反类[^...]，就紧跟在^后面）。如果把]放在字符类的中间，哪怕你用\转义，Elisp的正则引擎也会把它当作字符类的结束标记，而不是普通字符。

逐个分析你的测试用例 #

我们先拆解两个正则表达式的实际含义：

1. [\]\[]的实际解析

这个字符串在Elisp中展开后，正则引擎看到的字符类逻辑是：

• 第一个字符[：字符类的开始
• 第二个字符\]：转义后是字面的]（因为处于字符类开头位置，被识别为普通字符）
• 第三个字符\[：转义后是字面的[
• 第四个字符]：字符类的结束

所以这个字符类的含义是匹配]或者[，不管是单个还是连续的方括号，只要第一个字符是其中之一，就会匹配成功。这就是为什么：

• (string-match "[\]\[]" "[") → 0（单个[匹配）
• (string-match "[\]\[]" "]") → 0（单个]匹配）
• (string-match "[\]\[]" "[]") → 0（第一个[匹配）
• (string-match "[\]\[]" "][") → 0（第一个]匹配）

2. [\[\]]的实际解析

字符串"[\[\]]"展开后，正则引擎的解析逻辑完全不同：

• 第一个字符[：字符类开始
• 第二个字符\[：转义后是字面的[
• 第三个字符\]：这里的]被放在字符类中间，即使转义了，Elisp仍然把它当作字符类的结束标记
• 第四个字符]：这是正则表达式中字符类之外的一个普通]字符

所以整个正则表达式的实际含义是：先匹配一个[，再匹配一个]，也就是要匹配[]这个完整的字符串。这就解释了测试结果：

• (string-match "[\[\]]" "[") → nil（只有[，缺少后面的]，不匹配）
• (string-match "[\[\]]" "]") → nil（开头不是[，不匹配）
• (string-match "[\[\]]" "[]") → 0（正好匹配[]整个字符串）

正确的写法总结 #

如果你想在Elisp正则的字符类中同时包含[和]，推荐两种更直观的写法：

• 把]放在字符类最开头：[][]（不需要转义]，因为它在开头位置）
• 或者使用显式转义的[\]\[]（和你测试的有效写法一致）

比如：

(string-match "[][]" "[") ; → 0
(string-match "[][]" "]") ; → 0
(string-match "[][]" "[]") ; → 0

这样就可以正确匹配单个[或]了。

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