9、TypeScript 类型系统高级特性解析

TypeScript 类型系统高级特性解析

1. 索引签名与属性类型冲突问题

在 TypeScript 中，当定义索引签名时，如果其他属性的类型与索引签名的类型不兼容，就会出现错误。例如：

type StringDictionary = {
  [index: string]: string;
  count: number;
  // Error: Property 'count' of type 'number' is not assignable
  // to 'string' index type 'string'.(2411)
};

这是因为索引签名表明所有字符串键都映射到字符串类型，而 count 属性是数字类型，存在歧义，TypeScript 不允许这种情况。解决办法是扩大索引签名的类型，确保小类型是大类型的一部分：

type StringOrNumberDictionary = {
  [index: string]: string | number;
  count: number; // works
};

索引签名和映射类型是强大的工具，可用于处理 Web API 和灵活的数据结构。

2. 区分缺失属性和未定义值

在实际开发中，缺失属性和未定义值是不同的概念，在某些情况下这种差异很重要。

问题描述 ：在 TypeSc