Toit中使用zip.toit实现数据压缩解压的最简示例咨询

Toit 内置的 zip 模块默认基于 DEFLATE 算法实现单段数据的压缩、解压，也支持标准ZIP压缩包的读写操作，以下是常见场景的可运行示例：

1. 字符串压缩与解压 #

逻辑说明：先将字符串转换为二进制数组（ByteArray）后压缩，解压后再转回字符串即可

import zip

main:
  // 原始测试字符串
  original_str := "测试用字符串，支持中文、英文、符号混合：Hello World! 1234567890"
  // 压缩操作
  compressed_data := zip.deflate original_str.to_byte_array
  print "原始长度：$original_str.size 字节 | 压缩后长度：$compressed_data.size 字节"

  // 解压操作
  decompressed_bytes := zip.inflate compressed_data
  decompressed_str := decompressed_bytes.to_string
  // 校验结果
  print "内容匹配结果：$(decompressed_str == original_str)"

2. 二进制数组（ByteArray）压缩与解压 #

针对二进制数据可直接调用压缩、解压接口，无需额外转换：

import zip

main:
  // 生成测试用二进制数组（示例为1KB的规则数据）
  original_bytes := ByteArray 1024: | index | index % 256
  // 压缩操作
  compressed_data := zip.deflate original_bytes
  print "原始长度：$original_bytes.size 字节 | 压缩后长度：$compressed_data.size 字节"

  // 解压操作
  decompressed_bytes := zip.inflate compressed_data
  // 校验结果
  print "内容匹配结果：$(decompressed_bytes == original_bytes)"

• 若需要处理多文件的标准ZIP压缩包，可使用zip.ZipWriter打包、zip.ZipReader解包，上述为单段数据的最简实现。

内容的提问来源于stack exchange，提问作者Michael Kanzieper