为什么我的TS项目无需TypeScript类型定义文件即可正常引入JS库？

• 原生兼容规则

TypeScript 本身是 JavaScript 的超集，设计上完全兼容JS语法与模块体系。只要tsconfig.json中的allowJs配置项为true（多数非严格预设的TS项目模板默认开启该配置），编译器可直接识别、处理.js后缀的模块文件，无需额外类型定义即可完成模块导入的编译校验。

• 隐式类型降级规则
  当TS编译器无法检索到目标模块的类型定义（包括内置类型、第三方@types包、项目内自定义d.ts文件）时，会默认将该模块的所有导出内容推断为any类型。只要你未在tsconfig.json中开启noImplicitAny或strict严格校验模式，TS不会对any类型抛出类型错误，你可以直接调用该JS库暴露的所有方法、属性，不会触发编译报错。
• 运行时的执行逻辑
  TS的类型校验仅发生在预编译阶段，编译完成后所有类型信息会被完全抹除，最终运行的是纯JS代码。你编写的TS导入语句最终会被编译为对应模块规范的JS导入逻辑（比如CommonJS的require、ESModule的import），运行时由JS引擎直接加载对应的JS第三方库，完全不依赖编译阶段的类型定义，只要JS库本身的导出逻辑正常，运行就不会出现问题。

举个常见场景示例：
你在TS文件中编写import lodash from 'lodash'时，如果没有安装@types/lodash也没有自行编写d.ts定义，只要符合上述配置要求，TS会把lodash整体推断为any类型，你调用lodash.map()等方法时不会有编译报错，编译后该行导入会转为JS的标准导入语句，运行时直接调用lodash的原生JS方法，全程不需要类型定义参与。

如果你在TS配置中开启了严格模式，就会触发"找不到模块'xxx'的类型定义"的报错，这时候才需要补充d.ts文件或者安装对应的@types类型包。

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