TypeScript 异步函数返回类型报错：标注Promise<Glslang>却提示返回值含undefined

这个报错不是业务逻辑真的会返回undefined，本质是TypeScript的类型收窄规则存在固有边界，叠加动态导入的类型推断缺失共同导致的：

• 模块作用域声明的glslang变量，原始类型是Glslang | undefined
• TS的类型收窄仅在同步、连续的执行流中生效；一旦执行流中插入await这类会中断当前上下文的异步节点，TS会完全重置之前对这个可变模块级变量的收窄结果，回到它声明时的原始联合类型
• 前面缓存判断分支的return glslang不会报错，因为这部分代码是同步连续执行的，TS能正确识别到判断后glslang的类型被收窄为Glslang；报错仅出现在异步加载流程之后的return语句上
• 动态导入部分因为加了@ts-ignore，TS本身无法自动推断glslangModule.default()的返回类型，进一步放大了这个推断误差

方案1：用局部常量承接实例，直接返回局部常量 #

这是最符合类型安全规范的写法，完全不需要多余的类型断言——TS对局部常量的类型收窄，不会被异步上下文重置：

export default async function getGlslang(): Promise<Glslang> {
  if (glslang !== undefined) return glslang;
  const glslangModule = await import(
    // eslint-disable-next-line @typescript-eslint/ban-ts-comment
    // @ts-ignore
    /* webpackIgnore: true */ "https://unpkg.com/@webgpu/glslang@0.0.15/dist/web-devel/glslang.js"
  );
  // 用局部常量承接加载结果，明确标注类型为Glslang
  const instance: Glslang = await glslangModule.default();
  // 同步更新全局缓存
  glslang = instance;
  // 直接返回局部常量，TS能确定它的类型就是Glslang，不存在undefined
  return instance;
}

这个写法既保留了原有的模块级实例缓存逻辑，又规避了TS对全局可变变量的收窄失效问题，不需要强行给返回类型添加无意义的undefined联合。

方案2：赋值时做精确类型断言 #

如果不想拆出局部变量，只需要在给全局变量赋值的位置明确断言返回值类型，就能让TS识别到赋值结果是确定的Glslang：

glslang = (await glslangModule.default()) as Glslang;
return glslang;

这个写法代码量更少，但本质是通过类型断言告知TS“该值确定为Glslang”，没有额外的运行时校验逻辑。

• 之前尝试用try/catch包裹没有解决问题，是因为try/catch仅处理运行时的异常捕获，完全不影响TS对变量的静态类型推断逻辑
• 只有当加载流程确实存在“出错时返回undefined”的分支时，才需要把返回类型改成Promise<Glslang | undefined>；但当前代码的逻辑是只要加载流程没有抛出异常，就一定会拿到有效的Glslang实例，根本不存在返回undefined的运行时可能，强行修改返回类型反而会误导调用方处理不存在的异常分支

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