GNU m4正则表达式引擎规则是什么？为何部分语法不生效？

GNU m4的正则表达式基于GNU Emacs风格，但实际实现做了简化，存在不少与Emacs正则的差异，核心规则如下：

核心支持的语法 #

• 兼容POSIX基本正则表达式（BRE）的核心特性：
  • . 匹配任意单个字符
  • * 匹配前导元素零次或多次
  • ^ 匹配行首，$ 匹配行尾
  • 普通字符类 [abc]、否定字符类 [^abc] 正常生效
• 分组使用BRE风格的 \( 和 \)，通过 \1、\2 等引用捕获分组
• 特殊字符（如 .、*）需用 \ 转义才能匹配字面量

空白字符匹配的限制 #

• 仅支持 \s 匹配任意空白字符（包括空格、制表符等）
• 不支持Emacs正则中的扩展\s前缀语法，比如\sw（匹配单词字符）、\sc（匹配控制字符）等
• 不支持POSIX风格的字符类（如[[:space:]]、[[:digit:]]）

验证案例 #

无效语法测试 #

[[:space:]]无法匹配空格：

$ m4 <<<'changequote(<,>)patsubst(<a b c d>, <[[:space:]]>, <r>)'
a b c d

\sw无法匹配目标字符：

$ m4 <<<'changequote(<,>)patsubst(<a b c d>, <\sw>, <r>)'
a b c d

有效语法测试 #

\s正常替换所有空白：

$ m4 <<<'changequote(<,>)patsubst(<a b c d>, <\s>, <r>)'
arbrcrd

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