operator（）によって呼び出されたときにstd :: functionを返すstd :: functionオブジェクトはどのように機能しますか？

Question

サンプル：

#include "stdafx.h" 
#include <functional> 
#include <iostream> 
#include <string> 
std::function<void(int)> Foo() 
{ 
    int v = 1; 
    int r = 2; 
    auto l = [v, r](int i) 
    { 
     std::cout << v << " " << r << " " << i << std::endl; 
    }; 
    return l; 
} 

int main() 
{ 
    auto func = Foo(); 
    func(3); 
    return 0; 
} 

はなぜ func(3)（Fooの中のラムダの仮引数である私に 3を渡すことができます）。私は考えることができません。ありがとう。

Answer 1

TL; DR：引数3を関数Fooに渡さないでください。 オブジェクトfuncに渡します。

もう少し詳しく説明します。

---

まず第一に、私はラムダが何であるかを明確にしたいと思います。 A C++のlambdaは、匿名のファンクタクラスに過ぎません。したがって、本質的に文法的な砂糖です。 クロージャはラムダ型のインスタンスです。しかし、かなり頻繁に "ラムダ"と "クロージャー"という言葉は同じ意味で使われています。

だからあなたの関数内でFoo()あなたは閉鎖オブジェクトこのコードに技術的に相当しますl

auto l = [v, r](int i) 
{ 
    std::cout << v << " " << r << " " << i << std::endl; 
}; 

作成：

今

struct Functor 
{ 
    Functor(int v, int r) : v_(v), r_(r) {} 

    void operator()(int i) const { 
     std::cout << v_ << " " << r_ << " " << i << std::endl; 
    } 

private: 
    int v_; 
    int r_; 
}; 
Functor l(v, r); 

を、次の行にあなたはSTDを返します:: functionオブジェクトです。

return l; // actually creates std::function<void(int)>(l) and returns it 

だから自分のmain関数でfuncはコピーFoo()に通話中に得られた値v, rのを格納し、上記構造体と同様operator()を定義するだけオブジェクトあります。 したがって、func(3)を呼び出すと、実際のオブジェクトfuncでオブジェクトメソッドが呼び出され、構文的な砂糖なしではfunc.operator()(3)のように見えます。

ここには私の要点を示すためにlive exampleがあります。

あなたの混乱を解決するのに役立つことを望みます。