Async function with +=
let x = 0;
async function test() {
x += await 5;
console.log('x :', x);
}
test();
x += 1;
console.log('x :', x);
The values of x
logged are 1
and 5
. My question is: why is the value of x
5
on second log?
If the test
is executed after x += 1
(since it is an async function) then the value of x
is 1
by the time test
is executed, so x += await 5
should make the value of x
6
.
TL;DR: Because +=
reads x
before, but writes it after it has changed, due to the await
keyword in its second operand (right-hand side).
async
functions run synchronously when they are called until the first await
statement.
So, if you remove await
, it behaves like a normal function (with the exception that it still returns a Promise).
In that case, you get 5
(from the function) and 6
(from the main script) in the console:
let x = 0;
async function test() {
x += 5;
console.log('x :', x);
}
test();
x += 1;
console.log('x :', x);
The first await
stops synchronous running, even if its argument is an already resolved promise (or as in here, not a promise at all - these will be converted to resolved promises by await
), so the following will return 1
(from the main script) and 6
(from the function), as you expected:
let x = 0;
async function test() {
// Enter asynchrony
await 0;
x += 5;
console.log('x :', x);
}
test();
x += 1;
console.log('x :', x);
However, your case is a bit more complicated.
You've put await
inside an expression, that uses +=
.
You probably know, that in JS x += y
is identical to x = (x + y)
(unless x
is an expression with side-effects, which isn't the case here). I'll use the latter form for better understanding:
let x = 0;
async function test() {
x = (x + await 5);
console.log('x :', x);
}
test();
x += 1;
console.log('x :', x);
When the interpreter reaches this line...
x = (x + await 5);
...it starts evaluating it, substitutes x
, so it turns to...
x = (0 + await 5);
...then, it evaluates the expression inside await
(5
), turns it into a resolved promise, and starts waiting for it.
The code after the function call starts to run, and modifies the value of x
(from 0
to 1
), then logs it.
x
is now 1
.
Then, after the main script finishes, the interpreter goes back to the paused test
function, and continues evaluating the line, which, with the await
out of the way, looks like this:
x = (0 + 5);
And, since the value of x
is already substituted, it remains 0
.
Finally, the interpreter does the addition, stores 5
to x
, and logs it.
You can check this behaviour by logging inside an object property getter/setter (in this example, y.z
, which reflects the value of x
:
let x = 0;
const y = {
get z() {
console.log('get x :', x);
console.log(new Error().stack.replace('Error', 'Stacktrace')); //Log stacktrace using an Error object
return x;
},
set z(value) {
console.log('set x =', value);
console.log(new Error().stack.replace('Error', 'Stacktrace')); //Log stacktrace using an Error object
x = value;
}
};
async function test() {
console.log('inside async function');
y.z += await 5;
console.log('x :', x);
}
test();
console.log('main script');
y.z += 1;
console.log('x :', x);
console.log('end of main script')
/* Output:
inside async function
get x : 0 <-------------- async fn reads
Stacktrace
at Object.get z [as z] (https://stacksnippets.net/js:19:17)
at test (https://stacksnippets.net/js:31:3) <-- async fn is synchronous here
at https://stacksnippets.net/js:35:1 <--------- (main script is still in the stack)
main script
get x : 0
Stacktrace
at Object.get z [as z] (https://stacksnippets.net/js:19:17)
at https://stacksnippets.net/js:37:1
set x = 1
Stacktrace
at Object.set z [as z] (https://stacksnippets.net/js:24:17)
at https://stacksnippets.net/js:37:5
x : 1
end of main script
set x = 5 <-------------- async fn writes
Stacktrace
at Object.set z [as z] (https://stacksnippets.net/js:24:17)
at test (https://stacksnippets.net/js:31:7) <-- async fn is asynchronous (main script is no longer in the stack)
x : 5 <------------------ async fn logs
*/
/* Just to make console fill the available space */
.as-console-wrapper {
max-height: 100% !important;
}
Your statement x += await 5
desugars to
const _temp = x;
const _gain = await 5;
x = _temp + _gain;
The _temp
orary value is 0
, and if you change x
during the await
(which your code does) it doesn't matter, it gets assigned 5
afterwards.
This code is quite complex to follow because it takes some unexpected async jumps back and forth. Let's examine (close to) how it's actually going to be executed and I'll explain why afterwards. I've also changed the console logs to add a number - makes referring to them easier and also shows better what is logged:
let x = 0; // 1 declaring and assigning x
async function test() { // 2 function declaration
x += await 5; // 4/7 assigning x
console.log('x1 :', x); // 8 printing
}
test(); // 3 invoking the function
x += 1; // 5 assigning x
console.log('x2 :', x); // 6 printing
So, the code is not actually going in a straight manner, that's for sure. And we have a weird 4/7
thing as well. And that is really the entirety of the problem here.
First of all, let's clarify - async functions are not actually strictly asynchronious. They would only pause the execution and resume later if the await
keyword is used. Without it, they execute top to bottom, expression after expression synchronously:
async function foo() {
console.log("--one");
console.log("--two");
}
console.log("start");
foo();
console.log("end");
async function foo() {
console.log("--one");
await 0; //just satisfy await with an expression
console.log("--two");
}
console.log("start");
foo();
console.log("end");
So, the first thing we need to know that using await
will make the rest of the function execute later. In the given example, that means that console.log('x1 :', x)
is going to executed after the rest of the synchronous code. That's because any Promises will be resolved after the current event loop finishes.
So, this explains why we get x2 : 1
logged first and why x2 : 5
is logged second but not why the latter value is 5
. Logically x += await 5
should be 5
...but here is the second catch to the await
keyword - it will pause the execution of the function but anything before it has already run. x += await 5
is actually going to be processed in the following manner
- Fetch the value of
x
. At the time of the execution, that's0
. -
await
the next expression which is5
. So, function pauses now and will be resumed later. - Resume the function. Expression is resolved as 5.
- Add the value from 1. and the expression from 2/3:
0 + 5
- Assign the value from 4. to
x
So, the function pauses after it read that x
is 0
and resumes when it's already changed, however, it doesn't re-read the value of x
.
If we unwrap the await
into the Promise
equivalent that would execute, you have:
let x = 0; // 1 declaring and assigning x
async function test() { // 2 function declaration
const temp = x; // 4 value read of x
await 0; //fake await to pause for demo
return new Promise((resolve) => {
x = temp + 5; // 7 assign to x
console.log('x1 :', x); // 8 printing
resolve();
});
}
test(); // 3 invoking the function
x += 1; // 5 assigning x
console.log('x2 :', x); // 6 printing
Ya its little bit tricky what's actually happening is both addition operations are happening parellaly so the operation would be like :
Within promise : x += await 5
==> x = x + await 5
==> x = 0 + await 5
==> 5
Outside : x += 1
==> x = x + 1
==> x = 0 + 1
==> 1
since all above operations are happening left to right the first part of addition may be calculated at the same time and since there is an await before 5 that additio may delay a bit. You can see the execution by putting breakpoint within the code.
Async and Await are extensions of promises. An async function can contain an await expression that pauses the execution of the async function and waits for the passed Promise's resolution, and then resumes the async function's execution and returns the resolved value. Remember, the await keyword is only valid inside async functions.
Even if you have changed the value of x after calling the test function, still the value of x will remain 0 cause async function has already created it's new instance. Meaning everything changes on the variable outside of it will not change the value inside of it after it was called. Unless if you put your increment above the test function.