沉默的降级

# 沉默的降级

`lib-md5.fun` 里有一段 `try/except`，本意是安全网：优先用 libcrypto 的 C 实现算 SHA256，取不到再退回纯 Fun 实现。前几天的移植梳理翻出一个尴尬的事实 —— **那个 C 分支从来没跑过**。不是 Linux 上没跑，是 Windows 上也没跑。所有人、所有平台，一直在用那条理应只是兜底的慢路径，而且它算出来的摘要还是错的。这一篇讲这个 bug 的两半：一半是语言的别名作用域，一半是 64 位整数不回绕。

## 一、本该走 libcrypto

`SHA256` 的开头就是这么写的：

```fun
fun SHA256 (msg)
  var Cr = nil;
  if Cr = nil then
    if 'host'.arg().getJson(fd: true).os = 'linux' then
      use 'lib-crypt-lnx.fun' as libCr;
    else
      use 'lib-crypt.fun' as libCr;
    end if;
    Cr = libCr;                 // 想在这里把句柄交出去
  end if;
  return Cr.Crypt(msg, Cr.CALG_Sha256);
end fun;
```

思路很清楚：`if/else` 里按平台 `use` 对应的加密库，然后统一赋给 `Cr`，后面调 `Cr.Crypt`。可惜 Fun 的 `use ... as X` 里，**别名 `X` 只在它所在的那个块内可见** —— 两个 `use` 各自绑一个块内局部的 `libCr`，出了 `end if` 就不存在了。于是 `Cr = libCr;` 这一行执行时抛 `libCr not found`。

## 二、被 except 吞掉的一行错

真正致命的是这个错误被外层包着它的 `try/except` 接住了：

```fun
try
  // 上面的 FFI 分支
except
  // 任何异常都当成「没有 C 库可用」，走纯 Fun 兜底
end try;
```

从设计上说，兜底本身没错 —— 拿不到 libcrypto 时确实要能降级。问题在于**降级是沉默的**：一个本可以立刻暴露的拼写级错误（别名越界），被当成「环境不支持」处理了。日志、返回值、行为全都正常，只是慢了一截、还悄悄算错。这类降级不会让程序崩，也不会让人怀疑，能一直潜伏到有人拿它跟标准实现逐字节对账。

## 三、纯实现还错在 64 位

如果兜底实现是对的，这个 bug 顶多是性能问题。但纯 Fun 版也有一处只在 64 位上发作的错。SHA256 每处理完一块，要把八个状态字累加回去，原代码是这样的：

```fun
N[0] += a;
N[1] += b;
...
N[7] += h;
```

SHA256 的状态字是 **32 位**，加法必须模 2³² 回绕。在 32 位构建里，整数自然溢出就等于回绕，看起来没问题；在 64 位构建里 `+` 不做截断，状态字会一直涨。后果分两段：

- 从 **120 字节**（两个分组）起，累加和越过 2³²，摘要开始**静默算错** —— 不报错，只是和标准值不一样；
- 涨到约 **5.7 KB** 时，数值溢出触发 `Floating point overflow` 异常。

所以这条兜底路径：小输入慢、中等输入错、大输入直接抛。

## 四、修法与验证

两处都很好修。别名在各自的分支里就地拷出来：

```fun
if 'host'.arg().getJson(fd: true).os = 'linux' then
  use 'lib-crypt-lnx.fun' as libCr;
  Cr = libCr;
else
  use 'lib-crypt.fun' as libCr;
  Cr = libCr;
end if;
```

状态字显式按 32 位掩码：

```fun
N[0] = (N[0] + a) bit and 0xffffffff;
N[1] = (N[1] + b) bit and 0xffffffff;
...
N[7] = (N[7] + h) bit and 0xffffffff;
```

验证按两边分别做：

- **FFI 路径**：SHA256 与 libcrypto 在 0..100 KB 上逐字节一致；2 MB 输入 6 ms 出结果 —— 快路径这才第一次真正被跑到。
- **纯 Fun 路径**：单独跑也覆盖 0..100 KB 全部对齐，包括多分组边界。
- `lib-func-check` 补了两组多分组向量（专门盯 120 字节与 5.7 KB 这两个阈值），回归 **86/86**。

## 结语

一个 `try/except` 想表达「不保证有 C 库」的健壮，结果表达成了「任何错误都别出声」。教训不复杂：**兜底可以存在，但降级必须是响的** —— 至少要能观测到「我在走慢路径」。否则你测试的是安全网，用户用的是它兜住的那个坑。另外，跨 32/64 位的依赖自然溢出的代码，都要显式写死宽度，别指望 `+` 替你回绕。