核心
其实总的来说就是 export 导出的是变量的句柄（或者说符号绑定、近似于 C 语言里面的指针，C++里面的变量别名），而 export default 导出的是变量的值。
需要注意的是：模块里面的内容只能在模块内部修改，模块外部只能使用。esModule在语法层面做了一层浅层的保护（即将import导入的变量声明为常量）
而变量的句柄必须通过 var、let、const、function 这些关键字声明才可以由 js 引擎生成，而值（或者说数据）可以通过变量运算或者字面量直接生成。
下面是测试用例：
// a.js
export let a = 'a'
export let objA = { a: 'a' }
let defaultA = 1
export default defaultA
export function fn(str) {
a = str
defaultA = str
}
// test1.js
import b, { a, fn, objA } from './a.js'
console.log(a, '---', b, '---', objA.a, '---', 'test1.js')
setTimeout(() => {
objA.a = 'hello world'
fn('hello world')
console.log(a, '---', b, '---', objA.a, '---', 'test1.js')
})
// test2.js
import b, { a, objA } from './a.js'
console.log(a, '---', b, '---', objA.a, '---', 'test2.js')
setTimeout(() => {
console.log(a, '---', b, '---', objA.a, '---', 'test2.js')
}, 100)
// main.js
import './test1.js'
import './test2.js'
运行main.js，输出结果如下：
分析
- 通过 a 值的变化可以看出，在 test1.js 中的修改会影响到 test2.js 中 a 的值，验证我们说的导出句柄这个观点。
- 通过 b 的运行结果可以验证 export default 导出变量的值的观点。
- 通过 objA.a 的运行结果可以验证浅层保护的观点，其实和const obj = {}，我们可以修改 obj 的属性，只要不对 obj 重新赋值都是允许的是同一个逻辑。
如果看到这里你完全理解上面的内容，那么下面的内容就建议你跳过了，因为下面是一些细节的展开和补充，对你来说可能会有些啰嗦和浪费时间。如果上面的内容你还不是很理解，那么可以再看看下面的内容，看看是否对你有帮助。
那我们就按照以下几个方面具体来讲讲这个问题，顺便再做一些扩展和补充。
- 1、句柄和值
- 2、ES module 和 commonJs
- 3、关于 Tree Shaking 的思考
句柄和值
其实句柄这个词我个人理解为权限，获得句柄就是获得某种东西的操作权限，比如拿到文件句柄就可以对文件进行读写操作。其实怎么理解都可以，只不过我引用了句柄这个词语。我想说明的是 export 导出的是一个变量的句柄（或者说是引用），这个概念类似于 C 语言里面的指针，C++里面的变量别名。也就是说，导入模块在拿到这个变量时，对这个变量的操作实际上是在操作原来的导出变量本身。
而值其实就是一份数据，也可以理解成 export default 导出的是一份数据拷贝。
扩展
一、js 中声明变量的几种方式
- var、let、const
- function
- class
- import（准确来讲并没有创建新的变量，但是这个关键字导入了被导入模块的变量的引用，而在 js 引擎层面并没有声明新的变量）
注意：
// main.js
export { default as a } from 'xxx/a.xxx'
这种情况下，a 这个变量在 main.js 这个模块中是访问不到的。如果想要在 main.js 这个模块中访问到 a 模块，需要使用 import 语句进行导入，再使用 export 暴露给外界。
// main.js
import a from 'xxx/a.xxx'
export a
二、堆栈内存
- 堆内存：存放引用类型的数据，例如对象、数组等
- 栈内存：存放基本数据类型和引用类型的地址（存放占用空间固定的数据）
ES module 和 CommonJS
1、实现层面
ES module 和 CommonJS 比较大的一个区别就是一个是官方规范，一个是社区规范。官方规范自然就能的到 js 语法层面的实现支持，而社区规范只能通过在现有的语法基础上进行扩展来实现。
2、单独导出和默认导出
其实 CommonJS 的实现也特别简单，看一眼 webpack 的打包结果就知道了。核心原理就是将一个个模块放到函数中运行，这样利用函数作用域的特点，就可以实现模块之间的环境隔离。所以在 CommonJS 中，module.exports 和 exports 本质上就是同一个对象，这个对象就是这个模块（函数）运行时 return 的对象。
而 ES module 则不然，export 和 export default 有着本质的差别，那就是一个导出变量的句柄，一个导出变量的值。
扩展（关于 export 导出的细节）
关于 export 导出，出了这种下面常用的方式：
// a.js
export let a = 1
还有一种方式：
// b.js
let b = 1
export { b }
而这两种模块的导入方式都是一样：
import { a } from 'xx/a.js'
import { b } from 'xx/b.js'
既然前面说了，export 导出的是变量的句柄，那么显然下面这种方式是要报错的：
// b.js
export { b: 1 } // SyntaxError: Unexpected token ':'
因为导入方式一样，那么很自然的我就想测试一下，我按照下面这种方式来测试一下看会不会产生冲突
let b = 1
export { b }
export let b = 2 // SyntaxError: Identifier 'b' has already been declared
很显然使用 let、const 这样的关键字会产生一个重复定义的冲突，那么我们再试一下另外一个可以让我们多次重复声明同一个变量的 var 关键字。
var b = 1
export { b }
export var b = 2 // SyntaxError: Duplicate export of 'b'
改成 var 之后，不会在一开始编辑器就提示我们错误了，而是在运行时，报一个重复导出的错误。所以通过测试，这两种 export 导出方式还是不会产生冲突的。
3、动态导入
CommonJS 动态导入就很简单，其实就是运行函数。其实 CommonJS 导入本身就是在运行函数，所以动态或者静态其实都一样。
const a = require('xxx/a.js')
ES module 动态导入，那就需要语法的支持，使用下面这种语法：
const a = await import('xxx/a.js')
关于 Tree Shaking 的思考
我们知道，ES module 是支持 Tree Shaking 的，但是 CommonJS 是不支持的。
其实 Tree Shaking 面临的核心困难就是怎么确定一个函数或者模块它是否包含副作用。如果写的都是纯函数，那么 Tree Shaking 其实是很实现的。那么像有些函数，在编译时直接可以运行函数得到调用结果，进而在生产运行时，直接省去求值的耗时。
所以 Tree Shaking 的核心是在于副作用的检测，特别是在复杂的模块引用关系里面，确定每个模块里的某些内容是否存在副作用。另外为了更好的 Tree Shaking，比较推荐的方案是使用 ES module，并且使用 export 导出，这方式可以更好的进行 Tree Shaking。
原文链接：
https://juejin.cn/post/7315681269702541323
