跳到正文
ZLIB × LEAN / 算法精读与验证

应用接口与外部交互

为完整缓冲区、回调和 gzip 文件选择合适的调用方式。

这一环节的任务

应用需要交出输入、接收输出,并处理返回结果。缓冲区、回调和文件接口提供不同的使用方式,底层仍然复用压缩与解压引擎。

在全局图中定位 ↗

前 3 章先展开算法、数据布局与优化,最后一章连接证明思路。可以按顺序读,也可以从已经熟悉的阶段进入。

  1. 01
    算法精读

    缓冲区接口与库信息

    在已有完整输入时,用封装调用完成压缩或解压。

    ↗
  2. 02
    算法精读

    回调解码与控制反转

    把读取和交付交给回调,理解调用顺序与缓冲区责任。

    ↗
  3. 03
    算法精读

    gzip 文件与缓冲 I/O

    通过文件接口使用 gzip,理解格式识别、成员和逻辑位置。

    ↗
  4. 04
    证明思路

    应用接口的证明思路

    说明封装接口怎样继承引擎保证,并约束外部交互。

    ↗
ZLIB × LEAN

全局目录

当前位置应用接口与外部交互