在TypeScript开发中，异常处理是不可或缺的一环。当我们使用try catch语句捕获错误时，往往会遇到一个令人头疼的类型问题。在严格模式下，catch块中的error对象类型被推断为unknown，这意味着我们无法直接读取它的message属性。为了访问错误信息，开发者常常被迫使用as any进行类型断言，这无疑破坏了TypeScript引以为傲的类型安全性。本文将深入探讨如何在不牺牲类型安全的前提下，优雅地处理try catch中的error类型。
为什么catch块的error类型是unknown
在TypeScript 4.0版本之前，catch块中的error参数类型默认被推断为any。这允许开发者随意访问error的任何属性而不会产生编译错误。然而，这种宽松的类型检查带来了巨大的隐患。因为在实际运行时，抛出的错误可能是Error对象、字符串、数字甚至是一个普通的JavaScript对象。如果直接假定error拥有message属性，一旦抛出的是非Error类型的值，就会导致运行时崩溃。
为了解决这一安全隐患，TypeScript团队在4.0版本引入了useUnknownInCatchVariables编译选项，并在严格模式下默认开启。这意味着catch块中的error类型变成了unknown。unknown类型是TypeScript中的顶级类型，它告诉编译器：我们不知道这个值是什么类型，因此在对其进行任何操作之前，必须先进行类型检查。这一改变虽然增加了代码的严谨性，但也要求开发者必须显式地收窄类型。
理解这一设计初衷非常重要。它不是为了给开发者添堵，而是为了在编译阶段拦截那些因为错误假设而可能引发的运行时异常。只有通过正确的类型收窄，我们才能安全地提取错误信息，从而编写出真正健壮的代码。
使用类型守卫进行安全的错误解析
面对unknown类型的error，最直接且符合规范的做法是使用类型守卫。JavaScript本身提供了instanceof操作符，我们可以用它来判断error是否为Error对象的实例。通过这种判断，TypeScript会自动将error的类型收窄为Error，从而允许我们安全地访问message和name等属性。
try {
// 可能抛出异常的代码
JSON.parse(invalidJsonString);
} catch (error) {
if (error instanceof Error) {
console.error(error.message);
} else {
console.error('发生了一个未知的错误', error);
}
}
虽然instanceof能够解决大部分常见场景，但它并非万能。在某些跨域执行环境或第三方库中，抛出的错误可能并不是标准的Error实例，或者原型链在序列化过程中丢失了。此时，我们可以利用自定义类型守卫来进行更灵活的判断。通过检查对象是否具有特定的属性（如message属性且类型为string），我们可以构建更宽容的解析逻辑。
function isErrorLike(error: unknown): error is { message: string } {
return typeof error === 'object' && error !== null && 'message' in error && typeof (error as Record<string, unknown>).message === 'string';
}
try {
riskyOperation();
} catch (error) {
if (isErrorLike(error)) {
console.error(error.message);
} else {
console.error('捕获到非标准错误对象');
}
}
自定义类型守卫的优势在于其极高的可扩展性。无论第三方库抛出何种结构的错误对象，只要我们能够明确其特征属性，就可以编写对应的类型守卫函数。这种方式不仅保证了类型安全，还使得错误处理逻辑更加清晰和易于维护，避免了冗长的if-else嵌套和类型断言。
封装统一的错误处理工具函数
在大型项目中，如果每个try catch块都重复编写类型守卫逻辑，会导致大量样板代码。为了提升开发效率，我们可以封装一个统一的错误处理工具函数。这个函数接收unknown类型的error，并返回一个包含标准错误信息的对象。这样，业务代码只需调用该函数即可获取格式化后的错误信息，无需关心底层的类型收窄细节。
interface NormalizedError {
message: string;
code?: string;
stack?: string;
}
function normalizeError(error: unknown): NormalizedError {
if (error instanceof Error) {
return {
message: error.message,
stack: error.stack
};
}
if (typeof error === 'string') {
return { message: error };
}
if (typeof error === 'object' && error !== null) {
return { message: JSON.stringify(error) };
}
return { message: '未知错误类型' };
}
通过这种封装，我们将复杂的类型判断逻辑集中在一处管理。当未来需要支持新的错误格式时，只需修改normalizeError函数即可，所有调用该函数的地方都会自动受益。这符合软件工程中的DRY原则，极大地降低了代码的维护成本。
更进一步，我们可以结合函数式编程的思想，引入Result模式（如Ok和Err类型）来替代try catch。虽然这需要引入额外的第三方库（如neverthrow），但它能将异常转化为普通的值流，使得错误处理变得更加显式和可预测。不过，在传统的异步代码中，使用封装好的normalizeError工具函数已经能够优雅地解决绝大多数error类型处理难题。
TypeScripttry catcherror类型修改时间：2026-08-28 07:34:38