如何限制接口字段匹配泛型参数？正确声明propInfo属性

要实现你需要的propInfo属性，正确的做法是使用映射类型，结合Partial来允许只声明部分属性。有两种等价的写法：

写法1：直接使用映射类型 #

interface IDescriptor<T extends object> {
    propSet1?: (keyof T)[];
    propSet2?: (keyof T)[];
    propInfo?: { [K in keyof T]?: IPropOptions };
}

写法2：使用Partial+Record语法糖 #

Record<Keys, Type>是TypeScript提供的映射类型语法糖，用来定义“键为Keys类型、值为Type类型”的对象；Partial<T>则会将对象的所有属性变为可选。两者结合正好匹配你的需求：

interface IDescriptor<T extends object> {
    propSet1?: (keyof T)[];
    propSet2?: (keyof T)[];
    propInfo?: Partial<Record<keyof T, IPropOptions>>;
}

用这两种写法，你的示例代码就能正常通过类型检查，同时支持用对象字面量赋值propInfo。

• 错误1：[key in T]
  T是对象类型，不是键类型，映射类型的键必须是string | number | symbol的子集，所以应该用keyof T来获取T的所有属性键，而不是直接用T。

• 错误2：[key: keyof T]
  TypeScript的常规索引签名（[key: Type]）不支持泛型类型作为键的类型，必须使用映射类型（[K in keyof T]）的语法来定义泛型键的对象类型。

• 错误3：Map<keyof T, IPropOptions>
  Map是ES6的集合类型，和普通对象字面量是不同的类型，不能直接用对象字面量赋值给Map，必须通过new Map()构造并添加键值对，不符合你期望的简洁写法。

在这个场景下，两者都能实现需求，但核心差异包括：

• 适用范围：

  • interface只能描述对象/类的结构，无法定义联合类型、交叉类型、基本类型（如type Age = number）。
  • type可以定义任意类型，包括映射类型、联合类型等，灵活性更高。

• 声明合并：

  • interface支持多次声明自动合并，比如：

    interface Person { name: string }
    interface Person { age: number }
    // 最终Person包含name和age
    

  • type不支持合并，重复声明会报错。

• 映射类型的直接使用：
  虽然在接口里可以通过属性类型引用映射类型，但如果是要定义一个泛型的映射类型本身，通常会用type，比如：

  type PropInfo<T> = Partial<Record<keyof T, IPropOptions>>;
  interface IDescriptor<T extends object> {
      propInfo?: PropInfo<T>;
  }
  

对于你的场景，用interface定义IDescriptor完全没问题，两种写法都能满足需求。

内容的提问来源于stack exchange，提问作者F-H