关于V8源码中ArrayMap函数callbackfn参数的疑问

先直接给你拆解清楚这两个参数的含义，再解决你关于this的困惑：

1. callbackfn的含义 #

你贴的这段V8源码是Array.prototype.map的底层实现，这里的callbackfn就是我们在JS代码里调用map时传入的核心回调函数。比如你写：

const doubled = [1, 2, 3].map(num => num * 2);

这里的num => num * 2就是对应源码里的callbackfn参数。源码里通过args.GetOptionalArgumentValue(0, UndefinedConstant())获取它，后续逻辑会校验这个参数是否为可调用函数（毕竟map要求第一个参数必须是函数）。

2. this_arg的作用 #

你的理解没错，this_arg就是用来指定回调函数执行时的this指向的参数。它对应JS API里map的第二个可选参数，比如：

const arr = [1, 2];
const result = arr.map(function(num) {
  return this.base + num;
}, { base: 10 });
// result会是 [11, 12]

这里的{ base: 10 }就是源码里的this_arg，回调函数里的this会指向这个对象。如果不传这个参数，回调的this在非严格模式下是全局对象，严格模式下是undefined。

关于你困惑的「为什么第一个参数不是this」 #

这里要分清两个不同的this：

• map方法自身的this：源码里的receiver（通过args.GetReceiver()获取）才是map方法自身的this，也就是调用map的那个数组实例（比如上面例子里的[1,2,3]）。
• 回调函数的this：这才是this_arg负责指定的内容，而callbackfn作为map的第一个参数，是用户定义的元素处理逻辑，这完全符合ECMAScript规范里Array.prototype.map(callbackfn[, thisArg])的参数定义。

源码里的InitIteratingArrayBuiltinBody和GenerateIteratingArrayBuiltinBody会把callbackfn和this_arg传递到后续的遍历逻辑中，在逐个处理数组元素时调用callbackfn，并将this_arg作为回调的执行上下文。

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