Ezno 类型检查器中的参数默认值与异常捕获类型验证机制解析

在 TypeScript 这类静态类型语言中，函数参数的默认值类型与异常捕获变量的类型注解都需要与预期类型保持一致。本文将深入分析 Ezno 项目中如何实现这两类关键的类型检查机制。

参数默认值的类型验证

当函数参数设置了默认值时，Ezno 的类型系统需要确保该默认值的类型与参数的类型注解兼容。例如以下代码应该触发类型错误：

function x(a: number = "hi") {}  // 字符串不能赋值给数字类型

在实现层面，Ezno 的检查器会执行以下验证步骤：

1. 获取参数的类型注解（如示例中的 number）
2. 提取参数的默认值表达式（如示例中的 "hi"）
3. 使用 type_is_subtype 函数验证默认值类型是否是参数类型的子类型
4. 如果验证失败，则通过 checking_data.diagnostics_container 报告类型不匹配错误

核心检查逻辑位于函数处理模块中，系统会特别处理带有默认值的参数，确保类型安全。

异常捕获变量的类型验证

对于 try-catch 语句中的类型注解，Ezno 需要验证抛出的值类型是否与 catch 变量声明的类型兼容。例如：

try {
    throw 5  // 抛出数字
} catch (e: string) {  // 但声明为字符串类型
    // 应该触发类型错误
}

实现机制包括：

1. 分析 catch 子句中的类型注解（如 string）
2. 推断 throw 语句抛出值的类型（如 number）
3. 使用子类型检查验证抛出类型是否可赋值给声明类型
4. 生成相应的类型错误诊断信息

类型系统的设计哲学

这两种检查都体现了 Ezno 类型系统的核心原则：

1. 显式类型优先：当开发者显式声明类型时，系统会严格验证所有相关赋值操作
2. 早期错误检测：在编译阶段捕获类型不匹配问题，避免运行时错误
3. 一致的子类型规则：统一使用 type_is_subtype 进行类型兼容性判断

实际应用建议

开发者在 Ezno 项目中使用这些特性时应注意：

1. 为函数参数提供类型注解时，确保默认值类型匹配
2. 捕获异常时，声明的类型应足够宽泛以处理所有可能的抛出值
3. 可以利用类型断言在明确知道类型安全的情况下绕过检查

通过完善的类型检查机制，Ezno 能够帮助开发者在早期发现潜在的类型问题，提高代码质量和可靠性。这些机制虽然增加了编译时的严格性，但能显著减少运行时的类型相关错误。