JavaScript中的函數呼叫的程式碼詳情

可能很多人在學習JavaScript 過程中碰到過函數參數傳遞方式的迷惑，本著深入的精神，我給大家分享了一篇教程關於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 不算的-。

##的確，傳遞的時候是值傳遞，但是內容包含了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 最後會呼叫 C++ 的位元複製，所以可以簡單的證明就是值傳遞。

可能是重點

別忘了，我們定義的變數都是類似Handle