为什么TypeScript中forEach和for of循环写法一种报隐式any[]错误另一种正常

这个报错本质是TypeScript 控制流类型分析的边界限制，和两种循环的执行逻辑差异直接相关：

• 你初始化let queryArray = []时没有显式声明类型，TypeScript默认会将其推断为any[]类型。
• forEach的回调函数是独立的函数作用域，TypeScript当前的控制流分析能力无法跨函数边界追踪变量的类型变化：你在forEach回调里往queryArray推入Promise的操作，TS感知不到，因此直到调用Promise.all(queryArray)时，TS仍然认为queryArray是any[]类型，触发Variable 'queryArray' implicitly has an 'any[]' type.ts(7005)错误。
• for...of是当前作用域内的同步循环，没有跨函数边界：TS的控制流分析可以正常追踪到循环内每次往queryArray推入的都是node-pg查询返回的Promise类型，因此会自动把queryArray的类型收窄为对应Promise数组的类型，不会触发隐式any报错。

最佳实践建议 #

• 最稳妥的方式是初始化数组时就显式声明类型，这样不管用哪种循环写法都不会报错：

// 泛型参数替换为你实际的查询返回值类型即可
let queryArray: Promise<{bettor: string, fader: string}>[] = []

• 更推荐直接用map生成Promise数组，无需手动push，类型会自动推断，代码更简洁：

const queryArray = gameIds.map((gameId: number) => {
  return DatabaseOperations.dbConnection.query(sql, [gameId])
})
const allWagersForGames = await Promise.all(queryArray)

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