把 Fun 解释器移植到 Linux

> 阶段：2026-09-04 ~ 09-05，共 22 个提交。目标：用 Free Pascal 给 Fun 解释器做出一个**原生 64 位 Linux 控制台构建**，让核心 demo 与"无库"回归在本机（x86_64 Linux）真正跑起来。
>
> **版本基线**：文中提交区间 `ad1e75b..cfe8c40`，全部来自主仓库开源分支；改动横跨 `core`（解释器内核）、`parse`、`io`、`lib`（宿主库）、`utils` 与构建脚本，Windows 侧不受影响。

## 一、缘起：增加 SQL 防注入，得先在本机跑起来

一件事如果只有"看起来对"和"真正跑一遍才算数"两种标准，数据库代码永远属于后者。前段时间刚给 Fun 的 ORM 做完 SQL 参数化改造——把拼进 SQL 文本的业务值一律改成 `?` 参数绑定，从根上堵注入（可参考本站《两个 DObject：Delphi ORM vs Fun》里那 220 行的增量）。这种改动，光读代码、看语法、跑一遍"只打印 SQL"的 mock 回归还不够，作者心里最想要的，是**在本机把它真的跑起来**：改完一行，立刻重跑全部 `lib-orm-*` 回归脚本，当场看见业务值确实不再进 SQL 文本。

难就难在"本机"两个字。这台日常开发机是 x86_64 Linux，而 Fun 长期以 Windows（Delphi / Free Pascal + Windows API）为主要宿主；官方 Linux 目标是 **32 位**，且未经充分验证——核心还残留 **64 位指针截断**的毛病，根本编译不出能在本地跑的版本。也就是说：想在本机自测，得先让解释器能在这台机器上原生编译、原生运行。

于是，一次"为了本机自测"的倒逼，成了这次 Linux 原生移植的全部起因。本文就把这 22 个提交拆开，讲清楚"把一个 Windows 时代的解释器搬到 Linux"究竟动了哪些地方，以及哪些属于必须根治、哪些只是顺手补课。

## 二、差在哪：Windows 时代欠下的债

Fun 的代码里，Windows 的痕迹不是"几处 API"，而是渗透进系统层的基本假设：用 `VarToDateTime` 解析时间字符串、靠 Borland 的隐式变体转换做布尔判断、路径默认是反斜杠、文件操作走 Windows 专属 API、正则与动态库调用干脆整个缺席。逐条列出来，大致是四类债：

1. **64 位本身的 bug**——代码隐含 32 位假设，一上 x86_64 就翻车；
2. **FPC 与 Delphi 的语义差异**——同一段 Pascal，两家编译器行为不一样；
3. **平台 API 差异**——`CopyFile`、时间、路径分隔符这类系统调用在 Linux 上要么不存在、要么语义不同；
4. **能力空缺**——正则（PCRE）和 FFI 在 Windows 靠现成物，Linux 构建里一片空白。

下面的章节就按这四类债逐一交代怎么还的。

## 三、先把 64 位这座山搬开

要让 x86_64 能编能跑，最先动的是三处基础代码：**calc 运算符表**此前只在启动时惰性初始化，某些查表路径在 64 位构建下会踩空，改成初始化就填好；**32 位内联汇编**加上按位宽的保护，避免在 64 位目标上编进不匹配的 asm；**list 扩容**改写为可移植写法，不再依赖 32 位假设。

这三处属于"解释器内核（core）本来就有病，只是 Windows 单机上没暴露"。

## 四、FPC 与 Delphi 的账：对象、布尔与时间

真正磨人的是编译器差异，其中两处几乎把回归全打趴：

**对象值没法做布尔判断。** FPC 对自定义变体 `VarObject/VarObjNew` 的隐式转换，不会走 Delphi 上依赖的那条 `CastTo` 路径，结果任何对象值一旦当条件判断就抛 `EVariantError`——正则的 `=~`/`!~`、集合当条件、乃至 ORM 的字段比较全中招。修法是在 `core.pas` 加一个 `funBoolOf(v)`：先看是不是可计数的集合/匹配对象，按 `count > 0` 判真，标量则回退到原有的 `funBool`；然后让短路 `and/or/not/xor`、`_MatchNot`、`varComp` 的对象比较、`CCase.isTrue` 的正则结果全部改走它。一句话，给"对象到底算不算真"补上一条全平台一致的判定路。

**时间字符串解析不了。** FPC 的 `VarToDateTime` 拿到字符串会抛 "Invalid variant type cast"，于是 `@"2010-04-09 15:35:15"` 这种字面量、`.toTime()`，一到 Linux 就崩。新增 `base.ToFunTime`：Linux 分支手写解析规范的 `yyyy-mm-dd hh:nn:ss` 文本，Windows 保持 `VarToDateTime` 原样。FPC 这一代在不少边界上都和 Delphi 分叉，另外还顺手修了几处：`.format()` 在 FPC 上曾返回垃圾（`TVarRec` 参数字符串要保住存活）、`.find()` 的收集回调得提升出 `_find` 才不崩、相邻的 `$` 插值不该被合并成一次。

## 五、反斜杠：Fun 脚本写在 Windows，跑在 Linux

Fun 脚本习惯写 Windows 风格的 `use '..\lib\lib-*.fun'`。反斜杠在 Linux 不是路径分隔符，于是所有 `lib-*-test` demo 加载库第一步就失败。这是脚本语言最典型的一类坑：**源码自带平台习惯**，比编译器差异更隐蔽。

修法是给 `CIO.Norm` 加 Linux 分支，把 `\` 改写为 `/`，并接到两个真正的瓶颈上：`CParser.ParseFileName`（`use`/`include`/`eval` 的解析器）和 `CIO.Open`；同时给 `CIO.Save` 里那段无条件的 `/`→`\` 重写加一道仅限 Windows 的守卫。`io.pas` 的 `Copy/Move/Find/Time` 也统一归一化分隔符，保证 Linux 下行为一致。

顺带把 Linux 上原来只是 no-op/TODO 桩的**空分支**补齐：`CopyFile` 是 Windows-only，改为流式逐字节复制；`Move` 删完文件再清目录；文件 mtime、字节大小、创建时间映射到 mtime 都按本地时间如实上报；`_time` 的 qpf/qpc 用 `CLOCK_MONOTONIC` 的纳秒计数，`GetTickCount` 用毫秒，让编译/运行计时在 Linux 上真正可用。

## 六、正则：把 PCRE 8 链进来

Windows 上的正则走得顺，是因为宿主提供得齐全；Linux 构建得自己动手。新增的构建脚本把**捆绑的 PCRE 8-bit 引擎**（vendored 的 C 源码）编译链接进 x86_64-linux 构建，正则字面量 `/…/` 与 `=~`/`!~` 这才在 Linux 可用。

顺带纠正一个历史小坑：旧 `.bat` 脚本里写的 `-dRegexx` 是**无效拼写**，Linux 正确开关是单个词的 `-dRegex`（新脚本里注明前者为 no-op）。PCRE C 源码缺失时则优雅回退为不带正则的构建，不至于整个编不出来。

## 七、FFI：给 Linux 一个 `getapi()`

Windows 侧调用原生能力靠 `winapi.getapi()`；Linux 这次要的是镜像同一条语义：`src/lib/lffi.pas`（仅 `-dLinuxFFI` 编译）用 `dlopen/dlsym` 加载共享库，按同一套 `'ss:i'` 类型串调用导出函数，底层走 FPC 自带的 libffi 绑定。`CFFIFun/CLffiApi` 负责对象与库的分发：把 `n/i/l/p/s/a/w` 参数装进 8 字节槽，经 `ffi_prep_cif/ffi_call` 调用，支持 int/pointer/string 三种返回。

注意这里的克制：`winapi.pas` 一行没动，仍被 `WinAPI` 定义隔离、保持 Windows-only；新增的是一套**语义平行**的 Linux FFI，而不是把两套揉在一起。实测已能跑通 `libc.getapi('getpid',':i')`、`strlen`、`atoi`、`getenv('HOME')`。浮点返回与函数指针（回调）留作后续。

## 八、体积：从 1.11MB 压到约 525KB

Linux 没有"反正内存够大"的奢侈借口，编译期也顺手做了减肥：smartlink + 链接器 section GC，把 PCRE 用 `-ffunction-sections/-fdata-sections` 编译，让链接器能真正丢弃死代码。x86_64-linux 的 `funcmd` 从约 1.11MB 收到约 525KB，正好一半。这不是为了炫技——对一个要随包分发、让人随手拉下来就跑的语言，二进制小一半意味着更低的尝试门槛。

## 九、诚实的边界

**已验证（本机 Linux）**：`make-linux-x86_64.sh` 原生产出可执行 `funcmd`；`all.fun` 的正则分支、集合当条件、对象布尔语义均正确；无库 ORM 回归（Save/Get/Condition/BETWEEN-IN 等段）通过；FFI 冒烟（getpid/strlen/atoi/getenv）通过。

**仍待跟进**：FFI 的浮点返回与函数指针；带正则的完整 ORM/数据库流程仍需在现版 Windows 解释器端核对一遍（Windows 功能不受影响）；`winapi/winole/FunUI` 等 Windows 专属单元本就不进 Linux 构建——它们不是"没移植"，而是**定位上就不该进**。

## 十、结语：一次"本机自测"换来的跨平台底座

回头看，这 22 个提交的引子小得有点不起眼——只是想在自己电脑上跑一遍刚写的 SQL 防注入。但正是这点"想在本机验证"的念头，把欠了多年的 64 位、编译器差异、平台 API 这些债一次性还清了，也顺带给 Fun 补上了原生 Linux 的地基。Windows 仍是 Fun 的主场，ADO、Win32、COM 那套生态照旧不动；只是从此以后，作者改完一行代码，不用再跨到另一台机器去验证——这台 Linux 上就能跑。语言的开源生命，往往就是从"作者自己能在想跑的机器上跑它"开始的。

一句话总结：**把 Fun 解释器搬上 x86_64 Linux 的原生之旅，起因不过是"增加 SQL 防注入后想在本机亲自跑一遍"；22 个提交还清了 64 位、FPC 差异与平台 API 三笔旧债，也让这门语言第一次拥有了可以在 Linux 上自我验证的地基。**