TypeScript中declare关键字是否为环境模块的内联替代？其适用场景有哪些？

declare绝对不是环境模块的内联替代，它是TypeScript用来描述外部已存在代码/全局值类型的核心关键字，适用场景远不止环境模块内部，以下是常见的使用场景：

1. 全局变量/函数的类型声明 #

当你在代码中使用了第三方脚本注入的全局变量（比如页面引入的jQuery的$），但没有对应的类型文件时，可以直接用declare声明其类型，无需包裹在模块中：

// 声明全局的$变量类型
declare const $: {
  (selector: string): HTMLElement;
  ajax: (options: { url: string; method?: string }) => void;
};

// 之后就能正常使用$，不会报类型错误
$('#app').style.color = 'red';
$.ajax({ url: '/api/data' });

2. 扩展全局内置类型 #

如果你想给JS内置对象（如String、Array）的原型添加自定义方法，只需要用declare global扩展其类型，告诉TypeScript这个方法的存在：

declare global {
  interface String {
    // 声明字符串的蛇形转换方法类型
    toSnakeCase(): string;
  }
}

// 实际实现（可以放在模块中，不影响全局类型扩展）
String.prototype.toSnakeCase = function () {
  return this.replace(/([A-Z])/g, '_$1').toLowerCase();
};

// 使用时无类型错误
console.log('HelloWorld'.toSnakeCase()); // 输出hello_world

3. 声明外部模块的部分导出 #

当你使用一个无类型的第三方模块，且只需要其中部分导出的类型时，可以用declare module快速声明模块的结构，不用编写完整的.d.ts文件：

// 声明无类型模块some-untyped-lib的导出类型
declare module 'some-untyped-lib' {
  export function calculate(num: number): number;
  export const version: string;
}

// 正常导入使用
import { calculate, version } from 'some-untyped-lib';
console.log(calculate(10));

4. 描述外部类/构造函数的类型 #

如果你的项目中存在JS编写的类，TS代码需要调用它，可以用declare class描述其结构，无需在TS中实现类的逻辑：

// 声明外部已存在的User类类型
declare class User {
  constructor(name: string);
  getName(): string;
  setAge(age: number): void;
}

// TS中直接实例化使用
const user = new User('张三');
user.setAge(25);
console.log(user.getName());

5. 处理传统全局命名空间 #

对于一些使用命名空间的老库（比如早期的lodash），可以用declare namespace声明其命名空间下的成员类型：

declare namespace _ {
  function debounce(func: (...args: any[]) => void, wait: number): (...args: any[]) => void;
}

// 直接调用命名空间下的方法
const debouncedFunc = _.debounce(() => console.log('触发'), 1000);

简单来说，declare的核心作用是告诉TypeScript：这个值/结构已经在外部（JS代码、全局环境、第三方库）存在，我只提供类型描述，不需要你生成对应的JavaScript代码。环境模块只是它的一种应用场景，而非全部。

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