c++ - std::future は関連付けられた std::packaged_task の有効期間にどのように影響しますか?

Question

std::packaged_task変数をコピーしてキャプチャするラムダを含んでいます。これstd::packaged_taskが削除されると、ラムダ内に存在する変数が破棄されると予想されますが、std::futurethisに関連付けられている を取得するstd::packaged_taskと、futureオブジェクトがラムダ内の変数の有効期間を延長することに気付きました。

例えば：

#include <iostream>
#include <future>

class Dummy
{
public:
    Dummy() {std::cout << this << ": default constructed;" << std::endl;}
    Dummy(const Dummy&) {std::cout << this << ": copy constructed;" << std::endl;}
    Dummy(Dummy&&) {std::cout << this << ": move constructed;" << std::endl;}
    ~Dummy() {std::cout << this << ": destructed;" << std::endl;}
};

int main()
{
    std::packaged_task<void()>* p_task;
    {
        Dummy ScopedDummy;
        p_task = new std::packaged_task<void()>([ScopedDummy](){std::cout << "lambda call with: " << &ScopedDummy << std::endl;});
        std::cout << "p_task completed" << std::endl;
    }
    {
        std::future<void> future_result;
        {
            future_result = p_task->get_future();
            (*p_task)();
            delete p_task;
        }
        std::cout << "after p_task has been deleted, the scope of future_result determines the scope of the dummy inside p_task" << std::endl;
    }
    std::cout << "p_task cleans up when future_result dies" << std::endl;
}

可能な出力は次のとおりです。

0x7fff9cf873fe: default constructed;
0x7fff9cf873ff: copy constructed;
0x1904b38: move constructed;
0x7fff9cf873ff: destructed;
0x7fff9cf873fe: destructed;
lambda call with: 0x1904b38
after p_task has been deleted, the scope of future_result determines the scope of the dummy inside p_task
0x1904b38: destructed;
p_task cleans up when future_result dies

したがって、ラムダ内のオブジェクトの有効期間は、 のスコープによって延長されますfuture_result。

行をコメントアウトするfuture_result = p_task->get_future();と、可能な出力は次のようになります。

0x7fff57087896: default constructed;
0x7fff57087897: copy constructed;
0x197cb38: move constructed;
0x7fff57087897: destructed;
0x7fff57087896: destructed;
lambda call with: 0x197cb38
0x197cb38: destructed;
after p_task has been deleted, the scope of future_result determines the scope of the dummy inside p_task
p_task cleans up when future_result dies

ここでどのメカニズムが機能するのか疑問に思っていましたが、std::future関連付けられたオブジェクトを維持するリンクが含まれていますか?