如何在TypeScript中通过索引签名指定对象的属性数量？

为什么你的代码没报错？ #

你定义的{[key: string]: string}是索引签名，它的意思是：这个对象可以包含任意数量的字符串类型键，对应的值必须是字符串。所以你加两个属性完全符合类型要求，TypeScript当然不会报错——你之前误解了索引签名的作用，它不是用来限制属性数量的，而是用来描述“任意键值对”的结构。

如何指定对象允许的属性数量？ #

TypeScript没有直接提供“限制属性数量”的语法，但可以用泛型、条件类型这类技巧实现需求。

1. 仅允许恰好1个属性的对象 #

如果需要对象只能有任意名称的单个属性，可以用泛型结合Record实现严格限制：

// 泛型类型：指定键名K，同时禁止其他任何键
type SinglePropObj<K extends string> = Record<K, string> & {
  [ExtraKey in Exclude<string, K>]: never;
};

// 正确用法
let o1: SinglePropObj<"singlePropertyWithRandomName"> = {
  singlePropertyWithRandomName: "abcd"
};

// 多写属性会直接报错
// let o1Error: SinglePropObj<"singlePropertyWithRandomName"> = {
//   singlePropertyWithRandomName: "abcd",
//   extraProp: "oops" // 错误：'extraProp'的类型不能赋值给never
// };

如果不需要固定键名，只要求属性数量必须是1，可以先创建对象再用工具类型校验：

// 检查对象是否恰好有一个属性的工具类型
type HasExactlyOneProp<T> = keyof T extends infer K
  ? K extends string
    ? Record<K, string> & { [key: string]: never }
    : never
  : never;

// 使用示例：先定义原始对象，再断言类型
const o1Raw = { singlePropertyWithRandomName: "abcd" } as const;
let o1: HasExactlyOneProp<typeof o1Raw> = o1Raw;

2. 允许恰好N个属性的对象（比如1000个） #

对于固定数量的属性，可以通过递归泛型构建对应类型：

// 辅助类型：生成指定长度的元组，用来推导数字范围
type BuildTuple<L extends number, T extends any[] = []> = 
  T['length'] extends L ? T : BuildTuple<L, [...T, any]>;

// 辅助类型：生成1到N的数字字符串联合类型
type NumberRange<Min extends number, Max extends number> = 
  Exclude<keyof BuildTuple<Max>, keyof BuildTuple<Min>>;

// 定义恰好N个属性的类型：键名任意，但数量必须等于N
type ExactlyNProps<N extends number> = {
  [K in string]: string;
} extends infer T
  ? T extends { [key: string]: string }
    ? keyof T extends infer Ks
      ? Ks extends string[]
        ? Ks['length'] extends N
          ? T
          : never
        : never
      : never
    : never
  : never;

// 示例：限制为3个属性（1000个同理）
let o2: ExactlyNProps<3> = {
  prop1: "abcd",
  prop2: "efgh",
  prop3: "xyz"
};

// 属性数量不对会报错
// let o2Error: ExactlyNProps<3> = { prop1: "a", prop2: "b" }; // 类型错误

注意：如果N是很大的数字（比如1000），递归泛型可能触发TypeScript的深度限制，此时建议结合运行时检查（比如if (Object.keys(o2).length !== 1000) throw new Error('属性数量错误')）来补充校验。

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