JavaScript arguments 物件詳解

1. 什麼是 arguments

MDN 上解釋：

arguments 是一個類陣列物件。代表傳給一個function的引數列表。

我們先用一個例子直觀瞭解下 JavaScript 中的 arguments 長什麼樣子。

function printArgs() {
    console.log(arguments);
}

printArgs("A", "a", 0, { foo: "Hello, arguments" })；

執行結果是：

["A", "a", 0, Object]

乍一看，結果是個陣列，但並不是真正的陣列，所以說 arguments 是一個類陣列的物件（想了解真正陣列與類陣列物件的區別可以一直翻到最後）。

再看看 arguments 表示的內容，其表示了函式執行時傳入函式的所有引數。在上面的例子中，代表了傳入 printArgs 函式中的四個引數，可以分別用 arguments[0]、 arguments[1]… 來獲取單個的引數。

2. arguments 操作

2.1 arguments length

arguments 是個類陣列物件，其包含一個 length 屬性，可以用 arguments.length 來獲得傳入函式的引數個數。

function func() {
    console.log("The number of parameters is " + arguments.length);
}

func();
func(1, 2);
func(1, 2, 3);

執行結果如下：

The number of parameters is 0
The number of parameters is 2
The number of parameters is 3

2.2 arguments 轉陣列

通常使用下面的方法來將 arguments 轉換成陣列：

Array.prototype.slice.call(arguments);

還有一個更簡短的寫法：

[].slice.call(arguments);

在這裡，只是簡單地呼叫了空陣列的 slice 方法，而沒有從 Array 的原型層面呼叫。

為什麼上面兩種方法可以轉換呢？

首先，slice 方法得到的結果是一個陣列，引數便是 arguments。事實上，滿足一定條件的物件都能被 slice 方法轉換成陣列。看個例子：

const obj = { 0: "A", 1: "B", length: 2 };
const result = [].slice.call(obj);
console.log(Array.isArray(result), result);

執行結果是：

true ["A", "B"]

從上面例子可以看出，條件就是： 1) 屬性為 0，1，2…；2） 具有 length 屬性；

另外，有一個需要注意的地方就是，不能將函式的 arguments 洩露或者傳遞出去。什麼意思呢？看下面的幾個洩露 arguments 的例子：

// Leaking arguments example1:
function getArgs() {
    return arguments;
}

// Leaking arguments example2:
function getArgs() {
    const args = [].slice.call(arguments);
    return args;
}

// Leaking arguments example3:
function getArgs() {
    const args = arguments;
    return function() {
        return args;
    };
}

上面的做法就直接將函式的 arguments 物件洩露出去了，最終的結果就是 V8 引擎將會跳過優化，導致相當大的效能損失。

你可以這麼做：

function getArgs() {
    const args = new Array(arguments.length);
    for(let i = 0; i < args.length; ++i) {
        args[i] = arguments[i];
    }
    return args;
}

那就很好奇了，我們每次使用 arguments 時通常第一步都會將其轉換為陣列，同時 arguments 使用不當還容易導致效能損失，那麼為什麼不將 arguments 直接設計成陣列物件呢？

這需要從這門語言的一開始說起。arguments 在語言的早期就引入了，當時的 Array 物件具有 4 個方法： toString、 join、 reverse 和 sort。arguments 繼承於 Object 的很大原因是不需要這四個方法。而現在，Array 新增了很多強大的方法，比如 forEach、map、filter 等等。那為什麼現在不在新的版本里讓 arguments 重新繼承自 Array呢？其實 ES5 的草案中就包含這一點，但為了向前相容，最終還是被委員會否決了。

2.3 修改 arguments 值

在嚴格模式與非嚴格模式下，修改函式引數值表現的結果不一樣。看下面的兩個例子：

function foo(a) {
    "use strict";
    console.log(a, arguments[0]);
    a = 10;
    console.log(a, arguments[0]);
    arguments[0] = 20;
    console.log(a, arguments[0]);
}
foo(1);

輸出：

1 1
10 1
10 20

另一個非嚴格模式的例子：

function foo(a) {
    console.log(a, arguments[0]);
    a = 10;
    console.log(a, arguments[0]);
    arguments[0] = 20;
    console.log(a, arguments[0]);
}
foo(1);

輸出結果為：

1 1
10 10
20 20

從上面的兩個例子中可以看出，在嚴格模式下，函式中的引數與 arguments 物件沒有聯絡，修改一個值不會改變另一個值。而在非嚴格模式下，兩個會互相影響。

2.4 將引數從一個函式傳遞到另一個函式

下面是將引數從一個函式傳遞到另一個函式的推薦做法。

function foo() {
    bar.apply(this, arguments);
}
function bar(a, b, c) {
    // logic
}

2.5 arguments 與過載

很多語言中都有過載，但 JavaScript 中沒有。先看個例子：

function add(num1, num2) {
    console.log("Method one");
    return num1 + num2;
}

function add(num1, num2, num3) {
    console.log("Method two");
    return num1 + num2 + num3;
}

add(1, 2);
add(1, 2, 3);

執行結果為：

Method two
Method two

所以，JavaScript 中，函式並沒有根據引數的不同而產生不同的呼叫。

是不是 JavaScript 中就沒有過載了呢？並不是，我們可以利用 arguments 模擬過載。還是上面的例子。

function add(num1, num2, num3) {
    if (arguments.length === 2) {
        console.log("Result is " + (num1 + num2));
    }
    else if (arguments.length === 3) {
        console.log("Result is " + (num1 + num2 + num3));
    }
}

add(1, 2);
add(1, 2, 3)

執行結果如下：

Result is 3
Result is 6

3. ES6 中的 arguments

3.1 擴充套件操作符

直接上栗子：

function func() {
    console.log(...arguments);
}

func(1, 2, 3);

執行結果是：

1 2 3

簡潔地講，擴充套件操作符可以將 arguments 展開成獨立的引數。

3.2 Rest 引數

還是上栗子：

function func(firstArg, ...restArgs) {
    console.log(Array.isArray(restArgs));
    console.log(firstArg, restArgs);
}

func(1, 2, 3);

執行結果是：

true
1 [2, 3]

從上面的結果可以看出，Rest 參數列示除了明確指定剩下的引數集合，型別是 Array。

3.3 預設引數

栗子：

function func(firstArg = 0, secondArg = 1) {
    console.log(arguments[0], arguments[1]);
    console.log(firstArg, secondArg);
}

func(99);

執行結果是：

99 undefined
99 1

可見，預設引數對 arguments 沒有影響，arguments 還是僅僅表示呼叫函式時所傳入的所有引數。

3.4 arguments 轉陣列

Array.from() 是個非常推薦的方法，其可以將所有類陣列物件轉換成陣列。

4. 陣列與類陣列物件

陣列具有一個基本特徵：索引。這是一般物件所沒有的。

const obj = { 0: "a", 1: "b" };
const arr = [ "a", "b" ];

我們利用 obj[0]、arr[0] 都能取得自己想要的資料，但取得資料的方式確實不同的。obj[0] 是利用物件的鍵值對存取資料，而arr[0] 卻是利用陣列的索引。事實上，Object 與 Array 的唯一區別就是 Object 的屬性是 string，而 Array 的索引是 number。

下面看看類陣列物件。

偽陣列的特性就是長得像陣列，包含一組資料以及擁有一個 length 屬性，但是沒有任何 Array 的方法。再具體的說，length 屬性是個非負整數，上限是 JavaScript 中能精確表達的最大數字；另外，類陣列物件的 length 值無法自動改變。

如何自己建立一個類陣列物件？

function Foo() {}
Foo.prototype = Object.create(Array.prototype);

const foo = new Foo();
foo.push('A');
console.log(foo, foo.length);
console.log("foo is an array? " + Array.isArray(foo));

執行結果是：

["A"] 1
foo is an array? false

也就是說 Foo 的示例擁有 Array 的所有方法，但型別不是 Array。

如果不需要 Array 的所有方法，只需要部分怎麼辦呢？

function Bar() {}
Bar.prototype.push = Array.prototype.push;

const bar = new Bar();
bar.push('A');
bar.push('B');
console.log(bar);

執行結果是：

Bar {0: "A", 1: "B", length: 2}

參考：

• JavaScript中的陣列與偽陣列的區別
• MDN arguments
• Avoid modifying or passing arguments into other functions — it kills optimization
• Optimization killers
• Why isn’t a function’s arguments object an array in Javascript?
• arguments 物件
• Advanced Javascript: Objects, Arrays, and Array-Like objects
• JavaScript 特殊物件 Array-Like Objects 詳解
• What is a good way create a Javascript array-like object?