Arrow function expressions
Last updated
Last updated
An arrow function expression is a compact alternative to a traditional , with some semantic differences and deliberate limitations in usage:
Arrow functions don't have their own bindings to , , or , and should not be used as .
Arrow functions cannot be used as . Calling them with throws a . They also don't have access to the keyword.
Arrow functions cannot use within their body and cannot be created as generator functions.
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.
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.
To fix this, wrap the object literal in parentheses:
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:
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.
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.
Because =>
has a lower precedence than most operators, parentheses are necessary to avoid callback || ()
being parsed as the arguments list of the arrow function.
With arrow functions, since our add
function is essentially created on the globalThis
(global) scope, it will assume this
is the globalThis
.
With traditional function expressions, code like this does not work as expected:
With arrow functions, the this
scope is more easily preserved:
, , and within params are supported, and always require parentheses:
Arrow functions can be by prefixing the expression with the async
keyword.
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 , not a key in an object literal.
Another example involving :
Because a 's body has a this
context, arrow functions as 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 ). However, because it is a , not the function's own binding, the value of this
will not change based on the execution context.
For similar reasons, the , , and 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.
Arrow functions do not have their own 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 , so the code above would be a syntax error. This makes the scoping effect of arguments
much easier to comprehend.
In most cases, using is a good alternative to using an arguments
object.
Arrow functions cannot be used as constructors and will throw an error when called with . They also do not have a property.
The 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.
Although the arrow in an arrow function is not an operator, arrow functions have special parsing rules that interact differently with compared to regular functions.
The , , and methods work as expected with traditional functions, because we establish the scope for each of the methods:
Perhaps the greatest benefit of using arrow functions is with methods like and that usually require some kind of closure, call()
, apply()
, or bind()
to ensure that the function is executed in the proper scope.