TypeScript 中泛型约束（extends）必须在默认类型（=）之前，且默认类型须满足约束；正确示例包括字符串/数组长度处理、对象键安全访问及接口配置简化；错误写法如默认类型不满足约束或顺序颠倒将导致编译报错。
在 TypeScript 中，泛型约束（extends）和默认类型（=）可以一起使用，但必须遵守严格的语法顺序和语义规则：先写约束，再写默认值，且默认类型必须满足该约束。
语法格式必须是 <T extends Constraint = DefaultType>
这是硬性要求。TypeScript 不允许颠倒顺序，比如 <T = DefaultType extends Constraint> 会直接报错。
- 约束定义了 T 的“合法范围”，例如必须有
length属性或实现某个接口 - 默认类型只在调用时未显式传入类型参数时生效，但它本身必须落在约束范围内
- 如果默认类型不满足约束，编译器会拒绝——不是运行时报错，而是编辑器里立刻标红
常见正确组合示例
这些写法经过验证，符合工程实践：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
-
✅ 安全的字符串/数组通用处理：
function logLength<T extends { length: number } = string>(val: T): number { return val.length; }
调用logLength("hi")自动用string；logLength([1,2])显式推导为number[]；logLength(42)编译失败 -
✅ 对象键安全访问：
function getProp<T extends Record<string, any>, K extends keyof T = keyof T>(obj: T, key: K): T[K] { return obj[key]; }
默认K是对象所有键的联合类型，调用时可省略，也能防止传入非法属性名 -
✅ 接口配置简化：
interface ApiResponse<T = unknown> { code: number; data: T; }const res: ApiResponse<string> = { code: 200, data: "ok" };或直接ApiResponse使用默认unknown
容易出错的写法
这些看似合理，实则无法通过类型检查：
立即学习“Java免费学习笔记（深入）”；
-
❌ 默认类型超出约束：
interface User { name: string; }<br>function getUser<T extends User = {}>(u: T) { return u; }{}没有name，不满足User约束 -
❌ 用
any或unknown作默认值（除非约束本身宽松）：<T extends string = any>会报错，因为any不是string的子类型 -
❌ 多个泛型参数间约束混乱：
<T extends U, U = number>是合法的，但<U = number, T extends U>会报错——顺序不能换
实际开发中的建议
这类组合不是炫技，而是为高频场景降噪：
- 优先选具体、常用类型作默认值，比如
string、number、Record<string, unknown>，避免用any或空对象 - 约束尽量用最小必要接口，例如只需
length就别强制ArrayLike，否则默认值难匹配 - 在泛型函数、接口、类中都支持该写法，但类构造器本身不参与类型推导，实例方法才真正受益
