主页 / 问题 / 1258156
Accepted
VanechikSpace
Asked:2022-03-19 22:48:29 +0000 UTC2022-03-19 22:48:29 +0000 UTC

通过引用将 lambda 传递给函数

  • 772

有这样一个例子：

#include <iostream>
#include <functional>

void qwer(const std::function<void()> &a)
{
        a();
}

int main()
{
        int x{0};

        auto f{
        [x]()mutable
        {
                std::cout << ++x << std::endl;
        }
        };

        qwer(f);
        qwer(f);
        qwer(f);

        return 0;
}

输出：

1
1
1

有2个问题：

  1. 为什么编译器不抛出错误？毕竟，函数qwer正在等待一个函数被传递给它，我们传递给它一个 lambda，据我所知，它不是一个函数。
  2. 为什么在传递f给函数时qwer，每次都会创建一个副本f？毕竟，在定义函数qwerusing 时，&我们明确指出我们要使用的不是对象的副本，而是对象本身
c++

2 个回答

  1. Best Answer
    1. std::function 可以与 lambda 一起使用。证明

    类模板 std::function 是一个通用的多态函数包装器。std::function 的实例可以存储、复制和调用任何 CopyConstructible Callable 目标——函数、lambda 表达式、绑定表达式或其他函数对象，以及指向成员函数的指针和指向数据成员的指针。

    1. 如果我理解正确，则会在那里创建一个副本，因为 f 具有不同的类型。但是创建一个显式类型就足够了

      std::function<void()> f{
 [x]()mutable
 {
         std::cout << ++x << std::endl;
 }
 };

    一切正常。

    • 1

  2. 让我稍微解释一下问题2。

    当您将qwerlambda 传递给函数时，因为 它需要一个类型的参数function，然后创建一个临时对象，链接指向该对象。

    您可以通过将此行添加到函数来验证这一点qwer：

    std::cout << &a << std::endl; //Вывести адрес

    lambda 本身x是按值捕获的，因此每个临时对象都有自己的副本x，您需要 lambda 通过引用来捕获它&x。

    它在这里以更详细和更智能的语言编写。

    也就是说，在您的情况下，function<void()>&由于类型的差异，引用会导致临时对象。并且 lambda 本身x是按值而不是按引用捕获的，因此每个临时对象都使用x.

    一些代码：

    auto f{
    [&x]()mutable
    {
        std::cout << ++x << std::endl;
    }
};
    • 1

相关问题