Arrow function expressions
An arrow function expression is a compact alternative to a traditional function expression, with some semantic differences and deliberate limitations in usage:
Arrow functions cannot be used as constructors. Calling them with
new
throws aTypeError
. They also don't have access to thenew.target
keyword.Arrow functions cannot use
yield
within their body and cannot be created as generator functions.
Rest parameters, default parameters, and destructuring within params are supported, and always require parentheses:
Arrow functions can be async
by prefixing the expression with the async
keyword.
Description
Let's decompose a traditional anonymous function down to the simplest arrow function step-by-step. Each step along the way is a valid arrow function.
Note: Traditional function expressions and arrow functions have more differences than their syntax. We will introduce their behavior differences in more detail in the next few subsections.
In the example above, both the parentheses around the parameter and the braces around the function body may be omitted. However, they can only be omitted in certain cases.
The parentheses can only be omitted if the function has a single simple parameter. If it has multiple parameters, no parameters, or default, destructured, or rest parameters, the parentheses around the parameter list are required.
The braces can only be omitted if the function directly returns an expression. If the body has additional lines of processing, the braces are required — and so is the return
keyword. Arrow functions cannot guess what or when you want to return.
Arrow functions are always unnamed. If the arrow function needs to call itself, use a named function expression instead. You can also assign the arrow function to a variable so it has a name.
Function body
Arrow functions can have either a concise body or the usual block body.
In a concise body, only a single expression is specified, which becomes the implicit return value. In a block body, you must use an explicit return
statement.
Returning object literals using the concise body syntax (params) => { object: literal }
does not work as expected.
This is because JavaScript only sees the arrow function as having a concise body if the token following the arrow is not a left brace, so the code inside braces ({}) is parsed as a sequence of statements, where foo
is a label, not a key in an object literal.
To fix this, wrap the object literal in parentheses:
Cannot be used as methods
Arrow function expressions should only be used for non-method functions because they do not have their own this
. Let's see what happens when we try to use them as methods:
Another example involving Object.defineProperty()
:
Because a class's body has a this
context, arrow functions as class fields close over the class's this
context, and the this
inside the arrow function's body will correctly point to the instance (or the class itself, for static fields). However, because it is a closure, not the function's own binding, the value of this
will not change based on the execution context.
Arrow function properties are often said to be "auto-bound methods", because the equivalent with normal methods is:
Note: Class fields are defined on the instance, not on the prototype, so every instance creation would create a new function reference and allocate a new closure, potentially leading to more memory usage than a normal unbound method.
For similar reasons, the call()
, apply()
, and bind()
methods are not useful when called on arrow functions, because arrow functions establish this
based on the scope the arrow function is defined within, and the this
value does not change based on how the function is invoked.
No binding of arguments
Arrow functions do not have their own arguments
object. Thus, in this example, arguments
is a reference to the arguments of the enclosing scope:
Note: You cannot declare a variable called arguments
in strict mode, so the code above would be a syntax error. This makes the scoping effect of arguments
much easier to comprehend.
In most cases, using rest parameters is a good alternative to using an arguments
object.
Arrow functions cannot be used as constructors and will throw an error when called with new
. They also do not have a prototype
property.
The yield
keyword cannot be used in an arrow function's body (except when used within generator functions further nested within the arrow function). As a consequence, arrow functions cannot be used as generators.
An arrow function cannot contain a line break between its parameters and its arrow.
For the purpose of formatting, you may put the line break after the arrow or use parentheses/braces around the function body, as shown below. You can also put line breaks between parameters.
Although the arrow in an arrow function is not an operator, arrow functions have special parsing rules that interact differently with operator precedence compared to regular functions.
Because =>
has a lower precedence than most operators, parentheses are necessary to avoid callback || ()
being parsed as the arguments list of the arrow function.
The call()
, apply()
, and bind()
methods work as expected with traditional functions, because we establish the scope for each of the methods:
With arrow functions, since our add
function is essentially created on the globalThis
(global) scope, it will assume this
is the globalThis
.
Perhaps the greatest benefit of using arrow functions is with methods like setTimeout()
and EventTarget.prototype.addEventListener()
that usually require some kind of closure, call()
, apply()
, or bind()
to ensure that the function is executed in the proper scope.
With traditional function expressions, code like this does not work as expected:
With arrow functions, the this
scope is more easily preserved:
Last updated