TypeScript中如何扩展参数类型？实现effect的prop2动态可选/必填

一、让prop2参数随实例动态切换可选/必填 #

核心思路是给Class1添加泛型参数，通过泛型标记prop2的必填状态，以此约束effect方法的参数类型，从根源解决类型不兼容问题。

具体实现示例：

// 泛型Class1，T标记prop2是否必填，默认设为可选
class Class1<T extends boolean = false> {
  // 根据泛型T的取值，动态确定prop2的可选性
  effect: T extends true 
    ? (prop1: string, prop2: { anotherProperty: () => void }) => void 
    : (prop1: string, prop2?: { anotherProperty: () => void }) => void;

  constructor(effect: Class1<T>['effect']) {
    this.effect = effect;
  }
}

// 创建要求prop2必填的实例
const requiredInstance = new Class1<true>((prop1, prop2) => {
  // 此处prop2被类型系统标记为必填，直接调用即可
  prop2.anotherProperty();
});

// 创建允许prop2可选的实例
const optionalInstance = new Class1((prop1, prop2) => {
  if (prop2) {
    prop2.anotherProperty();
  }
});

二、不用可选链调用prop2.anotherProperty的方案 #

只要让TypeScript确认prop2的存在性，就能直接调用方法，无需可选链，常见两种实现方式：

1. 泛型约束（推荐） #

如上面的示例，当实例被声明为Class1<true>时，类型系统会明确prop2是必填项，直接调用anotherProperty不会触发类型错误。

2. 运行时类型守卫 #

若无法通过泛型提前约束，可在代码中添加存在性检查，让TypeScript自动推断prop2的存在：

function fixedEffect(prop1: string, prop2?: { anotherProperty: () => void }) {
  // 提前拦截prop2不存在的情况
  if (!prop2) {
    throw new Error('prop2 must be provided here');
  }
  // 此处prop2已被确认存在，直接调用方法
  prop2.anotherProperty();
}

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