为何特定事件函数无法赋值给泛型事件函数类型？

我想实现一个类型工具，能把已知类型作为类型参数传入并保证类型正确。比如当已知参数是MouseEvent时，写EventHandler<MouseEvent>，工具能自动展开成(e: MouseEvent) => any方便使用。

给定代码：

type Fn = <T extends Event>(e: T) => any;
const fn: Fn = (e: MouseEvent) => 3;

遇到错误：

Type '(e: MouseEvent) => number' is not assignable to type 'Fn'.
Types of parameters 'e' and 'e' are incompatible.
Type 'T' is not assignable to type 'MouseEvent'.
Type 'Event' is missing the following properties from type 'MouseEvent': altKey, button, buttons, clientX, and 23 more.(2322)

明明MouseEvent是Event的子类，符合T extends Event的约束，为什么会出现类型不兼容的错误？

问题根源：泛型函数的兼容性逻辑 #

你定义的Fn是泛型函数类型，它要求函数能接受任意符合T extends Event的类型参数——也就是说，调用fn时传入Event、KeyboardEvent、MouseEvent等任何Event子类都得能正常执行。

但你赋值的(e: MouseEvent) => 3只能接受MouseEvent类型的参数，如果强行把它当成Fn来用，调用时传入普通Event对象，函数内部访问e.clientX这类MouseEvent独有的属性就会直接报错。TypeScript的类型检查正是为了阻止这种不安全的赋值。

简单说：泛型函数要求函数对所有约束内的类型都兼容，而你的函数只兼容MouseEvent这一种类型，不符合泛型函数的要求。

正确实现你想要的类型工具 #

你需要的不是泛型函数，而是泛型类型别名，把类型参数放在别名层面，而非函数层面：

type EventHandler<T extends Event> = (e: T) => any;

// 符合预期的使用方式
const mouseHandler: EventHandler<MouseEvent> = (e) => 3; // e自动推导为MouseEvent
const keyHandler: EventHandler<KeyboardEvent> = (e) => e.key; // e自动推导为KeyboardEvent

这种写法下，EventHandler<MouseEvent>会直接展开为(e: MouseEvent) => any，完美满足需求——给特定事件类型定义对应的处理函数，同时保证类型安全。

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