TypeScript中unknown[]运算符优先级及export declare相关技术疑问

一、关于<T extends unknown[]>的类型约束与keyof数组的处理 #

• 运算符优先级说明：T extends unknown[]中，unknown[]是一个完整的类型（unknown类型的数组），意思是T必须是unknown数组或其子类型，并非T继承unknown后再关联数组语法，数组类型的写法优先级高于extends的约束逻辑。
• keyof对Array类型的作用：TypeScript中，keyof Array会返回数组的所有公共属性键，既包括数值索引（如"0"、"1"这类字符串形式的索引），也包括数组原型上的方法和属性（比如"length"、"push"、"map"等）。在[K in keyof T]的映射类型中，如果T是普通数组类型（比如unknown[]），T[K]对于数值索引K来说，对应的就是数组元素的类型（即unknown）；如果T是元组类型，keyof T会包含元组的各个具体索引键和数组公共属性，映射后的类型会对应元组的每个元素。

二、关于export declare语法与ElementHandle的问题 #

• export declare不是新增语法，是TypeScript声明文件（.d.ts）的标准写法：
  • declare用来告知TypeScript：“这个类型、类或变量的实际实现存在于其他地方（比如Puppeteer的JS源码），这里仅声明它的类型信息”；
  • export表示该声明的类型可以被外部模块导入并使用。
• IDE识别存在但console.log(ElementHandle)返回undefined的原因：
  • 声明文件仅提供类型校验信息，不会生成任何可执行的JS代码。ElementHandle的实际实现是在Puppeteer的JS源码中，但如果这个类是内部实现类，没有被暴露到模块的公共导出API中，运行时就无法直接访问到它。IDE是根据声明文件的类型信息提示该类存在，但运行时找不到对应的实际对象。
  • 另外，类中的#private是JS私有字段语法，也侧面说明这个类可能是Puppeteer内部使用的，并未对外暴露。

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