能否创建TypeScript断言函数来断言全局对象的类型？

当然可以实现这类断言函数，不过你提供的伪代码语法无法直接生效——TypeScript的断言函数需要明确指定断言目标的类型约束，针对全局对象时，我们可以通过断言全局对象的类型收窄来实现需求。

具体实现步骤 #

1. 先拓展全局类型定义，明确包含subtle的Crypto类型：

// 定义包含SubtleCrypto的Crypto子类型
interface CryptoWithSubtle extends Crypto {
  subtle: SubtleCrypto;
}

// 拓展全局类型，让globalThis、window等全局对象的crypto属性支持该子类型
declare global {
  interface Window extends CryptoWithSubtle {}
  interface WorkerGlobalScope extends CryptoWithSubtle {}
  var globalThis: typeof globalThis & { crypto: CryptoWithSubtle };
}

2. 编写断言函数，通过asserts语法指定全局对象的类型约束：

function assertIsSubtleCryptoSupported(): asserts globalThis is typeof globalThis & { crypto: CryptoWithSubtle } {
  if (globalThis.crypto?.subtle === undefined) {
    throw new Error('当前环境不支持SubtleCrypto API');
  }
}

使用示例 #

// 调用前：TypeScript可能认为globalThis.crypto.subtle可能不存在，会提示类型错误
globalThis.crypto.subtle; 

// 执行断言
assertIsSubtleCryptoSupported();

// 调用后：TypeScript确认subtle存在，类型校验通过
globalThis.crypto.subtle; // 无类型错误

关键说明 #

• 断言函数的asserts globalThis is ...语法是核心，它告诉TypeScript：如果函数正常返回（没有抛出错误），那么globalThis的类型会被收窄到指定的联合类型。
• 针对不同环境（比如浏览器、Worker、Node.js），可以调整全局类型拓展的目标（比如Window、WorkerGlobalScope或Node.js的global）。
• 如果不需要全局类型拓展，也可以直接在断言函数中通过类型守卫实现，但全局类型拓展能让类型约束更清晰。

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