TypeScript中如何提取受约束泛型类型的超类型？

一、直接提取泛型约束的超类型？不行，但有替代方案 #

TypeScript没有原生的Super<F>工具类型可以直接提取泛型参数的约束超类型——泛型参数的约束仅作为类型上限，TypeScript不会在类型系统中保留约束的原始信息供反向提取。但你可以通过两种方式实现操作约束类型属性的需求：

方案1：直接引用原始约束类型 #

既然已经明确F extends Foo，直接在函数内使用Foo类型即可，无需从F反推：

interface Foo {
  myProp: string;
  optionalProp?: string;
}

function myFoo<F extends Foo>(foo: F) { 
  // 直接使用Foo作为目标超类型
  type X = Foo;
  // 操作Foo的已知属性
  const validKeys: (keyof Foo)[] = ['myProp', 'optionalProp'];
}

方案2：通过条件类型过滤重叠属性 #

如果需要更通用的实现（比如泛型约束是动态传入的），可以用条件类型提取与约束类型重叠的部分：

// 通用工具类型：提取T的约束超类型U
type ExtractSuper<T, U> = T extends U ? U : never;

interface Foo {
  myProp: string;
  optionalProp?: string;
}

function myFoo<F extends Foo>(foo: F) { 
  type X = ExtractSuper<F, Foo>; // X等价于Foo
}

本质上仍依赖已知的约束类型Foo，因为TypeScript无法自动追踪泛型的原始约束信息。

二、解决OptionalKeysOf无法识别Foo可选属性的问题 #

你遇到的OptionalKeysOf<F>失效问题，根源在于F可能是Foo的更具体子类型（比如将optionalProp设为必填的类型，甚至是never），导致工具函数的结果不符合预期。解决方法是直接针对Foo而非F使用工具类型：

import { OptionalKeysOf } from 'type-fest'

interface Foo {
  myProp: string;
  optionalProp?: string;
}

function myUtil<T>(myValue: T, select: OptionalKeysOf<T>) {}

function myFoo<F extends Foo>(foo: F) { 
  // 方式1：直接指定Foo的可选属性，用类型断言保证类型安全
  myUtil(foo, 'optionalProp' as OptionalKeysOf<Foo>);
  
  // 方式2：将foo断言为Foo类型，再传入工具函数
  myUtil(foo as Foo, 'optionalProp');
}

如果不想使用断言，也可以重写myUtil，让它同时接受基础类型和子类型：

function myUtil<T, U extends T>(myValue: U, select: OptionalKeysOf<T>) {}

function myFoo<F extends Foo>(foo: F) { 
  myUtil<Foo, F>(foo, 'optionalProp'); // 可选属性会被正确识别
}

三、为什么TypeScript要严格处理never类型？ #

never是TypeScript的底部类型，代表「不存在的类型」，可以赋值给任何类型，但没有任何类型能赋值给never（除了自身）。TypeScript严格处理它的原因主要有两点：

1. 保障类型安全边界：never用于表示不可能出现的场景（比如抛出异常的函数返回值、无限循环的函数返回值）。如果允许将never视为普通约束类型，会破坏类型系统的严谨性——比如never extends Foo成立，但never没有任何属性，若强行把它当成Foo操作，访问myProp会导致运行时错误。TypeScript通过延迟评估泛型，避免这种不安全的假设。

2. 保留泛型灵活性：泛型参数可以是任何满足约束的类型，包括never这种极端情况。TypeScript不会假设泛型参数是「正常」的子类型，而是保留最大灵活性，让开发者自行处理边界场景。比如你可以通过条件类型分支处理never：

type SafeKeys<T> = T extends never ? [] : keyof T;

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