嘿，你良好！今天我想跟你聊聊 TypeScript 的一个较小细节——数组索引类型怎么推断出来啊？我之前在写项目的时候就遇到了一堆坑，所以打算把经验写下来分享给你。别看我说得乱糟糟，其实有点道理，掉链子。。

一、先说个概念：数组索引类型是哪些？

干就完了！ 我们都了解 JavaScript 有数组，是用来存放一堆值的容器。而 TypeScript 在这基础上更多了一个东西叫 “索引类型”。简洁就是告诉编译器：如果你访问 arr，当前这个位置里会是哪些样的数据？

比如：

let nums = ; // 这里 TypeScript 会默认 nums 的元素是 number
nums = 'hello'; // 报错， 这是因为 10 位应当是 number

所以说如果我们想让 TS 能够准确了解各个位置有可能出现的类型，就得让它自己去推断。

为哪些要关心它？

梳理梳理。 这是因为很更多时候我们会用到联合类型、 元组或者泛型函数，这一些地方如果不让 TS 推断出来就只能手动声明，麻烦又简单出错。

二、TS 的推断机制到底怎么跑的？

T S 的推断其实挺简洁：它会从你给出的初始值启动，然后往后走。如果你给的是字面量， 那么它就直接把字面量当作常量；如果你给的是表达式，它就去找当前这个表达式能得到哪种最通用的类型。

• A: 当你把对象放进数组时 如果对象结构不一致，TS 会自动合并成一个更较宽泛的接口。
• B: 如果你用了任意， 那整个数组都会变成 any 类型，然后根本没法做检查。
• C: 元组很十分沉关键，它能够保留各个位置具体的类型信息。

举个例子：

// 元组示例
const pair:  = ;
// pair 是 number， pair 是 string
// 普通数组示例
const arr = ; // TS 推断成 
arr.push; // OK，这是因为 true 属于 boolean，而 boolean 在联合里也能被接收

就算.... 噪音：我真实的不了解这段代码为哪些能跑通，但我就是这么写良好的。123456789abcde!@#$%^&*

较小提醒：

不要遗忘给你的变量加上正确的初始值，否则 TS 就会报错“Cannot find name 'xxx'”。还有啊，有时候只要加个空格，就能让编译器识别成数字而不是字符串。

三、怎样手动声明更精准的索引类型？

// 用 interface 定义一个对象， 然后再包装进数组 interface User { id 内卷... : number; name: string; } const usersArray: User = ;

// 用 type 别名来描写元组里的不同事件 type EventA = {type:'click'; x:numb 靠谱。 er; y:number}; type EventB = {type:'hover'; element:string};

type EventUnion = EventA | EventB;

// 用 readonly + keyof 来保持不可变性和可靠性 const 这也行？ eventsReadOnly: readonly EventUnion = ;

// 再来个泛型函数，让它根据传进去函数返回值生成对应的崭新数组 function getValues( ...args:T ):{ -readonly : ReturnType } { return args.map); } const values= getValues( =>'a', =>123, =>true ); // values 的静态类型应当是，不错。

噪声文字：我看到当前这个代码块后忽然想起了较小学时玩过的一款游戏叫“连连看”，感觉跟数据结构有点像……但是当前又觉得跟前端没啥关系……哈哈哈！ 我整个人都不好了。 12345678901234567890!

四、 常见错误和坑点

: 写成 let arr : any 后再试图访问 arr.prop 时根本不会报错，这是因为 any 跳过检查。 : 用 as const 把普通数组强较大制为元组， 却遗忘加 readonly引起后续修改报错。”不管怎样，我在项目里时常碰到这种情况。” : 在接口里采用 {:any} 时 TS 不会帮你细化子属性，更简单出现“Element implicitly has an 'any' type”警告。 : 在 Vue 项目中，用 data 返回对象时遗忘声明属性类型，会引起 `，太暖了。