为什么TypeScript的catch子句仅允许标注any/unknown，不支持自定义类型？

TypeScript的这个限制是和JavaScript的底层运行逻辑绑定的：

• JavaScript 支持抛出任意类型的值，你可以throw 123、throw 'error message'甚至throw undefined，没有规定只能抛出Error类的实例，所以静态类型系统无法保证catch块捕获到的错误一定是你预期的ValidationError类型
• 你提到的Java有严格的异常体系：只有继承自Throwable的类才能被抛出，还支持多catch块按类型匹配，类型可以在编译期做校验，而JavaScript/TypeScript没有这类语法特性，自然没法做对应的静态类型保证
• 如果允许你直接给catch参数标注自定义类型，等于你绕过了类型检查，强行假设错误类型是你预期的，一旦运行时抛出了其他类型的错误，你的代码就会出现运行时异常，TS的这个限制本质是在强制你处理类型不安全的场景

你完全不需要用any，只要把catch参数标注为unknown，再通过类型窄化确认是ValidationError类型即可，修改后的代码如下：

const handleSubmit = async (): Promise<void> => {
    try {
      const isValid = await userSchema.validate(values, { abortEarly: false });
      console.log(isValid);
    } catch (err: unknown) {
      // 先通过instanceof判断是不是yup的ValidationError实例
      if (err instanceof yup.ValidationError) {
        console.log(err);
        const errors = getValidationErrors(err);
        // 后续业务处理逻辑
      } else {
        // 处理其他非预期错误的场景，比如系统报错、网络错误等
        console.error('非预期错误：', err);
      }
    }
}

这个方案完全符合TS的类型规范，也覆盖了所有可能的错误场景，比直接用any更安全。

如果你确定当前try块里只会抛出ValidationError，也可以用类型断言，写法更短，注意这种方式没有运行时校验，如果出现非预期错误会有隐患：

catch (err: unknown) {
  const errors = getValidationErrors(err as yup.ValidationError);
}

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