为何TypeScript编译输出冗余代码？exports.helloWorld赋值void 0的原因

我有一段TypeScript代码：

export const helloWorld = () => alert("Hello World!");

编译后生成的CommonJS代码如下：

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.helloWorld = void 0;
const helloWorld = () => alert("Hello World!");
exports.helloWorld = helloWorld;

我疑惑的是，TypeScript为什么要先执行exports.helloWorld = void 0;把导出属性设为undefined，而不是直接写成更精简的版本：

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.helloWorld = () => alert("Hello World!");

我的tsconfig.json配置如下：

{
  "compilerOptions": {
    "incremental": false,
    "target": "es2019",
    "outDir": "build",
    "rootDir": "src",
    "moduleResolution": "node",
    "module": "commonjs",
    "declaration": true,
    "inlineSourceMap": false,
    "esModuleInterop": true,
    "resolveJsonModule": true,
    "removeComments": false,
    "strict": true,
    "strictNullChecks": true,
    "noUnusedLocals": true,
    "noUnusedParameters": true,
    "noImplicitReturns": true,
    "noFallthroughCasesInSwitch": true,
    "traceResolution": false,
    "listEmittedFiles": false,
    "listFiles": false,
    "pretty": true,
    "lib": [
      "es2019",
      "dom"
    ],
    "types": [
      "node"
    ],
    "typeRoots": [
      "node_modules/@types",
      "src/types"
    ]
  },
  "include": [
    "src/**/*.ts"
  ],
  "exclude": [
    "node_modules/**"
  ],
  "compileOnSave": false
}

核心原因：保证导出稳定性与代码兼容性 #

TypeScript生成这段看似冗余的代码，本质是为了覆盖更复杂的场景，保证代码行为的一致性和可靠性：

• 提前确认导出属性的存在
  先给exports.helloWorld赋值void 0，能确保这个属性始终存在于exports对象上——哪怕后续的函数定义因为条件分支、代码拆分等原因没有执行，其他模块导入时也不会遇到“属性不存在”的错误，而是明确拿到undefined，让模块导出的结构更稳定。

• 规避变量提升的潜在问题
  JavaScript中const声明的变量存在作用域提升，但不会被初始化。TypeScript先初始化导出属性，再定义局部变量最后赋值的写法，能避免局部变量和导出属性的作用域冲突，确保在不同JS环境下的执行行为一致。

为什么不直接生成精简代码？ #

你提到的精简写法在当前场景下确实功能等价，但TypeScript的代码生成逻辑是通用化设计，需要兼容各种复杂场景：

• 导出变量可能在多个位置被修改
• 存在条件导出的情况
• 要和declaration: true生成的.d.ts声明文件保持结构一致

为了让代码生成逻辑更可靠、不需要针对简单场景做特殊判断，TypeScript选择了这种冗余但健壮的写法。如果追求生产环境的代码精简，可以开启代码压缩工具（比如Terser），这类冗余代码会被自动移除。

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