在ES6中如何优雅的使用Arguments和Parameters
原文地址:how-to-use-arguments-and-parameters-in-ecmascript-6
ES6是最新版本的ECMAScript标准,而且显著的改善了JS里的参数处理。我们现在可以在函数里使用rest参数、默认值,结构赋值,等等语法
在这个教程里,我们将会仔细的探索实参和形参,看看ES6是如何升级他们的。
实参和形参
arguments
和 parameters
经常被混为一谈,为了这个教程我们还是做一个2者的区分。在大多数标准中,parameters
是我们定义函数时设置的名字(形参),arguments
(或者是实参)是我们传入函数的参数,看下如下的函数
function foo(param1, param2) {
// do something
}
foo(10, 20);
在这个函数里,param1
和 param2
是函数的形参,而我们传入函数的值10,20是实参
扩展运算符
在ES5里,apply方法接收一个数组,并且把把数组的每一项作为函数的参数传入函数里。比如,我们经常用到 Math.max
方法,来找到一个数组里最大的那个值。
var myArray = [5, 10, 50];
Math.max(myArray); // Error: NaN
Math.max.apply(Math, myArray); // 50
Math.max
方法并不接收数组类型的参数,它只接收数值类型的参数。当使用 Array
类型的参数传入时,会抛出一个异常。但是当我们使用 apply
方法来调用 Math.max
方法时,数组会被拆开为一个个独立的数值传入函数里,这样就能顺利的使用 Math.max
了
幸运的是在ES6里,我们有扩展运算符,我们不再需要使用 apply
方法来拆分数组的每一项了。通过扩展运算符,我们可以把数组的每一项分开,
var myArray = [5, 10, 50];
Math.max(...myArray); // 50
我们把 myArray
拆为一个个单独的值,然后再传入函数里。扩展运算符不仅好用,而且还有更多功能。比如他可以在函数调用时使用多次。
function myFunction() {
for(var i in arguments){
console.log(arguments[i]);
}
}
var params = [10, 15];
myFunction(5, ...params, 20, ...[25]); // 5 10 15 20 25
另一个扩展运算符的好处是:可以方便的在构造函数里使用
new Date(...[2016, 5, 6]); // Mon Jun 06 2016 00:00:00 GMT-0700 (Pacific Daylight Time)
当然,我们用ES5的语法也可以干同样的事,但是ES6更简单
new Date.apply(null, [2016, 4, 24]); // TypeError: Date.apply is not a constructor
new (Function.prototype.bind.apply(Date, [null].concat([2016, 5, 6]))); // Mon Jun 06 2016 00:00:00 GMT-0700 (Pacific Daylight Time)
剩余参数
rest参数的语法和展开运算符一样的,但是和展开运算符不一样的是:展开运算符是展示数组的每一项变为参数,rest参数是把多个参数变为一个数组。
function myFunction(...options) {
return options;
}
myFunction('a', 'b', 'c'); // ["a", "b", "c"]
如果没有传参,rest参数会变为一个空数组
function myFunction(...options) {
return options;
}
myFunction(); // []
rest参数在创建可变参数函数是尤其有用(一个函数可以接收多个、不固定的参数)。因为 rest parameter
,可以方便替换函数里的 arguments
对象,看看如下用ES5书写的函数。
function checkSubstrings(string) {
for (var i = 1; i < arguments.length; i++) {
if (string.indexOf(arguments[i]) === -1) {
return false;
}
}
return true;
}
checkSubstrings('this is a string', 'is', 'this'); // true
这个函数是用来检测多个字符串是否在一个字符串内。这个函数有两个问题,第一个问题是为了知道参数的意义我们不得不去查看代码,第二个是,参数的遍历是从 arguments
的1开始,因为 arguments[0]
代表的是第一个参数。如果我们后续打算在第一个参数后再加一个参数,那么这段逻辑就有问题了。
function checkSubstrings(string, ...keys) {
for (var key of keys) {
if (string.indexOf(key) === -1) {
return false;
}
}
return true;
}
checkSubstrings('this is a string', 'is', 'this'); // true
这个函数的输出和上一个是一直的。参数string是第一个值,剩下的参数都赋值给 keys
数组了
使用rest参数来替代arguments提高了代码的阅读性,而且避免了一些由于arguments带来的性能问题。当然rest参数也有局限性,它必须定义为最后的参数,否则会产生语法错误。
function logArguments(a, ...params, b) {
console.log(a, params, b);
}
logArguments(5, 10, 15); // SyntaxError: parameter after rest parameter
另外的一个局限是rest参数只能在函数里定义一次。
function logArguments(...param1, ...param2) {
}
logArguments(5, 10, 15); // SyntaxError: parameter after rest parameter
参数的默认值
ES5里的参数默认值
js在ES5版本里不支持默认值,但是有一个解决方案,在函数里使用或操作符来hack这个。我们可以在ES5里模拟默认值。
function foo(param1, param2) {
param1 = param1 || 10;
param2 = param2 || 10;
console.log(param1, param2);
}
foo(5, 5); // 5 5
foo(5); // 5 10
foo(); // 10 10
这个函数期望2个参数,但是当没有参数传入时,将会使用默认值。在函数里,缺失的实参将会被设置为 undefined
。所以我们可以检测实参是否为 undefined
,并且设置默认值。检测和设置实参时,我们用逻辑操作符||,这个操作符检测第一个参数,如果是存在的则返回这个值,否则的会返回第二个参数
这个方法是很常用的,但是它有缺陷,比如当参数的值为0或者nul时,会导致第二个参数的返回。所以当我们要传入0或者null时,我们还需要检测这个参数是否真正的没传入。
function foo(param1, param2) {
if(param1 === undefined){
param1 = 10;
}
if(param2 === undefined){
param2 = 10;
}
console.log(param1, param2);
}
foo(0, null); // 0, null
foo(); // 10, 10
在这个函数里,为了防止默认值被设置,先检测参数的类型是否为undefined,这个方法需要大量的代码。但是它还是很安全的。
ES6里的默认值
在ES6里的,我们不再需要检测参数是否为 undefined
,然后来模拟默认值。我们在函数定义时就可以使用默认值。
function foo(a = 10, b = 10) {
console.log(a, b);
}
foo(5); // 5 10
foo(0, null); // 0 null
正如你看到的,没有传值时参数被设置了默认值,即使设置了0和null也不会触发默认的。我们甚至可以把函数作为默认值设置到函数的定义里。
function getParam() {
alert("getParam was called");
return 3;
}
function multiply(param1, param2 = getParam()) {
return param1 * param2;
}
multiply(2, 5); // 10
multiply(2); // 6 (also displays an alert dialog)
注意到 getParam
函数只有在缺少第二个参数时才会被调用。当我们传入2个参数时,alert并不会被执行。
另一个有趣的特性是,默认值在同一个函数里相互引用。
function myFunction(a=10, b=a) {
console.log('a = ' + a + '; b = ' + b);
}
myFunction(); // a=10; b=10
myFunction(22); // a=22; b=22
myFunction(2, 4); // a=2; b=4
我们甚至可以在函数定义时执行操作符。
function myFunction(a, b = ++a, c = a*b) {
console.log(c);
}
myFunction(5); // 36
注意:和别的语言不一样,JS执行默认值在执行时。
function add(value, array = []) {
array.push(value);
return array;
}
add(5); // [5]
add(6); // [6], not [5, 6]
结构赋值
结构赋值是ES6的一个新特性,通过它你可以把数组、对象的每一项变为形参,类似对象和数组的迭代器。这个语法很干净而且很好理解,而且非常好用。
在ES5里,一个具有配置信息的对象经常被用来处理大量数据。
function initiateTransfer(options) {
var protocol = options.protocol,
port = options.port,
delay = options.delay,
retries = options.retries,
timeout = options.timeout,
log = options.log;
// code to initiate transfer
}
options = {
protocol: 'http',
port: 800,
delay: 150,
retries: 10,
timeout: 500,
log: true
};
initiateTransfer(options);
这个模式经常被JS开发者所使用,而且它非常管用,但是当我们想参数的定义时,我们就必须查看函数的源码了。但是通过结构赋值,我们可以清晰的在函数里表明参数定义。
function initiateTransfer({protocol, port, delay, retries, timeout, log}) {
// code to initiate transfer
};
var options = {
protocol: 'http',
port: 800,
delay: 150,
retries: 10,
timeout: 500,
log: true
}
initiateTransfer(options);
在这个函数里的,我们使用结构赋值模式来代替配置对象。这不仅让我们的函数清晰,而且还易读。
我们还可以将普通的参数定义和结构赋值一起使用。
function initiateTransfer(param1, {protocol, port, delay, retries, timeout, log}) {
// code to initiate transfer
}
initiateTransfer('some value', options);
但是,如果没有传出,将会报出一个错误。
function initiateTransfer({protocol, port, delay, retries, timeout, log}) {
// code to initiate transfer
}
initiateTransfer(); // TypeError: Cannot match against 'undefined' or 'null'
使用了结构赋值语法,在调用函数时就必须要赋值,但是如果我们想让这个参数变为可选项怎么办?为了方式没有传参是抛出的错误,我们使用默认值语法。
function initiateTransfer({protocol, port, delay, retries, timeout, log} = {}) {
// code to initiate transfer
}
initiateTransfer(); // no error
在这个函数里,一个空的对象被设置为参数的默认值。现在,如果在函数调用时没有传值将会有默认值被赋予,从而避免了报错的发生。
我们甚至可以为结构赋值里的每一项设置一个默认值
function initiateTransfer({
protocol = 'http',
port = 800,
delay = 150,
retries = 10,
timeout = 500,
log = true
}) {
// code to initiate transfer
}
在这个实例里,每一个属性都一个默认值。消除人工判断赋值的过程。
传参
参数的传递有个2种方式:引用传参
和值传参
。
在别的语言里,例如VB,PowerShell,我们有选项来指定参数的类型,引用传参还是值传参。但是在JS里没有这个功能。
值传参
技术上,JS可以只能按值传参。当我们传入函数一个值是,我们复制一份值,在函数的作用域里。从而,这个值的变化只是在函数体内完成。
var a = 5;
function increment(a) {
a = ++a;
console.log(a);
}
increment(a); // 6
console.log(a); // 5
这里,在函数体内改变这个值,并不会对值的原本值有影响。那么,当这个值外部所使用时,输出的还是5
引用传参
在JavaScript中,一切都按值传递,但是当我们传递了一个指向对象的引用时,这个值
是指向这个对象的地址。改变这个值的指向的对象属性,就真的改变这个对象。
function foo(param){
param.bar = 'new value';
}
obj = {
bar : 'value'
}
console.log(obj.bar); // value
foo(obj);
console.log(obj.bar); // new value
正如你看到的,在函数里对象的属性被改变了,而且这个改变的值也影响到了函数之外。
类型检测,参数的缺失和多余传入
在强类型语言里,我们可以通过函数的定义来指定参数的类型,但是在JS里是缺乏这种机制的,在JS里,无论你的传入何种类型的参数,多少个参数都是可以的。
假设我们有一个函数,我们希望它只能接收一个参数,当我们调用这个函数时,我们没有办法限制只传入一个函数,我们可以传一个、两个,或者多个。我们甚至可以一个参数都不传入,而且调用时不会有个报错。
实参和形参的数量可以这样比较
-
实参少于形参
形参会被赋值为undefined
-
实参多于形参
多传入的参数会被忽略,但是可以通过类数组对象argument获取到
强制参数
当调用函数时缺少实参,那么参数会被设置为undefined,我们可以针对这种抛出一个错误
function foo(mandatory, optional) {
if (mandatory === undefined) {
throw new Error('Missing parameter: mandatory');
}
}
在ES6里,我们可以使用默认值来进一步优化这个场景。
function throwError() {
throw new Error('Missing parameter');
}
function foo(param1 = throwError(), param2 = throwError()) {
// do something
}
foo(10, 20); // ok
foo(10); // Error: missing parameter
arguments对象
ES4标准里就对rest参数进行了支持,目的就是用来替代arguments,但是ES4标准没有被实现。通过ES6标准的发布,JS现在官方的支持了rest参数。并且计划机制支持arguments对象的实现。
arguments对象是一个类数组的对象。在所有的函数里都有这个对象。你可以通过arguments的脚标来获取传入函数的实参。
function checkParams(param1) {
console.log(param1); // 2
console.log(arguments[0], arguments[1]); // 2 3
console.log(param1 + arguments[0]); // 2 + 2
}
checkParams(2, 3);
这个函数本来希望只接收一个参数,但是我们也可以传入2个参数。第一个参数可以通过param1形参获取到,或者使用arguments[0]的形式。但是第二个参数只能通过arguments[1]的方式获取到了。arguments获取实参的方式可以和形参一起使用。
arguments对象包含了传入函数的每一个实参,第一个实参从arguments的第一位开始。如果我们想获得后面的值,则可以通过角标方式读取,比如 arguments[2]
, arguments[3]
等等。
function checkParams() {
console.log(arguments[1], arguments[0], arguments[2]);
}
checkParams(2, 4, 6); // 4 2 6
事实上,形参方便,但是不是必须的。同样的rest参数可以反射出传入实参。
function checkParams(...params) {
console.log(params[1], params[0], params[2]); // 4 2 6
console.log(arguments[1], arguments[0], arguments[2]); // 4 2 6
}
checkParams(2, 4, 6);
arguments
对象是一个类数组对象,但是缺少了数组的方法。例如slice,foreach。为了使用数组的特性,我们可以把 arguments
转为一个真正的数组。
function sort() {
var a = Array.prototype.slice.call(arguments);
return a.sort();
}
sort(40, 20, 50, 30); // [20, 30, 40, 50]
在这个函数里,Array.prototype.slice.call()
可以快速的把arguments转为一个数组,接下来sort方法就可以使用了。
ES6甚至有一个Array.from方法,可以使用类数组对象创建一个新数组。
function sort() {
var a = Array.from(arguments);
return a.sort();
}
sort(40, 20, 50, 30); // [20, 30, 40, 50]
arguments的长度属性
尽管arguments对象不是严格意义上的数组,但是它有length属性。通过length属性你可以用来检测传入函数的实参个数。
function countArguments() {
console.log(arguments.length);
}
countArguments(); // 0
countArguments(10, null, "string"); // 3
通过length属性,我们可以很好的控制传入函数参数的个数。如果一个函数只接收2个参数。那么我们可以检测length的大小来控制是否合法调用。
function foo(param1, param2) {
if (arguments.length < 2) {
throw new Error("This function expects at least two arguments");
} else if (arguments.length === 2) {
// do something
}
}
rest参数是一个数组,所以它有length属性。之前的代码在ES6标准下可以这样写:
function foo(...params) {
if (params.length < 2) {
throw new Error("This function expects at least two arguments");
} else if (params.length === 2) {
// do something
}
}
callee和caller属性
callee
属性是指向正在执行的函数,caller
指向当前执行函数的调用体函数。在ES5的严格模式下,这些属性都是被禁止的,如果你试图获取他们的话,会抛出一个错误。
arguments.callee
属性在递归时非常有用,尤其当函数是一个匿名函数时。因为匿名函数没有名字,这时你只有通过 arguments.callee
来获取。
var result = (function(n) {
if (n <= 1) {
return 1;
} else {
return n * arguments.callee(n - 1);
}
})(4); // 24
严格和非严格模式下的Arguments对象
在ES5的严格模式下,arguments
对象有一个不常用的特性,它的值和形参的值是保持同步的。
function foo(param) {
console.log(param === arguments[0]); // true
arguments[0] = 500;
console.log(param === arguments[0]); // true
return param
}
foo(200); // 500
在这个函数里,一个新的值被赋予了arguments[0]
,由于同步的原因,param
参数的值也变化了。事实上他们的这种行为更像,两个不同名字的参数,指向同一个值。在ES5的严格模式下,这个令人困惑的行为被移除了。
"use strict";
function foo(param) {
console.log(param === arguments[0]); // true
arguments[0] = 500;
console.log(param === arguments[0]); // false
return param
}
foo(200); // 200
在这种情况下,改变arguments[0]的值,并不会影响param参数的值,并且输出结果和我们想象的一致。在ES6下输出的值和ES5严格模式一致,记住一点:当设置了函数参数的默认值时,arguments的值并不会受到影响。
function foo(param1, param2 = 10, param3 = 20) {
console.log(param1 === arguments[0]); // true
console.log(param2 === arguments[1]); // true
console.log(param3 === arguments[2]); // false
console.log(arguments[2]); // undefined
console.log(param3); // 20
}
foo('string1', 'string2');
在这个函数里,即使 param3
被设置了默认值,但它的值和 arguments[2]
也不一样,因为在调用函数时只有2个参数被传入。换句话说,设置默认值并不会改变 arguments
对象。
总结
ES6给JS带来了几百个大大小小的改进,越来越多的程序员正在使用这些新特性,而且这些新特性也会变得不可或缺了。在这个教程中,我们学习了ES6是如何升级了参数处理,但是我们只是才划开了ES6的面纱。还有更多的新功能值得我们探索。