TypeScript中能否实现全局作用域的联合类型并支持类型窄化调用？

这个需求挺实用的！不过很遗憾，TypeScript目前并不支持直接把整个全局作用域声明成联合类型——也就是你设想的那种，让全局自动在两个环境状态间切换，只要判断environment的值，就能直接安全调用对应顶级函数的写法，暂时没有原生语法可以实现。

不过我们有几个靠谱的workaround可以达到类似的效果，下面给你详细说：

最推荐的方案：绑定到全局对象 #

把环境标识和对应的函数都放到一个全局对象里，把这个对象声明为联合类型，这样TypeScript就能完美识别类型窄化，实现安全调用：

// 先定义两种环境的类型
type EnvA = {
  environment: "A";
  funcA: () => void;
};

type EnvB = {
  environment: "B";
  funcB: () => void;
};

// 在全局声明块里把这个对象注册为全局变量
declare global {
  var env: EnvA | EnvB;
}

// 调用的时候就和你最开始写的对象联合类型逻辑完全一致了
if (env.environment === "A") {
  env.funcA(); // TypeScript自动识别，无报错
} else {
  env.funcB(); // 同样安全，类型完全匹配
}

这种方案的优势是完全符合TypeScript的类型系统设计，没有任何hack，类型检查也最严谨。

如果你坚持要用顶级全局函数 #

如果不想用对象属性，非要直接调用funcA()这种顶级函数的话，可以结合断言类型守卫来实现类型安全：

// 定义环境的可能值
type EnvType = "A" | "B";

// 全局声明环境变量和对应的函数
declare global {
  var environment: EnvType;
  function funcA(): void;
  function funcB(): void;
}

// 写一个类型守卫函数，断言当前环境是A
function assertEnvIsA(): asserts environment is "A" {
  if (environment !== "A") {
    throw new Error("当前环境不是A，无法调用funcA");
  }
}

// 同理写一个B的断言函数
function assertEnvIsB(): asserts environment is "B" {
  if (environment !== "B") {
    throw new Error("当前环境不是B，无法调用funcB");
  }
}

// 使用方式：先断言环境，再调用函数
assertEnvIsA();
funcA(); // TypeScript会认为funcA可用，因为已经通过守卫确认了环境

// 或者用if判断+手动类型断言（不推荐，因为需要手动保证类型匹配）
if (environment === "A") {
  (funcA as () => void)(); // 这里需要手动断言函数存在，不然TypeScript会报错
}

这种方案的缺点是需要额外写断言函数，或者手动做类型断言，不如第一种方案优雅，但能满足你用顶级函数的需求。

为什么原生语法不支持？ #

TypeScript的全局作用域是作为单一的上下文来设计的，联合类型是针对值的类型（比如对象、变量），而全局作用域是变量和函数的容器，目前没有语法可以把这个容器本身声明为联合类型——你最开始尝试的直接在declare global里写联合类型的写法，本身就是语法错误，因为declare global块里只能放合法的全局声明（比如变量、函数、接口、类型别名等），不能直接写联合类型。

备注：内容来源于stack exchange，提问作者GulgDev