TypeScript泛型子类继承方法参数可选键的异常行为问询

在使用带泛型参数的子类时，发现了以下异常类型检查行为：

1. 如下代码无编译错误：

// 此代码无编译错误
abstract class BaseClass<Input extends object, Output extends object> {
  public abstract execute(input: Input): Output | void
}

class ChildClass extends BaseClass<{ content: string }, {}> {
  public execute(input: {content: string }){
    return true;
  }
}

2. 将父类泛型的content设为可选后，子类execute方法仍可要求content为必填，无编译错误：

class ChildClass extends BaseClass<{ content?: string }, {}> {
  public execute(input: {content: string }){
    return true;
  }
}

3. 若在父类execute方法的参数中添加一个强制键（如__trustMeImNecessary: true），类型检查则恢复正常，此时上述代码会报错：Type '{ content?: string | undefined; } & { __trustMeImNecessary: undefined; }' is not assignable to type '{ content: string; }'，将content设为必填后则无错误。

请问该行为是否正常？能否使用此hack解决问题？

行为是否正常？ #

这个行为是TypeScript方法参数逆变检查的特性限制导致的，属于设计范围内的表现，并非bug。

TypeScript中，方法参数遵循逆变规则：当子类重写父类方法时，子类方法的参数类型可以比父类更宽泛（即父类参数类型是子类参数类型的子类型），以此保证里氏替换原则——用子类实例替换父类实例时，传入父类允许的参数，子类方法也能处理。

但在处理可选属性的对象类型时，TypeScript的结构类型系统会认为{ content: string }是{ content?: string }的子类型（因为前者的属性更严格，能兼容后者的所有可能值）。这就导致子类方法要求必填content时，TypeScript认为这符合逆变规则，不会触发错误。

能否使用该hack解决问题？ #

可以用这个hack临时解决，但不推荐作为长期方案：

为什么hack有效？ #

添加强制键__trustMeImNecessary: true后，父类的参数类型变成{ content?: string } & { __trustMeImNecessary: true }，而子类方法的参数{ content: string }并不包含这个强制键，此时TypeScript会检测到类型不兼容，因为父类参数要求必须有__trustMeImNecessary键，而子类方法的参数没有，从而触发预期的错误。

不推荐的原因： #

1. 代码污染：添加无意义的强制键会污染类型定义，增加代码理解成本，不符合代码规范。
2. 脆弱性：如果后续TypeScript的类型检查逻辑调整，这个hack可能失效。
3. 有更优方案：可以通过显式约束子类方法的参数类型必须严格匹配父类泛型，或者使用Exact类型来强制严格结构匹配：

更优替代方案：使用Exact类型

定义一个Exact类型工具，强制子类参数类型与父类泛型完全一致：

type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

abstract class BaseClass<Input extends object, Output extends object> {
  public abstract execute<T extends Exact<T, Input>>(input: T): Output | void
}

// 此时子类如果用必填content继承可选content的父类，会报错
class ChildClass extends BaseClass<{ content?: string }, {}> {
  // 编译错误：类型 '{ content: string; }' 不能赋值给类型 'Exact<{ content: string; }, { content?: string | undefined; }>'
  public execute(input: {content: string }){
    return true;
  }
}

这个方案通过类型工具实现严格匹配，比hack更清晰、更可靠。

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