Promise执行器中resolve函数签名限制及内部实现原理求证

你猜的一点没错——JavaScript的Promise实现确实是通过注入代理版的resolve和reject函数，来异步关联你编写的执行器逻辑和后续的then回调，而且resolve的签名是被ECMAScript规范严格限定的，根本没法自定义。

咱们一步步拆解你的实验和疑问：

为什么resolve(42, true)只传了第一个值？ #

根据ES6 Promise的官方规范，resolve函数仅接受单个参数（这个参数被称为Promise的「履行值」）。哪怕你传入多个参数，除了第一个之外的所有参数都会被直接忽略——这就是你第一个例子里howCertain变成undefined的原因。

如果需要传递多个值，你可以把它们打包成对象或数组，比如：

resolve({ answer: 42, howCertain: true });
// 然后在回调里解构
promise.then(({ answer, howCertain }) => {
  console.log(`the answer is: ${answer}. I am ${howCertain ? 'very' : 'not very'} certain about that`);
});

从你的实验看Promise的内部逻辑 #

你的第二个实验完美验证了Promise的几个核心特性：

• 执行器同步立即执行：当你创建new Promise(executor)时，executor函数会被同步调用，不管你有没有调用then注册回调。这就是你看到entering executor在about to call "then"之前打印的原因。而executor里的resolve不是undefined，因为它是Promise实例提供的代理函数，用来触发状态变更。
• resolve和then回调是异步关联的：resolve的作用只是把Promise的状态从「pending」改成「fulfilled」，并保存履行值，它不会直接执行then里的回调。Promise会把then注册的回调放到微任务队列里，等当前同步代码执行完之后才会异步触发——这就是为什么returning from resolve会在the answer is: 42之前打印。

代理函数的本质 #

你拿到的resolve和reject并不是你自己定义的，而是Promise实例内部方法的包装函数。它们的唯一作用就是：

1. 修改Promise的状态（从pending切换到fulfilled/rejected）
2. 保存履行值/拒绝原因
3. 通知所有已注册的then/catch回调，在合适的时机异步执行

这些函数的签名是规范强制规定的，你根本没法修改——哪怕你尝试给executor里的resolve重新赋值，也不会影响Promise内部的状态逻辑。

内容的提问来源于stack exchange，提问作者Marcus Junius Brutus