TypeScript 的类型兼容性采用结构化子类型系统，即只要源类型具有目标类型所要求的全部属性，就认为它们兼容。当目标类型包含索引签名时，这种结构化比较会扩展到所有可能的属性访问。索引签名分为 string 索引签名和 number 索引签名，其中 number 索引签名在兼容性判断中有着独特的行为，因为它与 JavaScript 的运行时属性键转换机制密切相关。理解这些规则有助于更准确地设计接口和类型别名。
索引签名与类型兼容性的基础
在 TypeScript 中，索引签名用于描述对象可以通过索引访问的属性类型。例如，{ [key: string]: string } 表示任意字符串属性名对应的值都是 string 类型。{ [key: number]: string } 则表示任意数字属性名对应的值都是 string 类型。表面上看，两者只是键类型不同，但在实际兼容性判断中，number 索引签名会引入额外的约束。
为什么会这样？原因在于 JavaScript 引擎内部。访问对象属性时，如果使用数字作为键，例如 obj[42]，这个数字会被转换为字符串 "42"，然后再进行属性查找。也就是说，对象的实际属性键永远都是字符串。TypeScript 正是基于这一事实，对同时声明 string 和 number 索引签名的类型做出了限制：number 索引签名返回的类型必须是 string 索引签名返回类型的子类型。这样，通过数字索引得到的值才能安全地赋值给通过字符串索引得到的值。
先看一个基础的兼容性示例：
interface NumberIndex {
[key: number]: string;
}
interface StringIndex {
[key: string]: string;
}
let strObj: StringIndex = { foo: "bar" };
let numObj: NumberIndex = strObj; // 允许：string 索引签名覆盖了所有字符串属性，包括数字字符串键
let objWithNumber: NumberIndex = { 0: "a", 1: "b" };
let objWithString: StringIndex = objWithNumber; // 报错：类型 'NumberIndex' 中缺少字符串索引签名
上面的代码展示了单向兼容：具有 string 索引签名的类型可以赋给只有 number 索引签名的类型，但反过来则不行。这是因为 string 索引签名保证任意字符串键都返回 string，而 number 索引签名只保证数字字符串键返回 string，无法覆盖非数字字符串键。TypeScript 拒绝这种不安全的赋值，这与 JavaScript 的实际行为保持一致。
number与string索引签名的兼容性约束
当对象类型同时声明了 string 索引签名和 number 索引签名时，TypeScript 会强制检查两者的返回类型关系。具体来说，number 索引签名的返回类型必须是 string 索引签名返回类型的子类型。这个规则源自数字键在运行时会被转换为字符串键的事实：每次通过数字索引访问属性，实际上都是通过对应的字符串键访问。如果 number 索引返回了一个更宽泛的类型，那么通过数字索引得到的值可能无法满足通过字符串索引访问时的类型要求，造成类型不安全。
经典的官方示例使用 Animal 和 Dog 两个接口：
interface Animal {
name: string;
}
interface Dog extends Animal {
breed: string;
}
// 错误：number 索引签名返回 Animal，不能赋值给 string 索引签名返回 Dog
interface NotOkay {
[x: number]: Animal;
[x: string]: Dog;
}
// 正确：number 索引签名返回 Dog，是 string 索引签名返回 Animal 的子类型
interface Okay {
[x: number]: Dog;
[x: string]: Animal;
}
在 NotOkay 中，通过数字索引访问时得到的值是 Animal，但通过字符串索引访问时要求得到 Dog。由于数字索引访问最终会被转换为字符串索引访问，用户可能先通过数字索引得到一个 Animal，再将它当作 Dog 使用，这显然不安全。而在 Okay 中，number 索引返回 Dog，string 索引返回 Animal，Dog 是 Animal 的子类型，因此无论通过哪种索引访问，得到的值都能安全地赋值给 Animal 类型的变量，同时还能保留更具体的 Dog 信息。
这个约束也适用于其他类型关系，例如联合类型和字面量类型。只要满足子类型关系，就可以同时声明两种索引签名。如果违反，TypeScript 会在定义类型时直接报错，而不是在使用时才发现问题。这种提前检查体现了 TypeScript 对类型安全的严格追求。
数组与number索引签名的实际表现
数组是 TypeScript 中最常见的具备 number 索引签名的类型。例如，string[] 类型可以赋值给 { [key: number]: string }，因为数组的元素类型为 string，并且数组通过数字索引访问时返回 string。下面的代码演示了这一点：
interface NumberStringMap {
[key: number]: string;
}
let arr: string[] = ["a", "b", "c"];
let map: NumberStringMap = arr; // 允许，数组具有 number 索引签名
// 通过数字索引访问
let first: string = map[0]; // 类型为 string
不过要注意，数组除了元素类型之外，还拥有 length、push、pop 等属性。在结构化类型系统中，只要目标类型只要求 number 索引签名，这些额外属性不会破坏兼容性。因此数组可以安全地赋值给只带 number 索引签名的接口或类型别名。但如果目标类型还包含其他属性要求，例如要求 length 属性类型为 number，数组同样满足，因为数组本身就有 length 属性。这种灵活性使得数组可以参与各种基于索引签名的抽象。
对象字面量在赋值给带 number 索引签名的类型时，也有类似行为。例如：
let obj: NumberStringMap = {
0: "zero",
1: "one",
2: "two"
}; // 允许，所有数字键对应的值都是 string
let badObj: NumberStringMap = {
0: "zero",
name: "not a number" // 报错：name 属性不属于 number 索引签名
};
这是因为 NumberStringMap 只接受数字索引访问，而对象字面量中的 name 属性是一个字符串键，它无法通过 number 索引访问。TypeScript 的多余属性检查会拒绝这种对象字面量赋值。如果想绕过检查，可以使用类型断言，但那样会失去类型安全，并不推荐。
常见误区与类型设计建议
第一个常见误区是认为 number 索引签名只影响数字键。实际上，由于 JavaScript 的属性键始终是字符串，number 索引签名本质上只是对数字字符串键的约束。许多开发者会忽略这一点，导致在同时声明 string 和 number 索引签名时出现类型不兼容的错误。理解“数字索引访问最终转换为字符串索引访问”是掌握这一机制的关键。
第二个误区是过度依赖 number 索引签名来约束对象的所有属性。如果希望一个对象的所有属性都具有相同类型，应该使用 string 索引签名，因为它覆盖范围更广。只有当明确只关心数字键时，才使用 number 索引签名。例如，在表示类数组结构或稀疏数组时，number 索引签名是合理的选择。但在表示普通字典或配置对象时，string 索引签名更符合实际用途。
在实际类型设计时，如果确实需要同时使用两种索引签名，务必让 number 索引签名的返回类型保持为 string 索引签名返回类型的子类型。一个实用的技巧是先用一个宽泛的基类型定义 string 索引签名，再用更具体的派生类型定义 number 索引签名。这样可以同时享受数字索引的精确类型检查和字符串索引的通用性。例如：
interface Entity {
id: number;
}
interface User extends Entity {
name: string;
}
interface EntityMap {
[key: string]: Entity;
[key: number]: User; // User 是 Entity 的子类型，合法
}
通过这种方式，可以通过数字索引访问到更具体的 User 类型，而通过字符串索引访问时得到 Entity 类型。这种设计在需要区分数字键和字符串键含义的场景中非常有用，例如数组、元组或带数字 ID 的实体集合。
最后，建议在编写涉及索引签名的代码时，多使用类型别名和映射类型来减少重复。例如，可以使用 Record<number, string> 来替代手写的 number 索引签名。但需要注意，Record<number, string> 生成的是具有 number 索引签名的类型，它和手写接口在兼容性行为上是一致的。无论使用哪种方式，理解 number 索引签名背后的类型兼容性规则，才能真正写出类型安全且符合直觉的 TypeScript 代码。
TypeScript类型兼容性number索引签名索引签名约束修改时间：2026-10-03 23:56:41