如何在TypeScript中基于泛型类型属性实现方法参数可选

要实现仅当Params中对应属性为可选时，exec方法的第二个参数才可选，可以利用TypeScript的条件类型+Rest参数元组，或者精确的方法重载结合键类型提取来实现。

方法一：Rest参数+条件元组（简洁版） #

通过判断属性类型是否包含undefined（可选属性的默认特性），动态决定第二个参数是否可选：

interface Params {
  foo: { a: string };
  bar?: number;
}

class Statement<Params> {
  exec<Key extends keyof Params>(
    key: Key,
    ...args: undefined extends Params[Key] ? [param?: Params[Key]] : [param: Params[Key]]
  ) {
    // 从args中获取参数，必填属性时args[0]一定存在
    const param = args[0];
    console.log(key, param);
  }
}

const s = new Statement<Params>();
s.exec('foo', { a: 'a' }); // ✅ 正常编译
s.exec('foo'); // ❌ 报错：Expected 2 arguments, but got 1.
s.exec('bar'); // ✅ 正常编译
s.exec('bar', 42); // ✅ 正常编译

原理 #

• undefined extends Params[Key]：判断Key对应的属性是否为可选类型（TypeScript中可选属性的类型会自动包含undefined）。
• Rest参数...args结合条件元组：当属性可选时，元组是[param?: Params[Key]]（可选参数）；当属性必填时，元组是[param: Params[Key]]（必填参数），从而实现参数的动态可选性。

方法二：方法重载+键类型提取（清晰版） #

先定义工具类型提取Params中的必选键和可选键，再针对两种键分别定义重载：

// 提取对象中的必选属性键
type RequiredKeys<T> = { 
  [K in keyof T]-?: {} extends Pick<T, K> ? never : K 
}[keyof T];

// 提取对象中的可选属性键
type OptionalKeys<T> = { 
  [K in keyof T]-?: {} extends Pick<T, K> ? K : never 
}[keyof T];

interface Params {
  foo: { a: string };
  bar?: number;
}

class Statement<Params> {
  // 必选属性：必须传第二个参数
  exec<Key extends RequiredKeys<Params>>(key: Key, param: Params[Key]): void;
  // 可选属性：第二个参数可选
  exec<Key extends OptionalKeys<Params>>(key: Key, param?: Params[Key]): void;
  // 实现逻辑
  exec<Key extends keyof Params>(key: Key, param?: Params[Key]) {
    console.log(key, param);
  }
}

const s = new Statement<Params>();
s.exec('foo', { a: 'a' }); // ✅ 正常编译
s.exec('foo'); // ❌ 报错：Expected 2 arguments, but got 1.
s.exec('bar'); // ✅ 正常编译
s.exec('bar', 42); // ✅ 正常编译

原理 #

• RequiredKeys<T>：通过{} extends Pick<T, K>判断属性是否可省略（即可选），反向提取必选键。
• OptionalKeys<T>：同理提取可选键。
• 方法重载分别约束必选键和可选键的参数规则，TypeScript会根据传入的Key自动匹配对应的重载，确保参数的正确性。

内容的提问来源于stack exchange，提问作者cyrus-d