为什么 PHP 的 preg_quote 会转义不必要的字符？

Question

来自http://php.net/manual/en/function.preg-quote.php：

preg_quote() 采用 str 并在作为正则表达式语法一部分的每个字符前面放置一个反斜杠。如果您有一个需要在某些文本中匹配的运行时字符串并且该字符串可能包含特殊的正则表达式字符，这将非常有用。

特殊的正则表达式字符为：. \ + * ? [ ^ ] $ ( ) { } = ! < > | : -

请注意，/ 不是特殊的正则表达式字符。

} 是不必要的，但我可以理解为什么他们会为了对称而包含它。例如。以下代码有效：

$re = '/}{This is fine}{/';
preg_match($re, $re, $match);
var_dump($match);

输出是：

array(1) {
  [0] =>
  string(16) "}{This is fine}{"
}

为什么它们包含 = ! < > :？据我所知，它们只有在被另一个未转义的元字符引入后才会变得特别，例如紧跟在(? 之后，这两个字符也会被转义。 : 在字符类中也可以是特殊的，如下所示：[[:alpha:]]，但所有四个括号都会被转义。

Answer 1

我认为背后的想法是要有一致的行为。

preg_quote 的目标是为正则表达式模式生成文字字符串。这意味着无论上下文如何，返回的字符串中的任何字符都不能被解释为自身以外的其他内容，并且上下文可以是与模式的其他部分的串联。

如果我写'/(?' . preg_quote('>') . 'abc)/'，我希望> 不会被解释为原子组的>，并且该模式会返回错误。

如果我写'/.{3' . preg_quote('}') . '/'，我希望} 不会被解释为量词的右大括号，并且该模式匹配像'a{3}' 这样的字符串，但不匹配'abc'。

您可以使用前瞻断言、命名组、非捕获组或原子组轻松为 = ! < > : 构建相同类型的示例。

重要的是，无论使用函数的方式或上下文如何，预期的行为总是相同的。

Answer 2

如果您尝试编写这样的代码会发生什么：

$lookahead = getUserInput();  // Not escaped
$results = preg_match('/abc(?' . $lookahead . ')/', $subject);

用户输入!def?答案是你得到否定的前瞻而不是常规的前瞻。如果您不想允许负前瞻，则需要确保感叹号被转义。