泛型基础与类型约束

Tue, 04 Mar 2025 08:37:03 +0000

考察点分析

该题目主要考察以下核心能力维度：

具体技术评估点：

使用<T extends object>时，TypeScript会强制泛型参数必须是对象类型。编译时进行类型检查，但通过类型擦除生成的JavaScript代码会移除类型参数，导致运行时无法判断具体类型。

 // 编译前
function identity<T extends object>(arg: T): T {
 return arg;
}

// 编译后
function identity(arg) {
 return arg;
}

通过<T extends object>约束泛型参数必须为对象类型，实现如下：

 function identity<T extends object>(arg: T): T {
 return arg;
}

类型擦除影响：编译后类型参数T被移除，运行时无法进行类型校验。例如identity(42)编译报错（数字不满足object约束），但编译后的代码若通过类型断言强制传递数字，运行时将无法检测类型错误。