使用keyof获取类的实例与静态成员的TypeScript类型定义问题

问题分析 #

你需要实现一个函数，接收类作为第一个必填参数，第二个可选配置项可以指定要标记的实例成员和静态成员，同时解决之前类型定义失效、参数错误提示错位的问题。

1. 修复Members类型定义失效问题 #

你之前的类型写法存在逻辑错误：

• keyof Partial<T>等价于keyof T，Partial仅修改属性可选性，不会改变键的集合；
• 配置项需要支持可选的成员标记，而非强制包含所有成员。

正确的类型定义如下（两种写法等价，按需选择）：

写法一：使用Record与Partial组合 #

type MemberConfig<InstanceType, StaticType> = 
  // 实例成员：可选键，值为boolean
  Partial<Record<keyof InstanceType, boolean>> & 
  // 静态成员：可选嵌套对象，内部为可选键值对
  { static?: Partial<Record<keyof StaticType, boolean>> };

写法二：使用映射类型 #

type MemberConfig<InstanceType, StaticType> = {
  [K in keyof InstanceType]?: boolean;
} & {
  static?: {
    [K in keyof StaticType]?: boolean;
  };
};

2. 正确实现函数并解决错误提示错位问题 #

之前的泛型约束写法会导致TypeScript类型推断混乱，进而出现错误提示指向错误参数的情况。我们可以通过构造函数类型直接推导实例类型，固定推断顺序：

class testCase {
  a = '';
  static b = '';
}

type MemberConfig<InstanceType, StaticType> = {
  [K in keyof InstanceType]?: boolean;
} & {
  static?: {
    [K in keyof StaticType]?: boolean;
  };
};

// 泛型C代表构造函数类型，InstanceType<C>自动获取类的实例类型
function myFunc<C extends new () => any>(
  cls: C,
  config?: MemberConfig<InstanceType<C>, C>
) {
  // 示例逻辑
  console.log('目标类:', cls);
  console.log('成员配置:', config);
}

// 测试三种合法调用方式
myFunc(testCase, { a: true, static: { b: true } });
myFunc(testCase, { static: { b: true } });
myFunc(testCase, { a: true });

// 测试错误输入：会准确提示参数错误
// myFunc(testCase, { c: true }); // 类型错误：'c'不是testCase的实例成员
// myFunc(testCase, { static: { c: true } }); // 类型错误：'c'不是testCase的静态成员

错误提示错位的原因 #

你之前的myFunction中，泛型T和Y是独立推断的。当第二个参数传入错误的实例成员时，TypeScript会尝试调整T的类型来匹配错误键，这会破坏Y extends {new(): T}的约束，最终错误被错误关联到第一个参数上。

通过InstanceType<C>从构造函数类型直接推导实例类型，我们固定了推断顺序：先确定构造函数cls的类型，再基于它确定实例和静态成员的合法键，避免了推断混乱，错误提示会准确指向出错的参数。

最终效果 #

• 完全支持你需要的三种调用方式；
• 传入不存在的成员时，TypeScript会精准提示错误；
• 类型约束严格，确保配置项只能包含类的合法实例或静态成员。

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