在TypeScript项目中，类型系统并非只是给变量贴标签。它含有一整套可编程的结构，能在编译期完成条件判断、映射和递归。这类能力被称作类型级编程，它与我们熟悉的运行时值级编程之间存在密切的双向交互。要利用好这种交互，首先得看清两个空间的分界以及连接它们的运算符。
类型空间与值空间的分界
在TypeScript文件里，有些声明只活在类型空间，例如interface、type、泛型形参；另一些只活在值空间，比如const、function、class表达式产生的运行时对象。class和enum比较特殊，它们会同时在类型空间和值空间生成实体。这意味着当你写class User时，User既可以作为类型用在注解里，也可以作为构造函数用在new表达式中。理解这种双重身份有助于避免混淆。
连接两个空间的典型运算符是typeof。它作用在一个值上时，会在编译期提取该值的类型。这个typeof与JavaScript运行时的typeof不同，它对应的代码在编译后会被完全擦除，不产生任何运行开销。借助typeof，我们能从已有数据推导类型，而不必手动维护两份结构。例如一个配置对象被as const修饰后，其字段会保留字面量类型，此时用typeof取到的类型就非常精确。
const config = {
host: 'localhost',
port: 5432,
retry: true,
} as const;
type AppConfig = typeof config;
上面这段代码中，AppConfig的类型为{ readonly host: 'localhost'; readonly port: 5432; readonly retry: true }。注意as const把属性全部变成只读并保留字面量，若不加as const，host会被拓宽为string，port拓宽为number，很多约束就丢失了。这个机制是从值向类型传递信息的基本方式。
类型级编程的核心工具
类型级编程主要依赖泛型、条件类型、映射类型和索引访问。泛型让类型可以接收参数，相当于类型空间的函数。条件类型通过extends判断类型间的兼容关系，实现分支逻辑。映射类型则遍历对象键并生成新的属性。把这些工具组合起来，就能在编译期对类型做复杂的变换。
type ElementType<T> = T extends (infer U)[] ? U : never; type StringItem = ElementType<string[]>; type NumberItem = ElementType<number[]>;
这里条件类型配合infer关键字，从数组类型中提取元素类型。StringItem得到string，NumberItem得到number。可见类型计算并不依赖运行时数据，而是对类型本身进行模式匹配。这种能力常用于编写工具类型，比如从Promise中解出返回值、从函数类型中提取参数元组等。
映射类型同样重要。比如想把某个类型的所有属性变为只读，可以写成{ readonly [K in keyof T]: T[K] }。keyof负责获取键名联合，in操作符在类型空间遍历联合。映射类型与typeof结合后，可以从值对象的形状生成新的类型声明，减少重复。
type ReadonlyConfig = {
readonly [K in keyof typeof config]: (typeof config)[K];
};
这段代码利用typeof config取得值对象的类型，再用keyof和映射类型生成只读版本。虽然实际项目中通常直接使用内置的Readonly<T>，但手动写一遍能清楚看到交互链路：值经过typeof进入类型空间，类型工具完成变换，最后得到新的类型用于注解。
从类型约束值的行为
另一个方向是用类型约束值的形态。泛型函数是最常见的场景。通过给参数加上类型约束，编译器可以提前拒绝不合法的调用，同时保留传入参数的具体类型。例如一个获取对象属性的函数，使用K extends keyof T来确保第二个参数确实是第一个参数的键。
function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
return obj[key];
}
const user = { name: 'Ada', age: 36 };
const name = getProperty(user, 'name');
这里类型参数T和K都作用于值空间参数obj与key。调用getProperty(user, 'name')时，编译器推断T为{ name: string; age: number }，K为'name'，进而确认返回类型是string。如果尝试传入不存在的键，编译器会直接报错。这种约束在运行时并不存在，但它大幅减少了防御代码。
satisfies操作符提供了另一种约束方式。它可以检查一个值是否符合某个类型，却不会改变该值的实际推断结果。这在既要精确字面量、又要满足接口契约时非常有用。比如一个对象需要符合Partial<User>，但又想保留每个字段的具体类型，用类型注解会丢失部分信息，而satisfies可以兼顾。
type User = {
name: string;
age: number;
};
const partialUser = {
name: 'Ada',
} satisfies Partial<User>;
上例中partialUser仍然被推断为{ name: string }，同时编译器会检查它是否可以赋给Partial<User>。如果含有不存在的字段或类型不匹配，会立即提示。satisfies在值级代码里建立了一道通往类型级检查的桥梁。
类型谓词则实现了运行时判断对类型的反馈。通过函数返回值写成value is string这样的形式，能让TypeScript在条件块内收窄类型。这与纯粹的值级判断不同，它把运行时得到的布尔结果映射成编译期可用的类型信息。
易被忽略的边界与建议
类型级编程有一个根本限制：所有类型计算都会在编译后被擦除，不会进入运行时代码。因此你不能把条件类型当成普通函数在运行时调用，也不能用类型参数参与实际的逻辑运算。凡是需要真实数据判断的地方，都必须放在值层实现；而类型层只负责描述形状和约束。
另一个常见问题是过度类型体操。深度递归的条件类型或映射类型可能让编译器变慢，也增加阅读难度。实际项目中应先考虑内置工具类型和清晰的接口设计，类型级编程更适合封装通用工具，而不是把业务规则全部搬进类型系统。在类型与值之间做合理切分，才能让TypeScript项目更健壮。
另外，类型断言和类型守卫虽然能实现交互，但滥用断言可能掩盖真实错误。优先通过类型推导和约束让编译器自动维护一致性，只在边界处使用必要的断言或守卫。理解了这些边界，你就能更从容地设计类型安全的API，并减少重复代码。
TypeScript类型级编程值级编程修改时间：2026-10-04 11:53:53