7 行的小函数，怎么解析 C 结构体

Fun 的 `lib-utils.fun` 里有一个看起来不起眼的函数:

```fun
fun goBytes(buf, size, f)
  var i = 0.1;
  for j = 0 to size-1 loop
    exit when f(buf, i, j);
    i += 1 / charSize();
  end loop;
end fun;
```

就 7 行。而整个 `lib-cstruct`——那个能从字符串解析任意 C 结构体声明、并读写原始内存的库——就立在它上面。核心只有一个想法:**用一个浮点小数当下标,而这个下标同时装了两条信息。**

## 浮点下标 = 字符序号 + 字节半区

Fun 的字符串在 ANSI 构建下每字符 1 字节,在 Unicode 构建下每字符 2 字节。为了真的逐字节遍历 Unicode 字符串,`goBytes` 每步让 `i` 前进 `1 / charSize()`——Unicode 下是 `0.5`,ANSI 下是 `1.0`。于是 Unicode 模式的下标是这样跑的(`0.1, 0.6, 1.1, 1.6, ...`):

```
0.1 -> 0.6 -> 1.1 -> 1.6 -> 2.1 -> ...
取整:  0      0      1      1      2
```

- **整数部分**是字符序号(`0,0,1,1,2,...`);
- **小数部分**表示你在这个字符的哪一个字节上——在 `0.5` 分界线的这一侧还是那一侧。

读 `b[i]` 时,取整数部分定位字符,再用小数部分选它的前字节或后字节。`0.5` 这条线,正好把 2 字节的 Unicode 字符切成前后两半。一个数字同时编码了「哪个字符、哪一半」——这正是字符可能 1 或 2 字节的语言里,做对 Unicode 字节遍历需要的东西。

## `1 / charSize()` 让两种构建通用

因为步长是 `1 / charSize()`,同一个循环在两种构建下都按字节正确:ANSI 下每步一个完整字符(`1.0`),Unicode 下每步半个字符(`0.5`)。没有 `if`、没有分支——序列化与反序列化代码在两种模式下完全一致。

## 为什么从 `0.1` 起步

计数器从 `0.1` 开始,而不是 `0`。这让运行的分数值始终严格落在 `0.5` 分界线的同一侧——`0.1 / 0.6`,永远不会正好等于 `0.5`——于是前后字节的切分绝不会因浮点表示而模棱两可。在 `0.1 + 0.2` 这类漂移出了名的场景里,这是一道极小、却正好够用的护栏。

## 回调做剩下的事

回调收到缓冲区 `b`、浮点下标 `i`、以及一个普通计数器 `j`(0..size-1)。`j` 是「逻辑值的第几个字节」的序数——例如 `val >> (j*8) & 0xFF` 取出小端整数的第 `j` 字节——而 `i` 负责在缓冲区里定位。`exit when f(...)` 让回调返回 `true` 就能提前跳出,读 C 字符串时停在 NUL 结尾用的正是它。

## 为什么这值得记住

七行,却成为让 Fun 能**从原始内存读写任意 C 结构体布局**的原语:小端整数、定长字符串、指针、嵌套结构体,而偏移都在 `charSize()` 一处统一,同一套代码在两种构建下都能跑。这门语言的「大」不在关键字多,而在于这样的小部件能互相组合。