为何ES6首行let声明正常，TypeScript却报重复声明错误？

这个问题其实挺典型的，核心差异在于ES6和TypeScript对顶层作用域的处理逻辑不一样，哪怕let本身是块级作用域，也逃不开这个规则差异，我给你拆解清楚：

1. 先看ES6的表现 #

当你在浏览器里运行普通的ES6脚本（也就是没有加type="module"的<script>标签），顶层的let hello='2';会创建一个全局块级变量——这里的全局作用域本身就相当于一个大的代码块，只要你在这个脚本里只声明一次hello，浏览器就不会报错。哪怕你有多个脚本文件，只要每个文件里的hello只声明一次，也不会冲突（不过实际开发里不推荐这么做）。

如果是ES6模块模式（加了type="module"），顶层的let变量会被限定在模块自己的作用域里，不会暴露到全局，自然也不会有重复声明的问题。

2. TypeScript的核心逻辑 #

TypeScript默认会把你的文件当作脚本（Script），而不是模块（Module）。在脚本模式下，TS会把顶层的let/const声明当作全局变量来处理——注意，这里的全局是指整个TS项目的全局作用域，而不是单个文件的作用域！

这时候TS会做严格的全局变量唯一性检查：

• 如果你的项目里有其他文件也声明了同名的let hello，哪怕是不同文件，TS就会抛出“cannot re declare block scoped variable”错误；
• 甚至有时候，某些第三方类型定义库或者TS内置的全局类型里如果有同名变量（虽然hello这种名字一般不会，但比如window、document这类就会），也会触发这个错误。

你可能会疑惑：let不是块级作用域吗？怎么会变成全局的？其实是TS在脚本模式下的特殊处理——它模拟了传统JS的全局作用域行为，把顶层的let/const当作全局变量来管理，目的是避免项目中出现全局变量冲突。

3. 解决办法 #

知道了原因，解决起来就很简单了：

• 最推荐的方式：把文件改成模块，只要在文件里加一行空的导出语句就行：

  export {};
  let hello = '2'; // 现在不会报错了，变量属于模块私有的作用域
  

  因为TS只要看到文件里有import或export语句，就会把它当作模块处理，顶层变量就会被限定在模块内部，不会和全局作用域冲突。
• 如果确实需要声明全局变量，可以用declare关键字在类型定义文件（.d.ts）里声明，比如：

  // global.d.ts
  declare let hello: string;
  

  但这种方式只适合真正需要全局共享的变量，不推荐随便用。

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