深入学习 JavaScript中的函数调用
定义
可能很多人在学习 javascript 过程中碰到过函数参数传递方式的迷惑,本着深入的精神,我想再源码中寻找些答案不过在做这件事之前,首先明确几个概念。抛弃掉值传递、引用传递等固有叫法,回归英文:
call by reference && call by value && call by sharing
分别是我们理解的 c++ 中的引用传递,值传递。第三种比较迷惑,官方解释是 receives the copy of the reference to object 。我用通俗的话解释一下:
object 可以理解为 key 的集合,object 对 key 指向的数据是引用性质的(这里不深究是指针实现还是c++引用实现),函数接收的是一个变量的 copy,变量包含了 object 的引用 ,是一个值传递。
那么很明显,函数传参的时候我们接收到的对象型参其实是实参的复制,所以直接更改型参的指向是不可行的;由于 object 本身的 key 都是引用,所以修改 key 的指向是可行的。
证明
简单来几段代码即可证明
code 1: 函数能修改 key 指向的数据
let func = obj => { obj.name = 'dosk' }; let obj = {name : 'alxw'}; console.log(obj); //{ name: 'alxw' } func(obj) console.log(obj); //{ name: 'dosk' }
code 2: 函数不能修改 obj
let func = obj => { obj = {} }; let obj = {name : 'alxw'}; console.log(obj); //{ name: 'alxw' } func(obj) console.log(obj); //{ name: 'alxw' }
code 3: 内部 obj 和外部 === 结果相等
let def = {name : 'alxw'}; let func = obj => { console.log(obj === def) }; func(def); //true
所以第三段代码可能有疑问了,既然 obj 是 def 的复制,为什么 === 操作还能够为真?不是说 === 操作对于 object 比较的是在内存中的地址么,如果是复制应该是 false 才对啊?
所以我们回到 google v8 的源码来看这件事。
深入 google v8
我们来看看源码里严格等于操作代码部分:
bool object::strictequals(object* that) { if (this->isnumber()) { if (!that->isnumber()) return false; return numberequals(this, that); } else if (this->isstring()) { if (!that->isstring()) return false; return string::cast(this)->equals(string::cast(that)); } else if (this->issimd128value()) { if (!that->issimd128value()) return false; return simd128value::cast(this)->equals(simd128value::cast(that)); } return this == that; }
看起来应该是最后一种情况,理论上如果 def 和 obj 是不同的对象,那么应该返回 false 才对,这不是推翻了上文所述么?其实不,忽略了一件事,即 google v8 内部在实例化一个 object 的时候,本身就是动态实例化,而我们知道在编译型语言中如果动态实例化只能够在堆内存上,即只能够指针引用。这个结论是的证明涉及到 local 、handle 等 class 的实现,我觉得太麻烦,有一个简单的证明方式,即搜索源码得到所有调用 object::strictequals
的地方都是直接传入而没有取地址操作。
不过有人会问,既然是值传递的变量包含 object 的引用,理论上也能够修改 object 才对,为什么第三段代码不能修改呢?
很简单的道理,因为我们在 javascript 语言逻辑层次上的所谓的操作,只不过是在调用 google v8 的实例方的法而已,根本不可能操作到这一地步(当然,潜在的 bug 不算的 -。-)
重新定义
我觉得到这里可以给 call by sharing 重新解释一下了:
的确,传递的时候是值传递,但是内容包含了 object 的指针,而且不能够修改这个指针,他是多个变量共享的。
另一种简单的证明
来来来,看源码
v8_deprecate_soon("use maybe version", local<value> call(local<value> recv, int argc, local<value> argv[])); v8_warn_unused_result maybelocal<value> call(local<context> context, local<value> recv, int argc, local<value> argv[]);
上面的是即将弃用的接口,碰巧我看到的这个版本代码包含大量的这种即将弃用的代码,看看就好。重点是第二个接口,是函数的唯一的调用的接口。里面的 local<value>
最终会调用 c++ 的位复制,所以可以简单的证明就是值传递。
可能是重点
别忘了,我们定义的的变量都是类似 handle<object>
这种形式的,所以它们之间对象才是共享的,我们所说的 javascript 里面变量并不直接指的是 object 的实例!!!
最后的最后
总之理解起来可能很费劲甚至有错误,但是在 javascript 语言层次上能够确定了特性,这才是重要的。
以上所述是小编给大家介绍的javascript中的函数调用,希望对大家有所帮助
下一篇: 其实坚持下去 比任何seo技术都要强
推荐阅读
-
js和jquery中循环的退出和继续学习记录_javascript技巧
-
深入理解JavaScript系列(4) 立即调用的函数表达式_javascript技巧
-
javascript中bind函数的作用实例介绍_javascript技巧
-
JS中setInterval、setTimeout不能传递带参数的函数的解决方案_javascript技巧
-
深入解析JavaScript中的变量作用域_javascript技巧
-
Firefox/Chrome/Safari的中可直接使用$/$$函数进行调试_javascript技巧
-
Javascript中从学习bind到实现bind的过程详解
-
深入认识javascript中的eval函数_javascript技巧
-
JavaScript:new 一个函数和直接调用函数的异同
-
深入理解JavaScript编程中的原型概念_基础知识