如何为Definitely Typed模块实现独立TypeScript声明合并？

完全可行，你只需要通过声明合并扩展Chai的类型定义，让assert.isDefined具备类型收窄能力。具体步骤如下：

1. 创建单独的修复声明文件 #

在项目中新建fix.d.ts文件，写入以下内容：

import 'chai';

declare module 'chai' {
  interface AssertStatic {
    isDefined<T>(value: T | undefined | null, message?: string): asserts value is Exclude<T, undefined | null>;
  }
}

2. 代码说明 #

• 通过declare module 'chai'合并原有模块的类型定义，不破坏原类型结构
• 使用asserts value is ...类型断言函数语法，明确告诉TypeScript：调用isDefined后，传入的value一定不是undefined或null
• Exclude<T, undefined | null>用来剔除类型T中的undefined和null分支，实现精准的类型收窄

3. 验证效果 #

不需要修改原test.ts代码，直接执行你原来的编译命令：

npx tsc --strict --lib "ES6,DOM" test.ts

此时TypeScript会自动识别fix.d.ts中的扩展声明，assert.isDefined(x)之后x会被收窄为string类型，不再报'x' is possibly 'undefined'错误。

注意事项 #

• 确保fix.d.ts在TypeScript的扫描范围内：默认项目根目录的.d.ts文件会被自动识别；如果放在子目录，需要在tsconfig.json的include数组中添加对应路径
• 你的当前版本（TypeScript 5.1.6、@types/chai 4.3.5）完全支持这种写法，无需升级依赖

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