“(?x::”在 Boost 正则表达式替换中是什么意思，其中“x”是一个数字？

Question

这是一个 Perl 风格的正则表达式，可以在 Sublime Text 2 的 Ruby 包中的一个 sn-p 文件中找到：

/(?:\A|_)([A-Za-z0-9]+)(?:\.rb)?/(?2::\u$1)/g

我知道它将“some_class.rb”之类的文件名转换为“SomeClass”，但我无法弄清楚这部分的作用：(?2::。 Sublime Text 2 使用 boost 作为其正则表达式，所以我检查了 Boost-Extended Format String Syntax 的文档，我发现 boost 支持格式字符串 (f.inst.(?2(foo):(bar))) 中的条件，但你永远不需要两个冒号.此外，?2 将指向 second 子表达式，但上面的表达式只匹配一个子表达式。由于这些原因，我不认为这是一个条件表达式。

感谢您提供任何启发性的答案。

Answer 1

首先，///g 替换端的(?2::\u$1) 是不是 Perl。这是 Boost 自己的扩展

• 参见 OP 提到的 [Search and Replace Format String Syntax > Boost-Extended Format String Syntax]。

参考上述文件，这是saith，

字符“？”开始一个条件表达式，一般形式是：

?Ntrue-expression:false-expression

其中 N 是十进制数字。

如果子表达式 N 匹配，则计算 true-expression 并将其发送到输出，否则计算 false-expression 并将其发送到输出。

基于此，我们来分析一下神秘的(?2::\u$1)

1. ?2 总是为假，因为没有第二个捕获组。
2. 第一个:是true-expression中的“特殊字符”，表示空字符串
   • 如果我们假设true-expression 不能为空，则第一个:不被解释为真假表达式之间的分隔符（有关血腥/多汁的细节，请阅读附录 D）。
   • 事实上，我们可以将任何我们想要的东西写成true-expression（只要中间没有:），因为?2 永远不会计算为真。
3. \u$1 是 false-expression。

把两个和两个放在一起，我会四肢走出来说

/(?:\A|_)([A-Za-z0-9]+)(?:\.rb)?/(?2::\u$1)/g

只是一种混淆的方式：

/(?:\A|_)([A-Za-z0-9]+)(?:\.rb)?/\u$1/g

---

附录 D：Sublime Text 2 中的 sn-p 实验

所以我用这个内容定义了一个 Sublime Text 2 sn-p

<snippet>
    <content><![CDATA[
snakecase: ${1:hello_world}
camelcase: ${1/(?:\A|_)([A-Za-z0-9]+)(?:\.rb)?/(?2::\u$1)/g}
]]></content>
    <tabTrigger>convert</tabTrigger>
</snippet>

并在替换右侧使用不同的表达方式。

给定输入hello_world

1. 如果右边是(?2::\u$1)，返回HelloWorld
2. 如果右边是(?2:\u$1)，返回HW
3. 如果右侧是(?2:$1)，则不返回任何内容
4. 如果右边是(?2:::\u$1)，返回:Hello:World
5. 如果右边是(?1:\u$1)，返回HelloWorld
6. 如果右边是(?1::\u$1)，返回HW
7. 如果右侧是(?1::$1)，则不返回任何内容
8. 如果右侧是(?1:::\u$1)，则返回HW
9. 如果右侧是(?1:::$1) 则不返回任何内容
10. 如果右边是\u$1，返回HelloWorld

基于此的一些初步结论（假设案例2、6、8是异常情况^†）

• 如果只有一个冒号 (:) 跟在数字后面，它会被忽略（即它不会被解释为真假表达式之间的分隔符）。
• 如果数字后面有 2 个冒号 (::)，则 true-expression 是一个空字符串（第二个 : 是分隔符）
• 如果数字后面有 3 个冒号 (:::)，则 true-expression 为空字符串，false-expression 以文字冒号开头（第二个 : 是分隔符）
• 比较案例 1 和 10，我对 (?2::\u$1) 和 \u$1 等价的结论仍然成立。

^† 我说异常是因为 \u$1 的行为与 $1 相比如此不同（捕获的子字符串的第一个字符除外）

Answer 2

可能替换字符串中有一个冒号，例如:\u$1 是替换字符串。