C++: lambda

개요

• [capture](parameters){body}
• 캡쳐
  • []
    • 캡쳐하지 않음
  • [&]
    • 모든 변수에 대해 암시적으로 레퍼런스 캡쳐
  • [=]
    • 모든 변수에 대해 암시적으로 복사 캡쳐
  • 현재 객체(this)는 참조로 캡쳐(before C++20)
  • read only이며 수정이 필요한 경우 mutable 키워드 이용
  • [a, &b]
    • a 변수는 복사, b 변수는 레퍼런스 캡쳐
• C++17
  • constexpr를 지정하지 않아도 constexpr로 동작
• C++20
  • 템플릿 지원
  • 템플릿 인자에 람다 전달 가능
  • consteval 지정 가능
    • consteval와 constexpr는 동시 지정 불가능
  • 캡쳐 기본값이 =인 경우 this의 암시적 캡쳐를 권장하지 않음
    • *this(after C++17) 혹은 this(after C++20)으로 명시적 캡쳐 필요

예제

• C++11
  • 코드

        #include <iostream>
        #include <string>

        using namespace std;

        int main() {
        	auto f1 = []() { cout << "f1 call" << endl; };
        	f1();

        	cout << "------" << endl;

        	int i = 0;
        	auto f2 = [=]() { cout << "f2 call : " << i << endl; };
        	f2();
        	cout << "i = " << i << endl;

        	cout << "------" << endl;

        	i = 0;
        	auto f3 = [&](int add) { i += add; };
        	f3(1);
        	cout << "i = " << i << endl;

        	cout << "------" << endl;

        	i = 0;
        	string s = "a";
        	auto f4 = [i, &s]() { s += to_string(i); };
        	f4();
        	cout << "s = " << s << endl;

        	cout << "------" << endl;

        	auto f5 = []() { return "f5 call"; };
        	cout << f5() << endl;

        	cout << "------" << endl;

        	i = 1;
        	[i]() mutable {
        		cout << i << endl;
        		i = 2;
        		cout << i << endl;
        	}();

        	return 0;
        }

• 실행 결과

        f1 call
        ------
        f2 call : 0
        i = 0
        ------
        i = 1
        ------
        s = a0
        ------
        f5 call
        ------
        1
        2

• C++20
  • 코드

        #include <iostream>

        using namespace std;

        template <typename T> void func1(int i) {
        	T t;
        	t(i);
        }

        class Test {
        	private:
        		int i = 1;

        	public:
        		void Func() {
        			[=]() { cout << this->i << endl; }();
        			[=, this]() { cout << this->i << endl; }();
        			[&]() { cout << this->i << endl; }();
        		}
        };

        int main() {
        	func1<decltype([](int i) { cout << i << endl; })>(1);

        	cout << "------" << endl;

        	auto func2 = []<typename T>(T a) { cout << a << endl; };
        	func2(1);
        	func2("a");

        	cout << "------" << endl;

        	Test().Func();

        	return 0;
        }

• 실행 결과

        main.cpp: In lambda function:
        main.cpp:16:25: warning: implicit capture of ‘this’ via ‘[=]’ is deprecated in C++20 [-Wdeprecated]
           16 |                         [=]() { cout << this->i << endl; }();
              |                         ^
        main.cpp:16:25: note: add explicit ‘this’ or ‘*this’ capture
        1
        ------
        1
        a
        ------
        1
        1
        1