如何让TypeScript强制检查异步加载的全局库是否已定义？

针对异步加载的MyAwesomeLib库，要让TypeScript强制要求开发者做存在性检查，需解决“未声明变量”与“值为undefined变量”的运行时差异，以下是可行方案：

1. 修正全局类型声明 #

在项目的.d.ts声明文件中，同时声明全局变量的可选类型并扩展Window接口：

interface MyAwesomeLib {
  doSomething(): void;
  // 补充库的其他方法/属性定义
}

// 声明全局变量为可能未定义的类型
declare var myAwesomeLib: MyAwesomeLib | undefined;

// 扩展Window接口，支持window.myAwesomeLib访问
declare global {
  interface Window {
    myAwesomeLib?: MyAwesomeLib;
  }
}

2. 配置TypeScript严格模式 #

在tsconfig.json中开启严格空值检查（或直接启用strict模式），确保编译器强制处理undefined情况：

{
  "compilerOptions": {
    "strict": true,
    // 其他项目配置
  }
}

3. 正确的运行时检查方式 #

直接使用myAwesomeLib?.doSomething()会在库未加载时抛出ReferenceError（因为变量未声明），必须通过typeof做存在性检查，TypeScript会因变量类型包含undefined强制要求此步骤：

// 全局变量方式检查
if (typeof myAwesomeLib !== 'undefined') {
  myAwesomeLib.doSomething(); // 此处类型自动推断为MyAwesomeLib
}

// Window对象方式检查
if (window.myAwesomeLib) {
  window.myAwesomeLib.doSomething();
}

可选优化：封装加载检测工具 #

可以封装函数统一处理库的加载状态，简化重复检查逻辑：

function getMyAwesomeLib(): MyAwesomeLib | null {
  return typeof myAwesomeLib !== 'undefined' ? myAwesomeLib : null;
}

// 使用示例
const libInstance = getMyAwesomeLib();
if (libInstance) {
  libInstance.doSomething();
}

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