async関数launch::asyncポリシーとfutureのちょっと特殊な動作の後日談。 async関数動作でlaunch::asyncポリシーが選択された場合のみ、futureオブジェクトのデストラクタではasync関数が作成した新スレッド完了を待機する。（暗黙的にスレッドjoinが行われ…