启用严格类型检查编译：让打印扫描代码更可靠

在开发打印和扫描相关的程序时，经常会遇到数据格式不一致的问题。比如从扫描仪读取的图像元数据可能是字符串，但后续处理却当成数字使用，结果导致程序崩溃或输出异常。这类问题在项目变大后尤其难排查。

为什么需要启用严格类型检查编译

很多现代编程语言支持在编译阶段开启严格类型检查。以 TypeScript 为例，在 tsconfig.json 中设置 "strict": true，就能激活包括类型推断、空值检测在内的多项检查机制。一旦某个函数期望接收一个表示分辨率的数字（如 DPI），而你传入了来自表单输入的字符串，编译器会立刻报错。

{
  "compilerOptions": {
    "strict": true,
    "target": "ES2020",
    "module": "commonjs"
  }
}

这种机制对打印配置逻辑特别有用。例如用户选择“双面打印”选项时，前端传给后端的数据必须是布尔值。如果因为疏忽把字符串 "true" 发过去，服务端解析失败可能导致打印任务卡住。启用严格类型检查后，这样的传参错误会在写代码阶段就被发现。

实际应用场景

设想一个企业文档扫描系统，需要将扫描后的文件自动分类并上传。其中 OCR 识别模块要求图像 DPI 不低于 200。如果配置项被误设为字符串 "150"，运行时可能不会立即出错，但识别准确率大幅下降。通过定义接口规范并启用严格类型检查：

interface ScanConfig {
  resolution: number;
  colorMode: 'color' | 'grayscale';
  enableOcr: boolean;
}

function processScan(config: ScanConfig) {
  // 处理逻辑
}

只要调用 processScan 时传入不符合结构的参数，编辑器就会标红提示。这相当于在按下“扫描”按钮前，先过一遍代码关。

类似的，在生成 PDF 打印文件时，页边距单位容易混淆。有人用毫米，有人用英寸。通过类型别名明确标注：

type Millimeters = number;
type Inches = number;

function setMargins(margin: Millimeters) {
  // 转换为像素或其他内部单位
}

即使数值相同，类型不同也无法直接赋值，减少了因单位混乱导致的打印错位问题。

如何逐步引入到现有项目

不是所有项目都能一开始就全面启用严格模式。可以从局部开始，比如先对新写的扫描配置模块开启 strictNullChecks，确保没有未定义的字段被传入关键流程。然后逐步扩展到整个构建链路。

配合 ESLint 和 Prettier，可以在保存文件时自动提示类型问题，就像拼写检查一样自然。团队成员提交代码前就能看到反馈，避免把低级错误带到测试环境。