keyword:

• std::function
• lamda expression
• putting the return value after the function
• function object (= a closure)

参考

• https://www.cprogramming.com/c++11/c++11-lambda-closures.html
• http://www.vishalchovatiya.com/21-new-features-of-modern-cpp-to-use-in-your-project/
• https://dzone.com/articles/all-about-lambda-functions-in-cfrom-c11-to-c17
• https://docs.microsoft.com/en-us/cpp/cpp/lambda-expressions-in-cpp?view=msvc-160

 

基本

ラムダキャプチャ

[&] : capture all external variable by reference
[=] : capture all external variable by value
[a, &b] : capture a by value and b by reference

ユースケース

ラムダ式を渡して挙動を変える – std::count_if()

ラムダ式をテンプレート引数で渡す

// ラムダ式を引数で受け渡す。柔軟性を持たせるために template parameter としている。
// 型名を書くのが面倒という理由もある。std::function<void()>& を使用しても良い。
template<typename TAllocator>
void* Allocate( size_t size, TAllocator&& Allocator )
{
return Allocator( size );
}

void* LargeSlabAllocator( size_t size )
{
return malloc( size );
}

void* SmallSlabAllocator( size_t size )
{
return malloc( size );
}

実際の使いどころは

 

 

 

その他

ラムダの受け取りに右辺値参照を使用するのはなぜか？

&&を使うかどうかはラムダがtrivially copyableかどうかに依存する。しかし、実際にはラムダのcopyとmoveで違いは無い。capture by valueが無い場合はラムダは普通はtryvially copyable、trivially moveableになる。

 

メモ

申し送り

• 取り敢えず関数オブジェクトのインスタンスを作ってそれを渡してやればいいんじゃないか？
  関数オブジェクトのコピー、ポインタ渡しのサンプル
  
  typedef struct lambda { public: lambda(){} lambda( int x ) : x( x ) { } int operator ()( int y ) { return x + y; } private: int x; } lamda; template <class Functor> class Hoge { public: // ラムダを受け取る Hoge( Functor functor) { m_Func = functor; } Hoge( Functor* pFunctor ) { m_pFunc = pFunctor; } int Execute() { return m_Func( 1 ); } int ExecutePtr() { return ( *m_pFunc )( 1 ); } private: Functor m_Func; Functor* m_pFunc; }; int main() { lamda* pLamda = nullptr; Hoge<lamda>* pHoge = nullptr; // 関数オブジェクトのコピーを渡す -> できる { pLamda = new lamda( 1 ); pHoge = new Hoge<lamda>( *pLamda ); int ret = pHoge->Execute(); delete pLamda; delete pHoge; } // 関数オブジェクトのポインタを渡す -> できる { pLamda = new lamda( 2 ); pHoge = new Hoge<lamda>( pLamda ); int ret = pHoge->ExecutePtr(); delete pLamda; delete pHoge; } }

  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67

  typedef struct lambda { public: lambda(){}   lambda( int x ) : x( x ) { } int operator ()( int y ) { return x + y; }   private: int x; } lamda;   template <class Functor> class Hoge { public: // ラムダを受け取る Hoge( Functor functor) { m_Func = functor; }   Hoge( Functor* pFunctor ) { m_pFunc = pFunctor; }   int Execute() { return m_Func( 1 ); }   int ExecutePtr() { return ( *m_pFunc )( 1 ); }   private: Functor m_Func; Functor* m_pFunc; };   int main() { lamda* pLamda = nullptr; Hoge<lamda>* pHoge = nullptr;   // 関数オブジェクトのコピーを渡す -> できる { pLamda = new lamda( 1 ); pHoge = new Hoge<lamda>( *pLamda ); int ret = pHoge->Execute();   delete pLamda; delete pHoge; }   // 関数オブジェクトのポインタを渡す -> できる { pLamda = new lamda( 2 ); pHoge = new Hoge<lamda>( pLamda ); int ret = pHoge->ExecutePtr();   delete pLamda; delete pHoge; } }

  
   

 

メモ

• ラムダ式はコンパイラで functor class を作っているとコンセプト的には等価
• Callable object
• pointer-to-callable-object
• ラムダ式の生存期間は？
  • スコープ内で有効だけどもスコープに入る度に new される？
  • スタック領域に確保されるだけ？
  • それともコンパイル時に静的に確保されて利用範囲をスコープ内にきっているだけ？

スコープ内で有効だけどもスコープに入る度に new される？

ラムダ式と関数オブジェクトは等価

下記は等価です。