有意不提供的东西

# 有意不提供的东西

读 Fun 的源码，常会冒出一个念头：这里怎么少了个函数。set（`[]`）能用 `@add` 加元素、用 `@count` 数个数，就是没有一个「删掉某个元素」。照常规，这该怪作者偷懒。看得多了才反过来明白：语言的能力边界是**刻意**划的，缺一个 API，往往是因为它和核心结构顶牛。

## 一、set 为什么不给删除

先看 set 是什么。`CList` 是一排连续的指针，`CHash` 是按字符路径下沉的 40 路 trie，`CSet` 两颗都挂着：位置序走 CList，名字索引走 trie。一个 `[]` 同时是数组和字典，`m[0]` 和 `m['name']` 访问的是同一批元素。这套「一种结构、两种访问」正是 Fun 的地基，参数表、对象成员、集合全踩在上面。

删除元素难就难在这。删掉中间一个，后面的位置全得往前挪，CList 要搬，trie 里那张名字表也要跟着改。两边同步稍有差池，就是「按名字还找得到、按下标已经错位」这种最难查的 bug。代价既然摆在那里，作者的取舍很干脆：不在语言层给这个通用 API，宁可把底层 `CList` 的地址开放出来，真有需要的库自己去维护重排。

顺带说清一点，注册在 set 上的内建就那么几个：`@count`/`@length`、`@has`、`@each`、`@add`、`@clone`、`@toJson`（`libset.pas:451`）。有 add，没有 delete，不是漏写。

## 二、标准库自己先示范了一次

这条取舍不是纸上的。标准库里就有个活例子：`lib/lib-stack.fun`。

Stack 的 `pop` 要删掉中间一个元素，它没等语言层长出一个 API，而是自己动手：

```fun
if prev < curr then
  var p = list.@count('ptr') + prev * SizeOfPtr;
  (p + SizeOfPtr).move(p, (curr - prev) * SizeOfPtr);
end if;
list.@count(-1); // resize -1
```

`@count('ptr')` 拿到 `CList` 数据区的裸地址，`SizeOfPtr` 是本机字长（`'host'.arg().getJson(fd: true).bits div 8`，32 位上是 4、64 位上是 8），用 `.move` 把后面的元素整块往前挪，最后 `@count(-1)` 把长度减一。三行，把一条危险的路自己走完了。

这套写法是既定路线，不是孤例：「库层用不安全原语换功能」。语言层不为此增加通用 API，因为一旦加上，等于把 CList 搬移和 trie 同步的复杂度摊到每个使用者头上，还容易有人用错。

## 三、开放原语的账，记在指针宽度上

不过，把裸地址交出去，就得替指针宽度兜底。`@count('ptr')` 返回的是 `CList` 数据指针，早先它经过 `fun.int` 中转，而 `fun.int` 有意是 32 位（`fun.pas` 里那句 `NOT int64 !!!`）。在 x86_64 上，地址一过它就被砍掉半截，`.move` 自然搬错地方。

这件事在 64 位移植时列成 H-04，后来一并清了：`@count('ptr')` 改用 `PtrInt` 返回（现在是 `fun.intptr(l.List)`，指针多宽就多宽），`_move`/`_movs` 的 dest/src/偏移、`toNum(ptr:-1)` 也改走按指针同宽的读取（`8ec0a42`）。验证放在 `fun/test/ptr-primitives.fun`：不只跑 Stack 的增删，还专门断言取到的地址大于 4GB，否则一条旧实现也能蒙混过关。

（吐槽：把地址当整数传来传去，本来就是 C 风格的活儿。在一个「整数是 32 位」的语言里这么干，等于自己给自己埋雷，还得专门写个测试盯着它别炸。）

## 四、看到缺口，先别急着补

这些经验最后收成一条维护纪律：看到「某某操作没有内置函数」，先假设是有意省掉的，不要顺手加一个「完整版」。它很可能正好踩中位置与命名的双访问、GC 或者重排。

反过来说，Fun 里那些「本该有」的东西，多数也没有缺席，只是换了位置。安全的边界、类型检查、沙箱，被放在路线图和应用层，语言本身只负责把窗户打开。作者的原话是，Fun 是开窗，C 是没有墙，程度不同而已。少一个删除函数，和这些都是同一种取舍。

## 结语

一个语言提供什么，容易看见。不提供什么，容易被当成疏漏。可恰恰是后者的名单，能看出它守着哪几条不变量。set 没有删除，Stack 自己搬内存，`@count('ptr')` 一度截断，三件事其实是一件事：宁可在库层冒险，也不让核心结构变复杂。