関数が返却するPromiseオブジェクトを変数で受けて変数.catchする場合と、変数で受けずに関数.catchする場合で結果が異なるのはなぜでしょうか？

Question

hoge()で返却されるPromiseオブジェクトをいったん変数で受けて、変数.catchする例１と、
hoge().catchする例２だと、結果が異なります。
期待する動きは、例１、例２ともに、「catch -1」と出力されることです。
例１の書き方だとなぜundefinedになるのでしょうか？

---

例１

function hoge(){
 return Promise.reject();
}

async function hogehoge(){
 let result = await hoge();
 result.catch(()=>{throw -1;});
 return 0; 
}

hogehoge()
.then((ret)=>{console.log('then ' + ret)})
.catch((ret)=>{console.log('catch ' + ret)})

結果
catch undefined

---

例２

function hoge(){
 return Promise.reject();
}

async function hogehoge(){
 await hoge().catch(()=>{throw -1;});
 return 0; 
}

hogehoge()
.then((ret)=>{console.log('then ' + ret)})
.catch((ret)=>{console.log('catch ' + ret)})

結果
catch -1

Answer 1

awaitよりメンバアクセスのほうが優先順位が高いため（MDN）、例2ではawait(hoge().catch(()=>{throw -1;}));のように解釈されています。

(await hoge()).catch(()=>{throw -1;});としてhoge()だけawaitさせれば、同じ結果になるかと思います。

Comments

[yamekodev]

お返事が遅れて申し訳ありません。
また、回答いただきありがとうございます。
確かにおっしゃるような動作をしました。

一方まだ疑問があります（Promiseに不慣れで申し訳ありません）。

例１の書き方、もしくはhoge()だけawaitさせる書き方にした場合、catch -1と出ない理由についてです。

動作としては、throwをする前に、hoge()のPromise.reject()が最上位まで伝播しているように見えます。

その理由とは下記で合っていますでしょうか？

「
Promiseオブジェクトは、原則、Promise.reject()・Promise.resolveが現れたタイミングで、即座に非同期処理が終わったとみなされ、関数を終了させる。
そのため、例１のようにいったん変数で受けても、受けた後の処理をする前に関数が終了してしまう。
（もしくは例２のようにawait対象をhoge()だけにした場合も、hoge()の戻り値としてPromise.reject()が返されたタイミングで終了してしまう。）

Promise.reject()に対して処理をしたい場合は、下記どちらかの方法で書く必要がある。
・例２の書き方でcatch後の処理まで含めてawaitさせるようにする
・try-catchを使う

async function hogehoge(){
try{
await hoge();
return 0;
} catch(e){
throw -1
}
}

」

[maisumakun]

awaitで受け取ったPromiseがrejectになった場合、awaitが例外を投げます（ので、次の行は実行されません）。try-catchで受け取る必要があります。

一方で、Promise.prototype.catch()は、rejectの場合に処理を行って、あえて関数内からrejectなPromiseを返すようなことをしない限り「resolveした」Promiseを返します。

[yamekodev]

＞awaitで受け取ったPromiseがrejectになった場合、awaitが例外を投げます（ので、次の行は実行されません）。

ということは、例１で起こっていることは下記認識で合っていますでしょうか？
①　let result = await hoge();
　　で、result がrejectを受け取った時点で、awaitにより例外が投げられる（throw）。
②　①でthrowする値は「hoge()の戻り値であるPromise.reject(★)で未指定の★部分＝undefined」
③　async関数でのthrow=rejectリターンなので、呼び元ではhogehoge().catchが動く。
④　catchの引数retにはundefinedが入っているのでそれをconsole.log