c++ - 将 std::function 移动到另一个 std::function 不会在捕获的变量上调用移动构造函数

Question

我有一个类 A 在构造/复制/移动时打印出一条消息

class A
{
public:
    A(std::string s)
        :s_(s)
    {
        std::cout << "A constructed\n";
    }
    ~A()
    {
        std::cout << "A destructed\n";
    }
    A(const A& a)
        :s_(a.s_)
    {
        std::cout << "A copy constructed\n";
    }
    A(A&& a)
       :s_(std::move(a.s_))
    {
        std::cout << "A moved\n";
    }
    A& operator=(const A& a)
    {
        s_ = a.s_;
        std::cout << "A copy assigned\n";
    }
    A& operator=(A&& a)
    {
        s_ = std::move(a.s_);
        std::cout << "A move assigned\n";
    }

    std::string s_;
};

在 main 中，我构造了一个 A 的实例，在 lambda 中按值捕获它，将该 lambda 复制到 std::function，最后移动那个std::function到另一个std::function

int main()
{
    A a("hello ");
    std::function<void()> f = [a]{ std::cout << a.s_; };
    std::function<void()> g(std::move(f));
}

这会打印出以下内容

A constructed
A copy constructed
A copy constructed
A destructed
A destructed
A destructed

为什么没有调用A的移动构造函数？将 f 移动到 g 的最后一步不应该调用 A 的移动构造函数吗？

Answer 1

复制构造函数没有被精确调用，因为您已经移动了 std::function。这是因为 std::function 可以选择将捕获的值存储在堆上并保留指向它们的指针。因此移动函数只需要移动那个内部指针。显然，MSVC 选择将捕获存储在堆中，而 GCC 等选择将它们存储在堆栈中，因此也需要移动捕获的值。

编辑:感谢 Mooing Duck 在 comment on the question 中指出GCC 还将捕获存储在堆上。实际的区别似乎是 GCC 在从 lambda 构造时将捕获从 lambda 移动到 std::function 。