[16] 值 VS. 參考

keywords:reference-copy,scalar primitives

值 VS. 參考

• 值的型別完全控制是值的拷貝或參考的拷貝 ( by reference-copy )

    let a = 6;
  
    let b = a; // b 一定是 a 中的值的一份拷貝
  
    b++;
  
    a; // 6
  
    b; // 7
  
    ------------------------------------------
  
    let c = [4,5,6];
  
    let d = c; // d 是指向共有值 [4,5,6] 的一個參考
  
    d.push(7);
  
    c; // [4,5,6,7]
  
    d; // [4,5,6,7]
  

  上方 c、d 都是對同一個共有值 [4,5,6] ( 這是一個複合值 ) 的個別參考，c 與 d 不會有誰比較擁有那個 [4,5,6] 值，兩者都是該值同等的參考

• 簡單的值 ( 純量的基型值 scalar primitives ) 永遠都是藉由值的拷貝來指定或傳遞：null、undefined、string、number、boolean、symbol ( ES6 )、bigint

    let a = 1n; 
  
    let b = a;
  
    b++;
  
    a; // 1n
  
    b; // 2n
  

• 複合值的 object、array、function，永遠在指定或傳遞時，建立參考的一份拷貝

    let a = [4,5,6];
  
    let b = a;
  
    a; // [4,5,6]
  
    b; // [4,5,6]
  
    b = [7,8,9];
  
    a; // [4,5,6]
  
    b; // [7,8,9]
  

  參考指向的是值本身，而非變數，無法使用一個參考 ( b ) 來變更另一個參考 ( a ) 所指向的東西，進行 b = [7,8,9] 指定時，完全不會影響到 a 所指的東西 [4,5,6]

• 這種混淆最常發生在函式參數上，面試也很愛考這種題目

    function f1(p) {
      p.push(4);
  
      p; // [1,2,3,4]
  
      p = [4,5,6];  // 在記憶體建立一個 [4,5,6] 並將它的參考放到 p  
  
      p.push(7);
  
      p; // [4,5,6,7]
    }
  
    let c = [1,2,3];
  
    f1(c);
  
    c; // [1,2,3,4]
  

  沒辦法使用 p 參考變更 c 所指向的東西，只能修改 c 及 p 兩者都指向的那個共有值的內容。
  如果要修改 c 變成 [4,5,6,7] 不能建立一個新的 array 再指定給它，必須修改現有的那個 array 值

    function f1(p) {
      p.push(4);
  
      p; // [1,2,3,4]
  
      p.length = 0;
  
      p.push(4,5,6,7);
  
      p; // [4,5,6,7]
    }
  
    let c = [1,2,3];
  
    f1(c);
  
    c; // [4,5,6,7]
  

• 要藉由值的拷貝傳入一個複合值，得手動製作它的一個拷貝，讓傳入的參考不能指向原複合值
  不帶參數的 Array.prototype.slice() 預設會製作出 array 的一個全新淺層拷貝

    function f1(p){
      p.push(4);
  
      p; // [1,2,3,4]
  
      p.length = 0;
  
      p.push(4,5,6,7);
  
      p; // [4,5,6,7]
    }
  
    let c = [1,2,3];
  
    f1(c.slice());
  
    c; // [1,2,3]
  

• 相反的，如果想要傳入一個純量的基型值，並讓其值可被更新，類似參考那樣，可以將該值包裹在一個能夠以參考的拷貝傳遞的複合值

    function f1(wrapper) {
      wrapper.c = 50;
    }
  
    var obj = {
      c:9
    };
  
    f1(obj);
  
    obj.c; //50
  
    obj 就是純量基型值 c 的包裹器