拿正则当大纲

# 拿正则当大纲

昨天那篇 [走进 funide：IDE 源码导读](funide-reading-guide.htm)，五千来行的房子里，标记面板 `TfTree` 只分到一句。今天把那一句补上。funide 能把当前文件里每个函数、每个类列成一张表，背后没有解析器钩子，也没有专门的 outline provider：这个功能就是 **Find All**，配一条瞄得很准的正则；而这条正则，躺在可执行文件旁边的一个纯文本里。

## 一、可执行文件旁边的一个纯文本

`funide.exe` 旁边带着 `funide.exe.presets`。启动时 `LoadFindPresets` 逐行读它，把每行变成一个菜单项，挂在查找框下面：

```text
名称[&键]=表达式      # 一个预设
-                     # 分隔线
```

点一项就跑到 `PresetItemClick`：

```pascal
mmoFind.Text := mi.Hint;      // 表达式存在菜单项的 Hint 里
aFindRegex.Checked := True;
aFindAllExecute(Sender);
```

文件用 `TStrings.LoadFromFile` 读，它没有编码参数，于是按系统 ANSI 代码页解释。随包发布的那份是 GBK，标签是中文，表达式本身是纯 ASCII，倒也不受影响。

把随包的预设译出来：

## 二、函数那一条，到底在干什么

`函数` 是主角，`|` 连起两个分支。

第一个分支是**词法护栏**，不是目标：

```text
((['"`]).*?\2 | #\*.*?# | #\N* | //\N* | ([/%])\S+?\3)
```

分别是字符串（`(['"`])` 靠反向引用 `\2` 配同一个引号）、`#*...*#` 块注释、`#` 行注释、`//` 行注释、`/.../` 或 `%...%` 定界字面量。它被 `(*SKIP)(*FAIL)` 包住，这是 PCRE 的标准惯用法：这里命中了就作废，继续往下扫。说白了就是别去看字符串和注释，免得里面的 `fun` 被当成定义。这是整条正则唯一要做的、货真价实的词法活儿。

第二个分支才是目标：

```text
(\bfun(\s++[@$\w]++\s*+)\((?>(?1)|(?4)|.)*?\bend\s++fun;) | \bclass(?5)[(=]
```

要么是一整个函数：`fun` 加名字加 `(`，吃掉函数体，一直吃到 `end fun;`；其中函数体是一个原子组，可以包含护栏 `(?1)`（这样体内字符串/注释也被跳过）、嵌套函数 `(?4)`、或任意字符。要么是一个类头：`\bclass` 加名字，后面跟 `(`、`[`、`=` 之一。

注意里面的子程序调用：`(?1)` 是护栏，`(?4)` 是一个函数，`(?5)` 是一个名字（`\s++[@$\w]++\s*+`）。名字这个组只写一次，`\bclass(?5)` 直接复用，标识符规则就这么统一在一处。

三个变体是渐进的：`函数[&F]` 是快而简的版本，没有护栏；`函数1&30` 是更早的副本，用的是非占有量词（`\s*` 而非 `\s*++`）；`函数[&E]` 是现役版本。`括号[&B]` 与列表无关：`$([^()]++|(?R))*+$` 用递归 `(?R)` 匹配成对括号，适合一把抓走整个参数表。`清空[&C]` 表达式为空，只是清掉高亮。

## 三、点一下之后发生什么

`PresetItemClick` 选中表达式，调用 `aFindAllExecute`，所谓「大纲」正是在这里拼出来的。整条路径都是普通的查找机制：

1. `aFindAllExecute` 组装表达式。非正则模式时它用 `\Q...\E` 转义再补 `\b`，这也是为什么预设得把正则模式勾上。
2. `ActiveEdit.SearchEngine.FindAll(Text)` 走 `TfSearch`，也就是 fun 自己的 `CPcre`。每个命中都是一整个函数，于是 `Results[i]`/`Lengths[i]` 就是各定义的首尾。
3. 每个命中变成一个 `THighLightRange{StartPt, EndPt}`，交给 `TfEdit.SetSearchHighlights`。
4. `SetSearchHighlights` 还会把每个命中的**起始行**当书签写进 `fStates`，然后调用 `fIDE.RefreshTree`。
5. 标记面板 `TfTree` 于是把文件列成一个根节点（标题是文件名加命中数），下面每个命中一行，标题就是那第一行源码。这份列表，就是函数/类列表。

所以「大纲」只是查找结果的一个投影：Find All，然后让既有的高亮与标记机制去渲染。没有新解析。

## 四、那些弧线

幻象的另一半是视觉。每个命中横跨整个函数，起点是 `fun` 那行，终点是 `end fun;` 那行。`TfEdit.EditorPaintTransient` 遍历 `FSearchHighlights`，对每个区间从起点画到终点：

```pascal
Canvas.Pen.Color := $0080FF;
Canvas.Pen.Style := psDot;
...
DrawSymSBezier(Canvas, ptStart, ptEnd);
```

`DrawSymSBezier` 造一条三次贝塞尔，控制点沿两端连线的垂线外推，外推量随距离增长（`minOffset + (maxOffset - minOffset) * (1 - Exp(-len / 200))`，大约 10 到 40 像素），然后把曲线正着画一遍、倒着再画一遍。两笔合起来，围成一个透镜状的弧。命中若只在单行上，鼓出方向会翻转（`if Abs(dy) < 1e-5 then yy := -0.5`）。

因为它画在 `ttAfter` 的 transient 层，弧线不属于缓冲区：滚动、重绘时重画，高亮清掉就消失。每条弧把函数的头和它的 `end fun;` 连起来，于是一个满是函数的文件，就变成一列向右鼓出的括号，每个定义的范围一眼可见。

## 结语

三套旧机制，没有新机制。预设菜单、PCRE Find All、transient 绘制，三者一合就成了大纲。IDE 从不需要 AST 大纲：它本来就有查找引擎，也有在文本上作画的办法。

再看那点让步。对字符串和注释用 `(*SKIP)(*FAIL)`，正是「正则当大纲」从玩具走向「得懂点语言」的分界点。这是对「正则解析不了语言」的一次小而诚实的妥协，而且只妥协到必要为止。引擎也是语言自己的：`TfSearch` 跑在 `CPcre` 上，那是 fun 自带的 PCRE 8，递归 `(?R)`、子程序调用 `(?1)`/`(?4)`/`(?5)`、占有量词、`(*SKIP)(*FAIL)`，都出自随语言发布的这个正则引擎。

依赖它之前该知道的取舍也说清楚：比起真正的解析器，表达式是脆弱的，`fun` 关键字出现在没料到的位置就可能骗过它；标记面板是按行的，每个命中只列第一行；嵌套函数被外层整段吞掉，不呈层级；弧线只是装饰，不是数据结构。对一个轻量编辑器来说，这笔交易很划算。