MethodDecorator与ClassDecorator无交集，为何联合类型仍能限制装饰器？

先明确几个核心逻辑：

1. experimentalDecorators模式下的装饰器校验规则 #

开启experimentalDecorators后，TypeScript会根据你装饰的目标（类、方法、属性等），自动校验装饰器函数是否适配对应场景的内置装饰器类型：

• 装饰类时，检查是否符合ClassDecorator签名；
• 装饰方法时，检查是否符合MethodDecorator签名；
• 装饰属性时，检查是否符合PropertyDecorator签名。

2. 三个装饰器类型的本质差异 #

先看TypeScript内置的类型定义：

// 类装饰器：仅接收类构造函数作为唯一参数
type ClassDecorator = <TFunction extends Function>(target: TFunction) => TFunction | void;

// 方法装饰器：接收目标对象、属性名、属性描述符三个参数
type MethodDecorator = <T>(target: Object, propertyKey: string | symbol, descriptor: TypedPropertyDescriptor<T>) => TypedPropertyDescriptor<T> | void;

// 属性装饰器：接收目标对象、属性名两个参数
type PropertyDecorator = (target: Object, propertyKey: string | symbol) => void;

ClassDecorator和MethodDecorator的参数个数、类型完全不重叠，看似没有交集，但这正是联合类型能生效的关键。

3. 联合类型的分支匹配生效逻辑 #

当你把装饰器类型声明为MethodDecorator | ClassDecorator时：

• 装饰类：TypeScript会尝试匹配ClassDecorator分支，只要你的装饰器能处理单参数的类构造函数，就通过校验；
• 装饰方法：匹配MethodDecorator分支，能处理三参数就通过；
• 装饰属性：TypeScript会尝试匹配PropertyDecorator，但联合类型里的两个分支，一个需要1个参数、一个需要3个参数，都和属性装饰器要求的2个参数不兼容，因此直接抛出编译错误——这就是它能限制不能装饰属性的原因。

4. 移除联合分支后不报错的原因 #

如果移除这个联合分支，比如你的装饰器类型只是一个自定义泛型函数（比如(...args: any[]) => any），TypeScript在experimentalDecorators模式下会放松校验：因为它无法确定这个函数是否适配属性装饰器的签名，会默认允许它用于任何装饰场景，自然就不会再抛出属性装饰的错误。

（注：你提到的MethodDecorator & ClassDecorator应该是笔误，交叉类型的话这个类型是never，不可能有函数同时满足两个完全不同的签名，实际生效的应该是联合类型|）

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