如何在TypeScript中定义包含空字符串键的合法接口？

问题背景 #

我们从服务端获取的人员-宠物关联数据，原本结构是普通用户名作为键，对应宠物名到种类的映射：

{
    John: {
        Bonny: 'cat'
    },
    Angela: {
        Roger: 'dog',
        Tweety: 'parrot'
    }
}

对应的类型定义很简单：

type AnimalToKindMap = Record<string, string>;

interface PetOwnersSummary {
    [key: string]: AnimalToKindMap;
}

但拓展到真实场景后，需要加入无主宠物的统计，用空字符串''作为键，对应动物种类到数量的映射：

{
  John: {
    Bonny: 'cat'
  },
  Angela: {
    Roger: 'dog',
    Tweety: 'parrot'
  },
  "": {
    dog: 2,
    rat: 17
  }
}

此时尝试在接口中添加空字符串键的类型定义时，会触发TypeScript错误TS2411: Property '' of type RawAnimalsSummary is not assignable to string index type AnimalToKindMap，因为接口的索引签名要求所有属性必须符合AnimalToKindMap类型，而空字符串对应的RawAnimalsSummary不兼容。

解决方案 #

方法1：使用类型别名+交叉类型 #

用Record定义普通非空字符串键的类型，再和空字符串键的类型交叉，精准匹配两种键的类型要求：

type AnimalToKindMap = Record<string, string>;
type RawAnimalsSummary = Record<string, number>;

type PetOwnersSummary = Record<Exclude<string, ''>, AnimalToKindMap> & {
  '': RawAnimalsSummary;
};

• Exclude<string, ''>表示排除空字符串的所有字符串类型，确保普通键只能是非空字符串，对应AnimalToKindMap；
• 交叉{ '': RawAnimalsSummary }专门指定空字符串键的类型，完全符合数据结构需求。

方法2：拆分类型后交叉（提升可读性） #

如果需要更清晰的类型拆分，可以把有主宠物和无主宠物的类型分开定义，再交叉合并：

type AnimalToKindMap = Record<string, string>;
type RawAnimalsSummary = Record<string, number>;

type OwnerPetsMap = Record<string, AnimalToKindMap>;
type StrayPetsMap = { '': RawAnimalsSummary };

type PetOwnersSummary = OwnerPetsMap & StrayPetsMap;

本质和方法1一致，但拆分后类型职责更明确，可读性更强。

方法3：放宽索引签名类型（不推荐） #

如果可以接受类型精度损失，也可以将索引签名设为两种类型的联合，但访问任意键时都需要手动断言类型：

type AnimalToKindMap = Record<string, string>;
type RawAnimalsSummary = Record<string, number>;

interface PetOwnersSummary {
  [key: string]: AnimalToKindMap | RawAnimalsSummary;
  '': RawAnimalsSummary;
}

这种方式能通过编译，但访问普通键时需要额外断言，比如(petOwners.John as AnimalToKindMap).Bonny，会增加类型使用成本，非必要场景不建议采用。

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