JavaScript中忘记new调用构造函数会有什么后果

一、忘记 new 带来的直接运行时后果

很多开发者在编写或维护遗留项目时，往往习惯将构造函数视为能够“产出对象”的普通工具。然而在ES6之前的经典规范中，构造函数在语法定义上与普通函数并没有物理界限，它们全靠调用时的 new 操作符来改变执行上下文。如果在调用时漏掉了 new，代码并不会立即在解析期给出语法报错，而是在运行时以如下四种具象形式爆发隐患：

1. 变量接收到 undefined，业务逻辑全线断裂

JavaScript中的构造函数通常不需要显式书写 return 语句。当使用 new 调用时，语言规范会在执行完毕后自动返回新创建并初始化的实例对象；但如果直接调用，由于函数没有显式返回值，JavaScript函数的默认执行结果永远是 undefined。

function User(name, role) {
  this.name = name;
  this.role = role;
}

// 错误调用：忘记添加 new
const admin = User("Alice", "Admin");

console.log(admin); // 输出: undefined
console.log(admin.name); // 抛出异常: Uncaught TypeError: Cannot read properties of undefined (reading 'name')

这种错误最棘手的地方在于，赋值语句本身并不会报错。当变量在后续多层模块、异步回调或条件分支中被传递时，一旦试图读取属性或调用方法，错误才会突然在远离问题源头的地方引爆，极大增加了追溯排查的成本。

2. 非严格模式下的全局作用域恶性污染

当构造函数作为普通函数执行且处于非严格模式（Sloppy Mode）时，函数内部的 this 会遵循默认绑定规则，直接指向全局对象（在浏览器端为 window，在Node.js中为 global）。函数体内所有对 this.xxx 的赋值操作，实际上全都变成了对全局变量的无预警写入。

function ConfigManager(env) {
  this.env = env;
  this.timestamp = Date.now();
}

// 忘记写 new
const cfg = ConfigManager("production");

// 此时全局环境已被暗中修改
console.log(window.env); // 输出: "production"
console.log(window.timestamp); // 输出当前时间戳

如果全局环境中原本已存在同名全局变量或关键API（例如某个构造函数内部定义了 this.name = ...，而浏览器全局本来就拥有 window.name 窗口名称属性），此类赋值会直接篡改全局运行环境，导致其他完全无关的模块产生极其隐蔽的逻辑错乱。

3. 严格模式下的 TypeError 瞬时崩溃

现代前端工程（包括打包工具、ES模块以及声明了 "use strict"; 的环境）均处于严格模式中。严格模式下，普通函数调用的默认 this 不再回退到全局对象，而是强制保留为 undefined。

"use strict";

function Connection(host, port) {
  this.host = host; // 运行时立即崩溃！
  this.port = port;
}

const conn = Connection("127.0.0.1", 8080);
// 报错: Uncaught TypeError: Cannot set properties of undefined (setting 'host')

虽然严格模式避免了全局变量被静默污染，但这会导致当前调用栈直接中断执行。如果该逻辑位于关键初始化路径，整个应用页面或后台服务进程可能会直接崩溃白屏。

4. 原型链彻底断裂，无法继承共享方法

为了节约内存，复杂对象往往会将公共方法挂载到构造函数的 prototype 原型对象上。正常使用 new 时，新实例的内部原型指针 [[Prototype]] 会自动关联至该原型。而普通调用完全跳过了原型链的绑定逻辑，即便开发者在函数内部通过字面量手动返回了一个对象，该对象也脱离了预设的原型链，无法继承任何定义在原型上的方法。

二、底层机理解析：new 操作符内部的四步契约

为什么加与不加 new 会产生天壤之别？这需要深入理解ECMAScript规范对 [[Construct]] 内部方法的定义。当一个函数被 new 触发时，引擎在后台严格履行了一份包含四个关键步骤的执行契约：

1. 创建全新对象：在内存堆中申请一个空对象，其基础结构为一个纯净的字典。
2. 建立原型链链接：将该空对象的隐式原型内部属性 [[Prototype]]（代码中通常体现为 __proto__）指向目标构造函数的 prototype 对象属性。
3. 绑定执行上下文并执行：改变函数运行期的上下文环境，将构造函数内部的 this 绑定到刚刚创建的这个新对象上，并正式执行函数体内的代码。
4. 评估与抉择返回值：检查函数执行后的返回结果。如果函数体内部显式使用了 return 且返回的是一个引用对象（Object、Array、Function等），则最终以该显式对象为准；若没有 return 或返回的是基础数据类型（string、number、boolean、undefined、null），则默认无条件返回第一步创建的新对象。

而如果缺少了 new 关键字，引擎则只会把该调用当成普通函数的 [[Call]] 方法来派发。执行 [[Call]] 时，既不会创建新对象，也不会链接原型，更不会为 this 预置上下文。

三、故障排查与现场诊断路径

当项目遭遇“属性莫名其妙丢失”或者“全局状态偶发被改写”的幽灵Bug时，应当如何建立清晰的排查路径并确诊是漏写 new 导致的？以下是四步标本兼治的排查诊断方案：

具体操作步骤建议：

• 首选在浏览器 DevTools 中设置条件断点：在怀疑出现漏写 new 的构造函数首行，输入条件 !(this instanceof 当前函数名)。这样一旦有普通函数形式调用进入，调试器会精准拦截暂停，无需逐步单步调试。
• 利用静态分析预先拦截：在团队工程的 .eslintrc.json 中启用 new-cap（要求构造函数大写开头且必须与 new 搭配）规则，可以在编码和提交阶段直接标红阻断。

四、现代 JavaScript 中的防御模式与最佳实践

为了彻底规避调用者疏忽导致的毁灭性后果，JavaScript 社区经历了从“自适应补全新实例”到“元属性报错拦截”，再到“语言原生类语法强校验”的三代演进。

方案 1：instanceof 动态自适应实例化（经典ES5模式）

在纯函数构造时代，可以通过检测 this 是否属于当前构造函数的实例。如果不是，说明外部没有使用 new，函数内部便主动使用 new 重新调用自身并将实例返回：

function SafeUser(name, role) {
  // 检查当前执行时的 this 是否为 SafeUser 的派生实例
  if (!(this instanceof SafeUser)) {
    return new SafeUser(name, role);
  }
  this.name = name;
  this.role = role;
}

// 无论是带 new 还是不带 new，都能安全获得正确实例
const u1 = new SafeUser("Bob", "Developer");
const u2 = SafeUser("Charlie", "Designer");

console.log(u1 instanceof SafeUser); // true
console.log(u2 instanceof SafeUser); // true

方案 2：ES6 new.target 元属性（现代函数防御标准）

ECMAScript 2015 (ES6) 引入了专门检测函数调用上下文的元属性 new.target。当函数通过 new 调用时，new.target 指向被调用的构造函数本身；而作为普通函数调用时，new.target 的值恒为 undefined。

function StrictWorker(id, department) {
  if (!new.target) {
    throw new TypeError("必须使用 'new' 关键字调用 StrictWorker 构造函数！");
  }
  this.id = id;
  this.department = department;
}

// 错误调用时会第一时间给出语意精准的报错
try {
  const w = StrictWorker(101, "Engineering");
} catch (err) {
  console.error(err.message); // 输出: 必须使用 'new' 关键字调用 StrictWorker 构造函数！
}

方案 3：全面使用 ES6 class 语法（终极解决路径）

现代 JavaScript 最推荐的解决之道是彻底抛弃以 function 作为类构造器的老旧写法，全面采用 ES6 的 class 关键字。在规范层面，class 声明的类其内部构造器拥有特殊的 [[IsClassConstructor]]: true 标记。

class ModernAccount {
  constructor(accountNumber, balance) {
    this.accountNumber = accountNumber;
    this.balance = balance;
  }
}

// 普通调用会直接被 JavaScript 引擎原生阻断
const acc = ModernAccount("AC-8899", 5000);
// 引擎立即抛出: Uncaught TypeError: Class constructor ModernAccount cannot be invoked without 'new'

这种机制在引擎层阻止了任何忘记 new 的调用可能，无需开发者手写任何防御条件，从语言语法和设计哲学上根除了这一长达二十年的经典缺陷。

五、总结与编码规范

在 JavaScript 中，忘记 new 调用构造函数的后果，本质上是语言早年设计中“构造函数即普通函数”的语义模糊所带来的历史负担。它可能导致变量静默变为 undefined、全局命名空间遭暗中改写，或在严格模式下直接崩溃。

要从根本上杜绝该问题，在实际开发与技术架构中应坚守两条原则：

• 优先使用 ES6 类语法：将面向对象模型全部基于 class 声明构建，让引擎在语法层担当守门人；
• 工程流水线静态把关：在项目构建流程中配置 ESLint 的 new-cap 校验，在代码编写与 Git 提交阶段就将潜在的漏写拦截在本地。